#4949 ⟨a, b | aaaabaa=aaba⟩

Up:Monoids with two generators and one relation
Prev:#4948 ⟨a, b | aaaabaa=aaab⟩
Next:#4950 ⟨a, b | aaaabaa=aabb⟩

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. cbc ⇒ c3 [10]
2. cba ⇒ c2a [8]
3. cabc ⇒ cac2 [9]
4. caba ⇒ (ca)2 [7]
5. a2c2 ⇒ (ca)2 [5]
6. a2ca ⇒ c [4]
7. a2bc ⇒ (ca)2 [11]
8. a2ba ⇒ c [2]
# ab:aaaabaa=aaba cab aaba=c magic:0
cbc=ccc
cba=cca
cabc=cacc
caba=caca
aacc=caca
aaca=c
aabc=caca
aaba=c