#1719 ⟨a, b | aabbabaab=a⟩

Up:Monoids with two generators and one relation
Prev:#1718 ⟨a, b | aabbaabba=b⟩
Next:#1720 ⟨a, b | aabbabaab=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. dcbd ⇒ c2dc
  3. d2c2 ⇒ c2d2
  4. c2dc2 ⇒ d
  5. cdc2b ⇒ c
  6. dcbc2 ⇒ c2dcb
  7. dcdc2 ⇒ c(cd)2
  8. cdc3bd ⇒ cdc
  9. cdc3bc2 ⇒ cdcb
  10. cdcbcdc2 ⇒ cdc3bcd
  11. d2cbcdc2 ⇒ c2d2cbcd
  12. a ⇒ cdc2 
# ab:aabbabaab=a cbd/a ab=c,ca=d frequency:2/0,2/1
db=cc
dcbd=ccdc
ddcc=ccdd
ccdcc=d
cdccb=c
dcbcc=ccdcb
dcdcc=ccdcd
cdcccbd=cdc
cdcccbcc=cdcb
cdcbcdcc=cdcccbcd
ddcbcdcc=ccddcbcd
a=cdcc

Right Cayley graph (truncated)

Left Cayley graph (truncated)