#1902 ⟨a, b | aaababba=ab⟩

Up:Monoids with two generators and one relation
Prev:#1901 ⟨a, b | aaababba=aa⟩
Next:#1903 ⟨a, b | aaababba=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. ab ⇒ c
  2. cb2 ⇒ cac2bc
  3. cac2ba ⇒ cb
  4. a2c2bc ⇒ cb
  5. c(ac2)2bc ⇒ cbc2ba
  6. cac(cb)2 ⇒ cbac2bc
  7. a2c2ba ⇒ c
  8. cbac2ba ⇒ cac2bc
  9. a(ac2)2bc ⇒ c3ba
  10. cb(ac2)2bc ⇒ cac2bc3ba
  11. cbac(cb)2 ⇒ c(ac2bc)2 
# ab:aaababba=ab reversed:c/ab ab=c magic:0
ab=c
cbb=caccbc
caccba=cb
aaccbc=cb
caccaccbc=cbccba
caccbcb=cbaccbc
aaccba=c
cbaccba=caccbc
aaccaccbc=cccba
cbaccaccbc=caccbcccba
cbaccbcb=caccbcaccbc

Right Cayley graph (truncated)

Left Cayley graph (truncated)