#3865 ⟨a, b | aaaaabaaa=ab⟩

Up:Monoids with two generators and one relation
Prev:#3864 ⟨a, b | aaaaabaaa=aa⟩
Next:#3866 ⟨a, b | aaaaabaaa=ba⟩

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. a4c2 ⇒ caca3 [6]
2. a4cac ⇒ ca2ca3 [7]
3. a4ca2c ⇒ (ca3)2 [8]
4. a4ca3 ⇒ c [4]
5. cb ⇒ (ca3)2 [9]
6. ab ⇒ c [2]
# ab:aaaaabaaa=ab ca/b ab=c magic:0
aaaacc=cacaaa
aaaacac=caacaaa
aaaacaac=caaacaaa
aaaacaaa=c
cb=caaacaaa
ab=c