#564 ⟨a, b, c | ca=bc, cc=c⟩

Up:Monoid enumeration
Prev:#562 ⟨a, b, c | bc=ac, cc=c⟩
Next:#566 ⟨a, b, c | aaa=1, abac=1⟩

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. bd ⇒ d2 [6]
2. bc ⇒ dc [5]
3. ca ⇒ dc [7]
4. cd ⇒ d [4]
5. cb ⇒ d [3]
6. c2 ⇒ c [2]
# abc:ca=bc,cc=c adbc cb=d morph:2/1
bd=dd
bc=dc
ca=dc
cd=d
cb=d
cc=c