#2569 ⟨a, b | abaaab=abba⟩

Up:Monoids with two generators and one relation
Prev:#2568 ⟨a, b | abaaab=abab⟩
Next:#2570 ⟨a, b | abaaab=abbb⟩

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. cb2a ⇒ ab2c
  2. ab2a ⇒ c
  3. cba2c ⇒ ab2cba
  4. c(ba)2 ⇒ ca2c
  5. aba2c ⇒ cba
  6. ca3b ⇒ cba
  7. ca(ac)2 ⇒ (cb)2a
  8. cba3b ⇒ ab2c
  9. cba3c ⇒ ca2cba
  10. aba3b ⇒ c
  11. (ca2)2b ⇒ cbc
  12. cba4b ⇒ ca2c 
# ab:abaaab=abba bc/a abba=c magic:0
cbba=abbc
abba=c
cbaac=abbcba
cbaba=caac
abaac=cba
caaab=cba
caacac=cbcba
cbaaab=abbc
cbaaac=caacba
abaaab=c
caacaab=cbc
cbaaaab=caac

Right Cayley graph (truncated)

Left Cayley graph (truncated)