#1777 ⟨a, b | ababaaaab=a⟩

Up:Monoids with two generators and one relation
Prev:#1776 ⟨a, b | abaabbbba=b⟩
Next:#1779 ⟨a, b | ababaabab=a⟩

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. ec ⇒ cdce
  2. ed ⇒ cd3ce
  3. ea ⇒ ae
  4. ca2c ⇒ d
  5. ca2d ⇒ da2c
  6. da3c ⇒ cac2e
  7. c2a3c ⇒ a
  8. dca3c ⇒ ca3
  9. da3d ⇒ cacd2ce
  10. c2a3d ⇒ a3c
  11. dca3d ⇒ cacdce
  12. a4 ⇒ e
  13. aca3c ⇒ c2e
  14. aca3d ⇒ cd2ce
  15. eb ⇒ a3c
  16. ab ⇒ c 
# ab:ababaaaab=a reversed:cd/ea/b ab=c,caac=d,aaaa=e frequency:2/1,4/6,4/0
ec=cdce
ed=cdddce
ea=ae
caac=d
caad=daac
daaac=cacce
ccaaac=a
dcaaac=caaa
daaad=cacddce
ccaaad=aaac
dcaaad=cacdce
aaaa=e
acaaac=cce
acaaad=cddce
eb=aaac
ab=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)