#4779 ⟨a, b | abaaabba=baa⟩

Up:Monoids with two generators and one relation
Prev:#4778 ⟨a, b | abaaabba=abb⟩
Next:#4780 ⟨a, b | abaaabba=bab⟩

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. adc ⇒ d [17]
2. a2d2ca ⇒ ca2 [27]
3. a2d2cd ⇒ cad [28]
4. bd ⇒ d2c [18]
5. ba2 ⇒ da [4]
6. bad ⇒ d2 [5]
7. a2d2c2 ⇒ cac [29]
8. bcd ⇒ dad(dc)2 [19]
9. bca2 ⇒ dad2ca [21]
10. bcad ⇒ dad2cd [23]
11. bac ⇒ dc [9]
12. a2b2 ⇒ c [2]
13. dab2 ⇒ bc [8]
14. a2d2cbc ⇒ cabc [26]
15. bc2 ⇒ dad2cab2 [22]
16. bcac ⇒ dad2c2 [24]
17. b2c ⇒ d2cab2 [20]
18. babc ⇒ dbc [11]
19. (bc)2 ⇒ dad(dc)2ab2 [25]
20. bcabc ⇒ dad2cbc [30]
# ab:abaaabba=baa ad/cb aabb=c,abac=d morph:4/1,4/0
adc=d
aaddca=caa
aaddcd=cad
bd=ddc
baa=da
bad=dd
aaddcc=cac
bcd=daddcdc
bcaa=daddca
bcad=daddcd
bac=dc
aabb=c
dabb=bc
aaddcbc=cabc
bcc=daddcabb
bcac=daddcc
bbc=ddcabb
babc=dbc
bcbc=daddcdcabb
bcabc=daddcbc