#703 ⟨a, b | abaabaaab=1⟩

Up:Monoids with two generators and one relation
Prev:#701 ⟨a, b | abaaabbab=1⟩
Next:#704 ⟨a, b | abaabaaba=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. c2a2 ⇒ (ac)2 [6]
2. c2ac ⇒ a [4]
3. b(ca)2 ⇒ 1 [12]
4. ab ⇒ bcac2 [13]
5. cb ⇒ bc4 [22]
# ab:abaabaaab=1 ac/b aab=c morph:3/0
ccaa=acac
ccac=a
bcaca=1
ab=bcacc
cb=bcccc