#1241 ⟨a, b | abaab=aaba⟩

Up:Monoids with two generators and one relation
Prev:#1240 ⟨a, b | abaab=aaab⟩
Next:#1242 ⟨a, b | abaab=aabb⟩

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. (cb)2 ⇒ c2
  2. c3b ⇒ cbc2
  3. cb2cb ⇒ cbc
  4. cbc2b ⇒ cb2c2
  5. abcb ⇒ ac
  6. ac2b ⇒ abc2
  7. cba ⇒ ac
  8. c2a ⇒ ac2
  9. cbca ⇒ cb2ac
  10. aca ⇒ abac
  11. caba ⇒ abacb
  12. cb2a2 ⇒ a2bc
  13. a2ba ⇒ cb
  14. aba2 ⇒ c 
# ab:abaab=aaba bc/a abaa=c frequency:4/1
cbcb=cc
cccb=cbcc
cbbcb=cbc
cbccb=cbbcc
abcb=ac
accb=abcc
cba=ac
cca=acc
cbca=cbbac
aca=abac
caba=abacb
cbbaa=aabc
aaba=cb
abaa=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)