#5341 ⟨a, b | ababaab=aaba⟩

Up:Monoids with two generators and one relation
Prev:#5340 ⟨a, b | ababaab=aaab⟩
Next:#5342 ⟨a, b | ababaab=aabb⟩

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. cdb ⇒ c2 [9]
2. d2b ⇒ dc [10]
3. c2bc2 ⇒ cd2 [17]
4. dcbc2 ⇒ d3 [15]
5. cdc3 ⇒ c2bcd2 [18]
6. d2c3 ⇒ dcbcd2 [21]
7. adb ⇒ ac [8]
8. acbc2 ⇒ ad2 [20]
9. adc3 ⇒ acbcd2 [23]
10. cba ⇒ abc [6]
11. bca ⇒ d [3]
12. dba ⇒ bc2 [7]
13. c2a ⇒ cbc2 [14]
14. dca ⇒ dbc2 [16]
15. cd2a ⇒ c(cb)2c2 [19]
16. d3a ⇒ d(cb)2c2 [22]
17. aba ⇒ c [2]
18. aca ⇒ abc2 [12]
19. ad2a ⇒ a(cb)2c2 [24]
# ab:ababaab=aaba b/cd/a aba=c,bca=d morph:3/1,3/3
cdb=cc
ddb=dc
ccbcc=cdd
dcbcc=ddd
cdccc=ccbcdd
ddccc=dcbcdd
adb=ac
acbcc=add
adccc=acbcdd
cba=abc
bca=d
dba=bcc
cca=cbcc
dca=dbcc
cdda=ccbcbcc
ddda=dcbcbcc
aba=c
aca=abcc
adda=acbcbcc