#1712 ⟨a, b | aabbaaaba=b⟩

Up:Monoids with two generators and one relation
Prev:#1711 ⟨a, b | aabbaaaba=a⟩
Next:#1713 ⟨a, b | aabbaaabb=a⟩

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. ca ⇒ ac
  2. cb2acbc ⇒ ba
  3. a2 ⇒ c
  4. cb(ba)2 ⇒ bab2a(cbc)2
  5. cb2acba ⇒ b
  6. (cb2a)2 ⇒ bab2acbc
  7. b3acba ⇒ (cb2ac)2b2
  8. b3acbc2ba ⇒ cb2ac2b2ab
  9. bab2acba ⇒ cb2acb2
  10. bab2acbc2ba ⇒ cb2ab 
# ab:aabbaaaba=b cb/a aa=c frequency:2/0
ca=ac
cbbacbc=ba
aa=c
cbbaba=babbacbccbc
cbbacba=b
cbbacbba=babbacbc
bbbacba=cbbaccbbacbb
bbbacbccba=cbbaccbbab
babbacba=cbbacbb
babbacbccba=cbbab

Right Cayley graph (truncated)

Left Cayley graph (truncated)