#4456 ⟨a, b, c | aba=1, bcbc=c⟩

Up:Monoid enumeration
Prev:#4453 ⟨a, b, c | aba=1, bcac=c⟩
Next:#4459 ⟨a, b, c | aba=1, bccb=c⟩

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. ba ⇒ ab [3]
2. a2c ⇒ cbc [6]
3. a2b ⇒ 1 [5]
4. bc2 ⇒ cbc [4]
5. (bc)2 ⇒ c [2]
# abc:aba=1,bcbc=c cab - -
ba=ab
aac=cbc
aab=1
bcc=cbc
bcbc=c