#21749 ⟨a, b | aaa=1, abbbbba=b⟩

Up:Monoids with two generators and two relations
Prev:#21741 ⟨a, b | aaa=1, abbabbb=b⟩
Next:#21751 ⟨a, b | aaa=1, abbbbbb=b⟩

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. cd2 ⇒ d
  2. dc ⇒ cd
  3. c2d ⇒ c
  4. dacd ⇒ da
  5. d3a ⇒ ad3
  6. ca ⇒ d2ac3
  7. cda ⇒ acd
  8. da2cd ⇒ da2
  9. (da)2 ⇒ a2d8
  10. d2a2 ⇒ adac5
  11. a3 ⇒ 1
  12. bcd ⇒ b
  13. bacd ⇒ ba
  14. ba2cd ⇒ ba2
  15. db ⇒ bd
  16. cb ⇒ bc
  17. ab ⇒ ba2d2
  18. b2 ⇒ c 
# ab:aaa=1,abbbbba=b d/c/a/b bb=c,accaccac=d frequency:2/0,8/0
cdd=d
dc=cd
ccd=c
dacd=da
ddda=addd
ca=ddaccc
cda=acd
daacd=daa
dada=aadddddddd
ddaa=adaccccc
aaa=1
bcd=b
bacd=ba
baacd=baa
db=bd
cb=bc
ab=baadd
bb=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)