#3193 ⟨a, b | abaaabbaaab=1⟩

Up:Monoids with two generators and one relation
Prev:#3191 ⟨a, b | abaaababbab=1⟩
Next:#3195 ⟨a, b | abaaabbabab=1⟩

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 [20]
2. ac2 ⇒ 1 [3]
3. ba2 ⇒ a3cbc [21]
4. bc3 ⇒ c5ba [18]
5. bacb ⇒ c6 [16]
# ab:abaaabbaaab=1 reversed:ca/b baaab=c morph:5/0
ca=ac
acc=1
baa=aaacbc
bccc=cccccba
bacb=cccccc