#11025 ⟨a, b | abba=aab, bbbb=1⟩

Up:Monoids with two generators and two relations
Prev:#11016 ⟨a, b | abba=aaa, bbbb=1⟩
Next:#11032 ⟨a, b | abba=aba, bbbb=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. b4 ⇒ 1 [2]
2. cb2cb ⇒ c2 [8]
3. c2b3 ⇒ cb2c [7]
4. c(cb)2 ⇒ cb2c2 [9]
5. a ⇒ b3cb3 [5]
# ab:abba=aab,bbbb=1 bc/a bab=c morph:3/0
bbbb=1
cbbcb=cc
ccbbb=cbbc
ccbcb=cbbcc
a=bbbcbbb