#27760 ⟨a, b | aa=1, bbabbb=bba⟩

Up:Monoids with two generators and two relations
Prev:#27759 ⟨a, b | aa=1, bbabbb=bab⟩
Next:#27761 ⟨a, b | aa=1, bbabbb=bbb⟩

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. a2 ⇒ 1 [1]
2. c4 ⇒ c [11]
3. cac3 ⇒ ca [12]
4. bc ⇒ c3 [10]
5. cb ⇒ c3 [13]
6. cab ⇒ cac2 [9]
7. b2 ⇒ c [3]
# ab:aa=1,bbabbb=bba ac/b bb=c morph:2/0
aa=1
cccc=c
caccc=ca
bc=ccc
cb=ccc
cab=cacc
bb=c