#1924 ⟨a, b | aaabbbaa=ab⟩

Up:Monoids with two generators and one relation
Prev:#1923 ⟨a, b | aaabbbaa=aa⟩
Next:#1925 ⟨a, b | aaabbbaa=ba⟩

Properties

Complete rewriting system

Format:
Word to reduce:
Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Reduction strategy:
Path to normal form: 1 
1
  1. caca2 ⇒ a(ac)2
  2. c2(a3c)2a2 ⇒ a2(ca3)2c2
  3. a(aca2)3 ⇒ c
  4. ab ⇒ a2ca2
  5. cb ⇒ a(ac)2 
# ab:aaabbbaa=ab ac/b abbb=c frequency:4/1
cacaa=aacac
ccaaacaaacaa=aacaaacaaacc
aacaaacaaacaa=c
ab=aacaa
cb=aacac

Right Cayley graph (truncated)

Left Cayley graph (truncated)