#316 ⟨a, b | aabbbaab=1⟩

Up:Monoids with two generators and one relation
Prev:#315 ⟨a, b | aabbabba=1⟩
Next:#319 ⟨a, b | aabbbbab=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. d2c ⇒ 1
  3. cb ⇒ bc
  4. d2b ⇒ bd2
  5. b2 ⇒ c
  6. ab ⇒ bdcad
  7. adb ⇒ dbd2ac
  8. a2 ⇒ dbd2 
# ab:aabbbaab=1 dc/ba bb=c,aab=d frequency:2/0,3/0
cd=dc
ddc=1
cb=bc
ddb=bdd
bb=c
ab=bdcad
adb=dbddac
aa=dbdd

Right Cayley graph (truncated)

Left Cayley graph (truncated)