#27156 ⟨a, b | aa=1, abbbabb=bb⟩

Up:Monoids with two generators and two relations
Prev:#27144 ⟨a, b | aa=1, abbabba=bb⟩
Next:#27160 ⟨a, b | aa=1, abbbbab=bb⟩

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 [12]
3. c3ac ⇒ ac [10]
4. bc ⇒ c3 [11]
5. bac ⇒ c2ac [9]
6. cb ⇒ c3 [13]
7. b2 ⇒ c [3]
# ab:aa=1,abbbabb=bb ac/b bb=c morph:2/0
aa=1
cccc=c
cccac=ac
bc=ccc
bac=ccac
cb=ccc
bb=c