#19155 ⟨a, b | aba=a, bbaabb=b⟩

Up:Monoids with two generators and two relations
Prev:#19154 ⟨a, b | aba=a, bbaabb=a⟩
Next:#19156 ⟨a, b | aba=a, bbabbb=a⟩

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. a2c2 ⇒ ac [11]
2. aca2 ⇒ a2ca [7]
3. c2a2 ⇒ ca [14]
4. c2ac ⇒ cac2 [15]
5. c(ac)2 ⇒ c2 [12]
6. a2(ca)2 ⇒ a [8]
7. a2cac2 ⇒ (ac)2 [13]
8. ca(ac)2 ⇒ c [16]
9. b ⇒ ca2c [4]
# ab:aba=a,bbaabb=b ac/b bb=c morph:2/0
aacc=ac
acaa=aaca
ccaa=ca
ccac=cacc
cacac=cc
aacaca=a
aacacc=acac
caacac=c
b=caac