#14591 ⟨a, b | aaba=a, bbabb=a⟩

Up:Monoids with two generators and two relations
Prev:#14589 ⟨a, b | aaba=a, bbaba=a⟩
Next:#14593 ⟨a, b | aaba=a, bbbaa=a⟩

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. ad2 ⇒ dad
  2. cd ⇒ dc
  3. dbd ⇒ dc
  4. (ad)2 ⇒ d
  5. ab ⇒ ad
  6. adb ⇒ ac
  7. cb ⇒ bc
  8. b2 ⇒ c
  9. a2da ⇒ a
  10. cada ⇒ db
  11. dbada ⇒ db
  12. a2c ⇒ ca2
  13. adac ⇒ db
  14. a2dc ⇒ ca2d
  15. cac ⇒ a
  16. cadc ⇒ ad
  17. dbac ⇒ ada2
  18. dbadc ⇒ ada2d 
# ab:aaba=a,bbabb=a reversed:d/acb bb=c,abab=d frequency:2/0,4/0
add=dad
cd=dc
dbd=dc
adad=d
ab=ad
adb=ac
cb=bc
bb=c
aada=a
cada=db
dbada=db
aac=caa
adac=db
aadc=caad
cac=a
cadc=ad
dbac=adaa
dbadc=adaad

Right Cayley graph (truncated)

Left Cayley graph (truncated)