#5277 ⟨a, b | aabbbba=bbaa⟩

Up:Monoids with two generators and one relation
Prev:#5276 ⟨a, b | aabbbba=babb⟩
Next:#5278 ⟨a, b | aabbbba=bbab⟩

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. ad ⇒ ea [8]
2. aed ⇒ da [13]
3. aca ⇒ e [4]
4. aeca ⇒ d [11]
5. ace ⇒ eca [6]
6. aece ⇒ dca [12]
7. cd ⇒ dce [17]
8. ca2 ⇒ d [3]
9. cea ⇒ deca [15]
10. cae ⇒ dca [7]
11. ce2 ⇒ dece [18]
12. ced ⇒ dedce [19]
13. cb ⇒ bc [9]
14. b2d ⇒ dca [14]
15. b2a2 ⇒ ae [5]
16. b2ea ⇒ ae2ca [16]
17. b2ae ⇒ d [10]
18. b2e2 ⇒ ae2ce [20]
19. b2ed ⇒ ae2dce [21]
20. b4 ⇒ c [2]
# ab:aabbbba=bbaa reversed:aed/cb bbbb=c,caa=d,aca=e morph:4/0,3/0,3/0
ad=ea
aed=da
aca=e
aeca=d
ace=eca
aece=dca
cd=dce
caa=d
cea=deca
cae=dca
cee=dece
ced=dedce
cb=bc
bbd=dca
bbaa=ae
bbea=aeeca
bbae=d
bbee=aeece
bbed=aeedce
bbbb=c