#2287 ⟨a, b | aabbbba=baa⟩

Up:Monoids with two generators and one relation
Prev:#2286 ⟨a, b | aabbbba=abb⟩
Next:#2288 ⟨a, b | aabbbba=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. a2e4 ⇒ ea
  2. ad ⇒ e
  3. da ⇒ ae4
  4. de ⇒ ae4d
  5. ca ⇒ ae
  6. ce ⇒ aed
  7. cd ⇒ dc
  8. ba2 ⇒ a2c
  9. bea ⇒ a3e(ae4)3d
  10. bae ⇒ aec
  11. be2 ⇒ a3e(ae4)3d2
  12. c4 ⇒ d
  13. b4a ⇒ c
  14. b4e ⇒ dc 
# ab:aabbbba=baa reversed:ae/d/cb bbbba=c,cccc=d,ad=e frequency:5/2,4/0,2/1
aaeeee=ea
ad=e
da=aeeee
de=aeeeed
ca=ae
ce=aed
cd=dc
baa=aac
bea=aaaeaeeeeaeeeeaeeeed
bae=aec
bee=aaaeaeeeeaeeeeaeeeedd
cccc=d
bbbba=c
bbbbe=dc

Right Cayley graph (truncated)

Left Cayley graph (truncated)