#555 ⟨a, b | abbba=bab⟩

Up:Monoids with two generators and one relation
Prev:#554 ⟨a, b | abbba=abb⟩
Next:#556 ⟨a, b | abbba=bbb⟩

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. ab ⇒ c
  2. cb ⇒ d
  3. db ⇒ e
  4. ea ⇒ bc
  5. ec ⇒ bd
  6. ed ⇒ be
  7. beb ⇒ e2
  8. ceb ⇒ ae2
  9. deb ⇒ ce2
  10. e2b ⇒ de2 
# ab:abbba=bab bacde ab=c,cb=d,db=e frequency:2/1,2/0,2/0
ab=c
cb=d
db=e
ea=bc
ec=bd
ed=be
beb=ee
ceb=aee
deb=cee
eeb=dee

Right Cayley graph (truncated)

Left Cayley graph (truncated)