#1470 ⟨a, b | aabbbbbaab=1⟩

Up:Monoids with two generators and one relation
Prev:#1468 ⟨a, b | aabbbbabab=1⟩
Next:#1473 ⟨a, b | aabbbbbbab=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. bd ⇒ db
  2. db5 ⇒ 1
  3. cdb ⇒ dbc
  4. cd2 ⇒ d3b3cb2
  5. cb3 ⇒ b8cd
  6. cbc ⇒ d
  7. ca ⇒ ac
  8. cba ⇒ dab5cb
  9. a2 ⇒ c 
# ab:aabbbbbaab=1 reversed:bd/ca aa=c,cbc=d frequency:2/1,3/3
bd=db
dbbbbb=1
cdb=dbc
cdd=dddbbbcbb
cbbb=bbbbbbbbcd
cbc=d
ca=ac
cba=dabbbbbcb
aa=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)