#3535 ⟨a, b | aabaaaaaba=a⟩

Up:Monoids with two generators and one relation
Prev:#3534 ⟨a, b | aabaaaaaab=b⟩
Next:#3536 ⟨a, b | aabaaaaaba=b⟩

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. a2c ⇒ aca [21]
2. cac ⇒ c2a [16]
3. aca4 ⇒ a [20]
4. c2a4 ⇒ c [11]
5. ca4ba ⇒ ba [5]
6. ba3 ⇒ ca10bac [32]
7. baca ⇒ caba [22]
8. bac2 ⇒ c3a3ba2 [26]
9. ba2ba ⇒ c [2]
# ab:aabaaaaaba=a reversed:ac/b baaba=c morph:5/0
aac=aca
cac=cca
acaaaa=a
ccaaaa=c
caaaaba=ba
baaa=caaaaaaaaaabac
baca=caba
bacc=cccaaabaa
baaba=c