#6068 ⟨a, b, c | ab=c, bac=ba⟩

Up:Monoid enumeration
Prev:#6067 ⟨a, b, c | ab=c, bac=ac⟩
Next:#6070 ⟨a, b, c | ab=c, bac=bc⟩

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. da ⇒ d2 [8]
2. ab ⇒ c [1]
3. ac ⇒ d [3]
4. ba ⇒ bd [4]
5. ca ⇒ cd [5]
6. d2b ⇒ dc [11]
7. d2c ⇒ d2 [12]
8. bdb ⇒ bc [6]
9. bdc ⇒ bd [7]
10. cdb ⇒ c2 [9]
11. cdc ⇒ cd [10]
# abc:ab=c,bac=ba dabc ac=d morph:2/1
da=dd
ab=c
ac=d
ba=bd
ca=cd
ddb=dc
ddc=dd
bdb=bc
bdc=bd
cdb=cc
cdc=cd