#2141 ⟨a, b | aaaabba=baa⟩

Up:Monoids with two generators and one relation
Prev:#2140 ⟨a, b | aaaabba=abb⟩
Next:#2142 ⟨a, b | aaaabba=bab⟩

Properties

Complete 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
  1. a4dad ⇒ da
  2. aca ⇒ d
  3. acd ⇒ dca
  4. ca2 ⇒ a3dad
  5. cda ⇒ a(a(ad)2)2
  6. cad ⇒ a3dadca
  7. cd2 ⇒ a(a(ad)2)2ca
  8. ba2 ⇒ a3d
  9. bda ⇒ a(a2d)2ad
  10. bad ⇒ a3dca
  11. bd2 ⇒ a(a2d)2adca
  12. cb ⇒ bc
  13. b2 ⇒ c 
# ab:aaaabba=baa reversed:ad/cb bb=c,aca=d frequency:2/1,3/1
aaaadad=da
aca=d
acd=dca
caa=aaadad
cda=aaadadaadad
cad=aaadadca
cdd=aaadadaadadca
baa=aaad
bda=aaadaadad
bad=aaadca
bdd=aaadaadadca
cb=bc
bb=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)