#3716 ⟨a, b | abaaabaaba=b⟩

Up:Monoids with two generators and one relation
Prev:#3714 ⟨a, b | abaaabaaab=b⟩
Next:#3717 ⟨a, b | abaaababab=a⟩

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. aba3bab ⇒ b(a2b)2a [2]
2. (aba2)2ba ⇒ b [1]
3. (aba2)2b2 ⇒ b2a(a2b)2a [3]
4. (aba3)2b2 ⇒ baba3(aba)2 [7]
5. (ba2)3a(ab)2 ⇒ aba3b2(a2b)2a [5]
6. a(ba3)3b2 ⇒ bab(a2ba2)2ba [8]
7. (ba2)3(a2b)2a ⇒ aba3b2 [4]
8. (ba2)3(a2b)2b ⇒ aba3b3a(a2b)2a [6]
9. (ba2)3(a3b)2b ⇒ aba3b2aba3(aba)2 [9]
10. b(a2b)2a(a3b)3b ⇒ aba3b2ab(a2ba2)2ba [10]
# ab:abaaabaaba=b reversed:ab
abaaabab=baabaaba
abaaabaaba=b
abaaabaabb=bbaaabaaba
abaaaabaaabb=babaaaabaaba
baabaabaaaabab=abaaabbaabaaba
abaaabaaabaaabb=babaabaaaabaaba
baabaabaaaabaaba=abaaabb
baabaabaaaabaabb=abaaabbbaaabaaba
baabaabaaaaabaaabb=abaaabbabaaaabaaba
baabaabaaaabaaabaaabb=abaaabbabaabaaaabaaba