#15365 ⟨a, b | aba=bb, aaaaaa=1⟩

Up:Monoids with two generators and two relations
Prev:#15300 ⟨a, b | aba=aa, bbbbbb=1⟩
Next:#15372 ⟨a, b | aba=bb, aaabbb=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. db2 ⇒ b
  2. bd ⇒ db
  3. d2b ⇒ d
  4. bcdb ⇒ bc
  5. b3c ⇒ cb3
  6. dc ⇒ b2cd3
  7. dbc ⇒ cdb
  8. bc2db ⇒ bc2
  9. (bc)2 ⇒ c2b5
  10. b2c2 ⇒ cbcd2
  11. c3 ⇒ 1
  12. ba ⇒ ac2b2
  13. da ⇒ abcd3
  14. ca ⇒ ac
  15. a2 ⇒ c 
# ab:aba=bb,aaaaaa=1 b/d/c/a aa=c,aaaaabaaaaabaaaaabaaaaabaaaaabaaaaa=d custom:0
dbb=b
bd=db
ddb=d
bcdb=bc
bbbc=cbbb
dc=bbcddd
dbc=cdb
bccdb=bcc
bcbc=ccbbbbb
bbcc=cbcdd
ccc=1
ba=accbb
da=abcddd
ca=ac
aa=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)