#631 ⟨a, b | aaabaabba=1⟩

Up:Monoids with two generators and one relation
Prev:#630 ⟨a, b | aaabaabab=1⟩
Next:#632 ⟨a, b | aaabaabbb=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. dc ⇒ cd
  2. c2d ⇒ 1
  3. db ⇒ bc
  4. c2b ⇒ bcd
  5. ab ⇒ bcdac
  6. ca2 ⇒ a2d
  7. da2 ⇒ a2c4
  8. ba2 ⇒ d 
# ab:aaabaabba=1 cd/ba aab=c,baa=d frequency:3/0,3/2
dc=cd
ccd=1
db=bc
ccb=bcd
ab=bcdac
caa=aad
daa=aacccc
baa=d

Right Cayley graph (truncated)

Left Cayley graph (truncated)