#2249 ⟨a, b | aababba=baa⟩

Up:Monoids with two generators and one relation
Prev:#2248 ⟨a, b | aababba=abb⟩
Next:#2250 ⟨a, b | aababba=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. dc ⇒ ec
  2. de ⇒ e2
  3. bc ⇒ d2b
  4. be ⇒ ecb
  5. da ⇒ ea
  6. ba ⇒ d
  7. acd ⇒ ea
  8. ad2 ⇒ ca
  9. acec ⇒ eac
  10. ae2c ⇒ cac
  11. ace2 ⇒ eae
  12. ae3 ⇒ cae
  13. acb ⇒ e
  14. adb ⇒ c
  15. acea ⇒ ea2
  16. ae2a ⇒ ca2 
# ab:aababba=baa reversed:ced/b/a abab=c,ba=d,acb=e frequency:4/1,2/1,3/0
dc=ec
de=ee
bc=ddb
be=ecb
da=ea
ba=d
acd=ea
add=ca
acec=eac
aeec=cac
acee=eae
aeee=cae
acb=e
adb=c
acea=eaa
aeea=caa

Right Cayley graph (truncated)

Left Cayley graph (truncated)