#6828 ⟨a, b | aba=a, baa=aab⟩

Up:Monoids with two generators and two relations
Prev:#6826 ⟨a, b | aba=a, abb=aaa⟩
Next:#6832 ⟨a, b | aba=a, bbb=aaa⟩

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. ca ⇒ ac [17]
2. cb ⇒ c2 [14]
3. bc ⇒ c2 [16]
4. a2b ⇒ a2c [18]
5. ac2 ⇒ c [15]
6. aba ⇒ a [1]
7. ba2 ⇒ a2c [19]
8. bac ⇒ c [8]
9. a3c ⇒ a2 [20]
# ab:aba=a,baa=aab acb aabbb=c morph:5/1
ca=ac
cb=cc
bc=cc
aab=aac
acc=c
aba=a
baa=aac
bac=c
aaac=aa