#4644 ⟨a, b | aabababa=aab⟩

Up:Monoids with two generators and one relation
Prev:#4643 ⟨a, b | aabababa=aaa⟩
Next:#4645 ⟨a, b | aabababa=aba⟩

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. c2a ⇒ c [20]
2. cbac ⇒ cb [13]
3. cbca ⇒ cb [25]
4. cba2c ⇒ cba [22]
5. a2b ⇒ cba3 [11]
6. cab ⇒ cba [10]
7. c2b ⇒ cbc [27]
8. cb2 ⇒ c4 [23]
9. cbab ⇒ c3 [24]
10. (cb)2 ⇒ c5 [28]
# ab:aabababa=aab ac/b aabb=c morph:4/0
cca=c
cbac=cb
cbca=cb
cbaac=cba
aab=cbaaa
cab=cba
ccb=cbc
cbb=cccc
cbab=ccc
cbcb=ccccc