#332 ⟨a, b | ababbaab=1⟩

Up:Monoids with two generators and one relation
Prev:#331 ⟨a, b | abababba=1⟩
Next:#333 ⟨a, b | ababbaba=1⟩

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. cd ⇒ dc
  2. dc3 ⇒ 1
  3. da ⇒ ac9
  4. ca ⇒ ad
  5. db ⇒ bc
  6. dcb ⇒ cbc
  7. dc2b ⇒ c2bc
  8. c3b ⇒ bdc2
  9. ab ⇒ c
  10. ba ⇒ d 
# ab:ababbaab=1 dc/ab ab=c,ba=d frequency:2/0,2/0
cd=dc
dccc=1
da=accccccccc
ca=ad
db=bc
dcb=cbc
dccb=ccbc
cccb=bdcc
ab=c
ba=d

Right Cayley graph (truncated)

Left Cayley graph (truncated)