#5884 ⟨a, b, c | ab=a, bca=bc⟩

Up:Monoid enumeration
Prev:#5883 ⟨a, b, c | ab=a, bca=bb⟩
Next:#5885 ⟨a, b, c | ab=a, bca=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. dc ⇒ d2 [8]
2. db ⇒ d [7]
3. da ⇒ d [5]
4. bc ⇒ d [3]
5. ac ⇒ ad [6]
6. ab ⇒ a [1]
# abc:ab=a,bca=bc dcba bc=d morph:2/1
dc=dd
db=d
da=d
bc=d
ac=ad
ab=a