#990 ⟨a, b | ababbba=ab⟩

Up:Monoids with two generators and one relation
Prev:#989 ⟨a, b | ababbba=aa⟩
Next:#991 ⟨a, b | ababbba=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. ac2a ⇒ ac
  2. c3a ⇒ c2
  3. abac ⇒ ab
  4. abca ⇒ ab
  5. abc2a ⇒ abc
  6. cbac ⇒ cb
  7. cbca ⇒ cb
  8. cbc2a ⇒ cbc
  9. ac2b ⇒ abc2
  10. c3b ⇒ cbc2
  11. ab2ac ⇒ ab2
  12. ab2ca ⇒ ab2
  13. ab2c2a ⇒ ab2c
  14. abcb ⇒ (ab)2c2
  15. abc2b ⇒ ab2c2
  16. cb2ac ⇒ cb2
  17. cb2ca ⇒ cb2
  18. cb2c2a ⇒ cb2c
  19. (cb)2 ⇒ cbabc2
  20. cbc2b ⇒ cb2c2
  21. b3a ⇒ c
  22. ab3 ⇒ ac2
  23. ab2cb ⇒ ab2abc2
  24. ab2c2b ⇒ ac4
  25. cb3 ⇒ c3
  26. cb2cb ⇒ cb2abc2
  27. cb2c2b ⇒ c5 
# ab:ababbba=ab ac/b bbba=c frequency:4/0
acca=ac
ccca=cc
abac=ab
abca=ab
abcca=abc
cbac=cb
cbca=cb
cbcca=cbc
accb=abcc
cccb=cbcc
abbac=abb
abbca=abb
abbcca=abbc
abcb=ababcc
abccb=abbcc
cbbac=cbb
cbbca=cbb
cbbcca=cbbc
cbcb=cbabcc
cbccb=cbbcc
bbba=c
abbb=acc
abbcb=abbabcc
abbccb=acccc
cbbb=ccc
cbbcb=cbbabcc
cbbccb=ccccc

Right Cayley graph (truncated)

Left Cayley graph (truncated)