#4865 ⟨a, b | abbaabba=bab⟩

Up:Monoids with two generators and one relation
Prev:#4864 ⟨a, b | abbaabba=abb⟩
Next:#4866 ⟨a, b | abbaabba=bbb⟩

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. h5e ⇒ eh5 [59]
2. fh2 ⇒ e [23]
3. h5f ⇒ eh3 [56]
4. bh ⇒ h2f [24]
5. h3b ⇒ eh2 [50]
6. ch2 ⇒ hb [18]
7. h2c ⇒ e [32]
8. h5g ⇒ gh5 [58]
9. dh3 ⇒ h3g [54]
10. h2d ⇒ gh2 [25]
11. ah2 ⇒ d [22]
12. h2a ⇒ g [20]
13. e2 ⇒ h5 [51]
14. eh3e ⇒ gh7 [64]
15. ef ⇒ h3 [35]
16. eh3f ⇒ gh5 [57]
17. ehb ⇒ gh4 [53]
18. ec ⇒ gh2 [34]
19. eg ⇒ h3f [41]
20. fe ⇒ gh2 [31]
21. fhe ⇒ ehc [36]
22. f2 ⇒ g [6]
23. fb ⇒ h2 [9]
24. fg ⇒ ea [27]
25. fhg ⇒ eha [28]
26. be ⇒ h2fhc [47]
27. bc ⇒ h2 [16]
28. bg ⇒ h2fha [46]
29. bd ⇒ e [4]
30. ba ⇒ f [5]
31. ce ⇒ h3 [26]
32. che ⇒ h3fc [49]
33. cf ⇒ h [7]
34. chb ⇒ dh2 [42]
35. c2 ⇒ d [3]
36. cg ⇒ hf [11]
37. chg ⇒ h3fa [44]
38. ge ⇒ ed [33]
39. gh2e ⇒ eh3 [55]
40. gf ⇒ ea [29]
41. gh2f ⇒ eh [45]
42. gb ⇒ e [30]
43. gh2g ⇒ ehf [52]
44. de ⇒ h3f [43]
45. dhe ⇒ h3gc [63]
46. dh2e ⇒ h3ghc [60]
47. df ⇒ ch [13]
48. dhb ⇒ cdh2 [48]
49. dc ⇒ cd [12]
50. dg ⇒ chf [40]
51. dhg ⇒ h3ga [62]
52. dh2g ⇒ h3gha [61]
53. ae ⇒ cd [14]
54. ahe ⇒ dhc [39]
55. af ⇒ ca [15]
56. ab ⇒ c [2]
57. ag ⇒ da [37]
58. ahg ⇒ dha [38]
# ab:abbaabba=bab h/efbcgda ab=c,cc=d,bd=e,ba=f,ff=g,cf=h morph:2/0,2/1,2/1,2/0,2/1,2/0
hhhhhe=ehhhhh
fhh=e
hhhhhf=ehhh
bh=hhf
hhhb=ehh
chh=hb
hhc=e
hhhhhg=ghhhhh
dhhh=hhhg
hhd=ghh
ahh=d
hha=g
ee=hhhhh
ehhhe=ghhhhhhh
ef=hhh
ehhhf=ghhhhh
ehb=ghhhh
ec=ghh
eg=hhhf
fe=ghh
fhe=ehc
ff=g
fb=hh
fg=ea
fhg=eha
be=hhfhc
bc=hh
bg=hhfha
bd=e
ba=f
ce=hhh
che=hhhfc
cf=h
chb=dhh
cc=d
cg=hf
chg=hhhfa
ge=ed
ghhe=ehhh
gf=ea
ghhf=eh
gb=e
ghhg=ehf
de=hhhf
dhe=hhhgc
dhhe=hhhghc
df=ch
dhb=cdhh
dc=cd
dg=chf
dhg=hhhga
dhhg=hhhgha
ae=cd
ahe=dhc
af=ca
ab=c
ag=da
ahg=dha