#5045 ⟨a, b | aaababa=baaa⟩

Up:Monoids with two generators and one relation
Prev:#5044 ⟨a, b | aaababa=abbb⟩
Next:#5046 ⟨a, b | aaababa=baab⟩

Quick links

  1. Properties
  2. Rewriting system

Properties

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
#RuleProof
1. da2e ⇒ ea2 [17]
2. a3e ⇒ da2 [16]
3. a2cd ⇒ e [4]
4. da2dacd ⇒ ead [38]
5. a3dacd ⇒ dad [39]
6. daca ⇒ e [7]
7. a2ca ⇒ d [3]
8. eaca ⇒ dacd [9]
9. dace ⇒ eacd [10]
10. a2ce ⇒ dacd [8]
11. cd2 ⇒ ae2ca [27]
12. cad ⇒ aeca [18]
13. ced ⇒ ae3ca [41]
14. cde ⇒ ae2cd [29]
15. cae ⇒ aecd [20]
16. ce2 ⇒ ae3cd [43]
17. cdad ⇒ aedacd [28]
18. ca2d ⇒ adacd [19]
19. cead ⇒ ae2dacd [42]
20. cda2 ⇒ ae2 [25]
21. ca3 ⇒ ae [13]
22. cea2 ⇒ ae3 [31]
23. cdae ⇒ ae2acd [30]
24. ca2e ⇒ aeacd [21]
25. ceae ⇒ ae3acd [44]
26. bd2 ⇒ adeca [32]
27. bad ⇒ adca [12]
28. bed ⇒ ade2ca [45]
29. bde ⇒ adecd [34]
30. bae ⇒ adcd [14]
31. be2 ⇒ ade2cd [47]
32. bdad ⇒ ad2acd [33]
33. ba2d ⇒ ae [26]
34. bead ⇒ adedacd [46]
35. bda2 ⇒ ade [24]
36. ba3 ⇒ ad [5]
37. bea2 ⇒ ade2 [36]
38. bdae ⇒ adeacd [35]
39. ba2e ⇒ adacd [15]
40. beae ⇒ ade2acd [48]
41. d(acd)2 ⇒ eace [40]
42. dabac ⇒ eb [23]
43. a2bac ⇒ db [22]
44. dacdb ⇒ eabac [37]
45. cab ⇒ bac [6]
46. bab ⇒ c [2]
# ab:aaababa=baaa reversed:dae/cb bab=c,aaca=d,aacd=e morph:3/2,4/1,4/0
daae=eaa
aaae=daa
aacd=e
daadacd=ead
aaadacd=dad
daca=e
aaca=d
eaca=dacd
dace=eacd
aace=dacd
cdd=aeeca
cad=aeca
ced=aeeeca
cde=aeecd
cae=aecd
cee=aeeecd
cdad=aedacd
caad=adacd
cead=aeedacd
cdaa=aee
caaa=ae
ceaa=aeee
cdae=aeeacd
caae=aeacd
ceae=aeeeacd
bdd=adeca
bad=adca
bed=adeeca
bde=adecd
bae=adcd
bee=adeecd
bdad=addacd
baad=ae
bead=adedacd
bdaa=ade
baaa=ad
beaa=adee
bdae=adeacd
baae=adacd
beae=adeeacd
dacdacd=eace
dabac=eb
aabac=db
dacdb=eabac
cab=bac
bab=c