#4303 ⟨a, b | abababbba=ab⟩

Up:Monoids with two generators and one relation
Prev:#4302 ⟨a, b | abababbba=aa⟩
Next:#4304 ⟨a, b | abababbba=ba⟩

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. ed ⇒ (dc)2e [23]
2. ec ⇒ dc3e [22]
3. cb ⇒ d [3]
4. d2bd ⇒ c2dce [25]
5. dcdbd ⇒ c2e [12]
6. c2dbd ⇒ db [8]
7. d2bc ⇒ c4e [24]
8. dcdbc ⇒ db [10]
9. c2dbc ⇒ d [7]
10. ea ⇒ dcdb [21]
11. d2ba ⇒ c2db [20]
12. dcdba ⇒ d [9]
13. c2dba ⇒ c [6]
14. ab ⇒ c [2]
15. eb ⇒ dbc2e [19]
16. db2 ⇒ c2e [17]
17. (db)2 ⇒ e [4]
18. dbcdbd ⇒ dce [18]
19. (dbc)2 ⇒ c2e [14]
20. dbcdba ⇒ db [13]
# ab:abababbba=ab reversed:dc/aeb ab=c,cb=d,dbdb=e morph:2/1,2/0,4/1
ed=dcdce
ec=dccce
cb=d
ddbd=ccdce
dcdbd=cce
ccdbd=db
ddbc=cccce
dcdbc=db
ccdbc=d
ea=dcdb
ddba=ccdb
dcdba=d
ccdba=c
ab=c
eb=dbcce
dbb=cce
dbdb=e
dbcdbd=dce
dbcdbc=cce
dbcdba=db