#2336 ⟨a, b | ababbba=aab⟩

Up:Monoids with two generators and one relation
Prev:#2335 ⟨a, b | ababbba=aaa⟩
Next:#2337 ⟨a, b | ababbba=aba⟩

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. cbab(b2c)2 ⇒ c2ab
  2. cab3a ⇒ ac
  3. cbab3a ⇒ cab
  4. cbab3cb2a ⇒ c2
  5. a2b ⇒ c
  6. c(ab)2 ⇒ cbab3c
  7. acab ⇒ cab3c
  8. a2c ⇒ cab3cb2a
  9. abab3c ⇒ cab
  10. cab2ab3c ⇒ cbab3cab
  11. acbab3c ⇒ cab3cab
  12. c(ab3c)2 ⇒ ac2ab
  13. cb(ab3c)2 ⇒ (cab)2
  14. abab3a ⇒ c
  15. cab2ab3a ⇒ cbab3c 
# ab:ababbba=aab reversed:bc/a aab=c magic:0
cbabbbcbbc=ccab
cabbba=ac
cbabbba=cab
cbabbbcbba=cc
aab=c
cabab=cbabbbc
acab=cabbbc
aac=cabbbcbba
ababbbc=cab
cabbabbbc=cbabbbcab
acbabbbc=cabbbcab
cabbbcabbbc=accab
cbabbbcabbbc=cabcab
ababbba=c
cabbabbba=cbabbbc

Right Cayley graph (truncated)

Left Cayley graph (truncated)