#1245 ⟨a, b | abaab=abba⟩

Up:Monoids with two generators and one relation
Prev:#1244 ⟨a, b | abaab=abab⟩
Next:#1246 ⟨a, b | abaab=abbb⟩

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. cba ⇒ abac [4]
2. ca2b ⇒ abac [7]
3. aba2b ⇒ ab2a [1]
4. cb2a ⇒ abacab [6]
5. cab2a ⇒ ab2c [8]
6. ab(ba)2 ⇒ c [2]
7. ab2a3b ⇒ c [3]
8. cab3a ⇒ ab2cab [9]
9. a(b2a)2 ⇒ cab [5]
# ab:abaab=abba ac/b abbaba=c morph:6/2
cba=abac
caab=abac
abaab=abba
cbba=abacab
cabba=abbc
abbaba=c
abbaaab=c
cabbba=abbcab
abbabba=cab