#4599 ⟨a, b | aabaaaba=aba⟩

Up:Monoids with two generators and one relation
Prev:#4598 ⟨a, b | aabaaaba=aab⟩
Next:#4600 ⟨a, b | aabaaaba=abb⟩

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. (aba)2 ⇒ a2(ba)2 [3]
2. aba3ba ⇒ a3(ba)2 [5]
3. a4(ba)2 ⇒ aba [4]
# ab:aabaaaba=aba ab
abaaba=aababa
abaaaba=aaababa
aaaababa=aba