#846 ⟨a, b | ababaaab=a⟩

Up:Monoids with two generators and one relation
Prev:#845 ⟨a, b | abaabbba=b⟩
Next:#847 ⟨a, b | ababaaab=b⟩

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. db ⇒ c2
  2. ed ⇒ (cd)2e
  3. ec ⇒ cdc2e
  4. deb ⇒ c2dc2e
  5. dceb ⇒ c3e
  6. c3eb ⇒ d
  7. d2c2ebd ⇒ c2de
  8. dcdc2ebd ⇒ ce
  9. c2dc2ebd ⇒ dc2eb
  10. dc2ebc ⇒ ceb
  11. c2eb2 ⇒ c
  12. cdc2ebdc ⇒ eb
  13. e2b ⇒ ebdc2e
  14. (eb)2 ⇒ c2ebc2e
  15. ebceb ⇒ e
  16. ebc2eb ⇒ cdc2ebd2
  17. ebdc2ebd ⇒ c2ebe
  18. ebcdc2ebd ⇒ cdc2ebd2c2eb
  19. a ⇒ c2eb 
# ab:ababaaab=a reversed:dcb/e/a ab=c,ca=d,aaa=e frequency:2/0,2/3,3/2
db=cc
ed=cdcde
ec=cdcce
deb=ccdcce
dceb=ccce
ccceb=d
ddccebd=ccde
dcdccebd=ce
ccdccebd=dcceb
dccebc=ceb
ccebb=c
cdccebdc=eb
eeb=ebdcce
ebeb=ccebcce
ebceb=e
ebcceb=cdccebdd
ebdccebd=ccebe
ebcdccebd=cdccebddcceb
a=cceb

Right Cayley graph (truncated)

Left Cayley graph (truncated)