#5965 ⟨a, b, c | ab=a, cca=bc⟩

Up:Monoid enumeration
Prev:#5964 ⟨a, b, c | ab=a, cca=bb⟩
Next:#5966 ⟨a, b, c | ab=a, cca=ca⟩

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. ab ⇒ a [1]
2. ac ⇒ ad [5]
3. bc ⇒ bd [4]
4. dc ⇒ d2 [6]
5. cb ⇒ d [3]
6. adb ⇒ ad [10]
7. bdb ⇒ bd [8]
8. d2b ⇒ d2 [12]
9. c2a ⇒ bd [13]
10. ad2a ⇒ ad [9]
11. bd2a ⇒ b2d [7]
12. d3a ⇒ dbd [11]
# abc:ab=a,cca=bc abdc cb=d morph:2/1
ab=a
ac=ad
bc=bd
dc=dd
cb=d
adb=ad
bdb=bd
ddb=dd
cca=bd
adda=ad
bdda=bbd
ddda=dbd