#3741 ⟨a, b | abaabbaaab=a⟩

Up:Monoids with two generators and one relation
Prev:#3740 ⟨a, b | abaababbba=b⟩
Next:#3742 ⟨a, b | abaabbaaab=b⟩

Quick links

  1. Properties
  2. Rewriting system

Properties

Rewriting system

Format:
Word to reduce:
Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Reduction strategy:
Path to normal form: 1 
1
#RuleProof
1. a3c ⇒ a2ca [8]
2. (a2c)2 ⇒ a [6]
3. aba2c ⇒ abaca [7]
4. abaca2c ⇒ ab [4]
5. a4b ⇒ a2cabaca3 [10]
6. a2ca3b ⇒ abaca3 [5]
7. ab2 ⇒ c [2]
8. aba3b ⇒ (abac)2a3 [9]
9. abaca3b ⇒ a [3]
# ab:abaabbaaab=a ca/b abb=c morph:3/2
aaac=aaca
aacaac=a
abaac=abaca
abacaac=ab
aaaab=aacabacaaa
aacaaab=abacaaa
abb=c
abaaab=abacabacaaa
abacaaab=a