#2799 ⟨a, b, c | abc=b, ccaa=1⟩

Up:Monoid enumeration
Prev:#2796 ⟨a, b, c | abc=b, caca=1⟩
Next:#2803 ⟨a, b, c | aaa=a, abc=a⟩

Contents

  1. Properties
  2. Rewriting system

Properties

Rewriting system

Format:
Word:
Enter a word above to compute its normal form. Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Strategy:
Result: 1 
1
#RuleProof
1. db ⇒ bd [7]
2. dc ⇒ ab [14]
3. ba2 ⇒ d [3]
4. ab2 ⇒ bcd [12]
5. abc ⇒ b [1]
6. a2b ⇒ d [8]
7. c2b ⇒ bc2 [16]
8. c2d ⇒ b [10]
9. dab ⇒ bad [9]
10. da2 ⇒ a2d [15]
11. bca2 ⇒ ab [5]
12. (ab)2 ⇒ bcad [13]
13. c2ab ⇒ bc [6]
14. c2a2 ⇒ 1 [2]
15. c2ad ⇒ ab [11]
# abc:abc=b,ccaa=1 bacd baa=d morph:3/0
db=bd
dc=ab
baa=d
abb=bcd
abc=b
aab=d
ccb=bcc
ccd=b
dab=bad
daa=aad
bcaa=ab
abab=bcad
ccab=bc
ccaa=1
ccad=ab