#16324 ⟨a, b | aab=bb, bbaa=bb⟩

Up:Monoids with two generators and two relations
Prev:#16323 ⟨a, b | aab=bb, bbaa=ba⟩
Next:#16325 ⟨a, b | aab=bb, bbab=aa⟩

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. cb ⇒ c2 [9]
2. bc ⇒ c2 [14]
3. b2 ⇒ c [3]
4. a2c ⇒ c2 [12]
5. a2b ⇒ c [4]
6. ca2 ⇒ c [6]
7. cab ⇒ cac [10]
8. c3 ⇒ c2 [11]
9. cac2 ⇒ cac [13]
# ab:aab=bb,bbaa=bb acb bb=c morph:2/0
cb=cc
bc=cc
bb=c
aac=cc
aab=c
caa=c
cab=cac
ccc=cc
cacc=cac