#861 ⟨a, b | abbabaab=a⟩

Up:Monoids with two generators and one relation
Prev:#860 ⟨a, b | abbaabba=b⟩
Next:#862 ⟨a, b | abbabbba=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. cdb ⇒ cbd
  2. dc ⇒ c2bc2d
  3. cbdb2 ⇒ c
  4. c2bdbc ⇒ db
  5. a ⇒ cbdb
  6. d2b ⇒ dbd
  7. (db)2 ⇒ db2d
  8. db2db ⇒ d
  9. dbcbdbc ⇒ c2d 
# ab:abbabaab=a reversed:bc/da ab=c,caa=d frequency:2/0,3/3
cdb=cbd
dc=ccbccd
cbdbb=c
ccbdbc=db
a=cbdb
ddb=dbd
dbdb=dbbd
dbbdb=d
dbcbdbc=ccd

Right Cayley graph (truncated)

Left Cayley graph (truncated)