#3800 ⟨a, b | abbaaaabba=b⟩

Up:Monoids with two generators and one relation
Prev:#3798 ⟨a, b | abbaaaaaab=b⟩
Next:#3801 ⟨a, b | abbaaabaab=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. acdc ⇒ c2da [9]
2. c2dadc ⇒ d2a [13]
3. acd2 ⇒ c(cd)2ac [10]
4. acda ⇒ c [11]
5. c2dad2 ⇒ d2cdac [15]
6. c2(da)2c ⇒ d [12]
7. c2d(ad)2 ⇒ dc(da)2c [14]
8. b ⇒ c(da)2c [8]
# ab:abbaaaabba=b c/da/b aaabba=c,cb=d morph:6/0,2/0
acdc=ccda
ccdadc=dda
acdd=ccdcdac
acda=c
ccdadd=ddcdac
ccdadac=d
ccdadad=dcdadac
b=cdadac