#4813 ⟨a, b | ababaaab=aba⟩

Up:Monoids with two generators and one relation
Prev:#4812 ⟨a, b | ababaaab=aab⟩
Next:#4814 ⟨a, b | ababaaab=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. c3b ⇒ cbc2 [8]
2. cbc2b ⇒ c [7]
3. ca ⇒ abc2 [6]
4. cbac2b ⇒ cbabc2 [10]
5. cbabc2b ⇒ cba [9]
6. abac2b ⇒ (ab)2c2 [12]
7. (ab)2c2b ⇒ aba [11]
8. cba2 ⇒ abac [4]
9. aba2 ⇒ c [2]
# ab:ababaaab=aba bc/a abaa=c morph:4/0
cccb=cbcc
cbccb=c
ca=abcc
cbaccb=cbabcc
cbabccb=cba
abaccb=ababcc
ababccb=aba
cbaa=abac
abaa=c