#15955 ⟨a, b | aaa=aa, aaba=bb⟩

Up:Monoids with two generators and two relations
Prev:#15954 ⟨a, b | aaa=aa, aaba=ba⟩
Next:#15956 ⟨a, b | aaa=aa, aabb=aa⟩

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. a3 ⇒ a2 [1]
2. b2 ⇒ a2ba [2]
3. (aba)2 ⇒ ba2ba [4]
4. a(ab)2 ⇒ ba2ba [3]
# ab:aaa=aa,aaba=bb a/b
aaa=aa
bb=aaba
abaaba=baaba
aabab=baaba