#2318 ⟨a, b | abaabba=bab⟩

Up:Monoids with two generators and one relation
Prev:#2317 ⟨a, b | abaabba=baa⟩
Next:#2319 ⟨a, b | abaabba=bba⟩

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. acabc ⇒ cb
  2. ba ⇒ c
  3. c2abca ⇒ bc2
  4. cb2 ⇒ acac2abc
  5. bcb ⇒ c2abc
  6. cbc2abc ⇒ acac2abc2b
  7. bc3abc ⇒ c2abc2b
  8. c(bca)2 ⇒ acab2c2 
# ab:abaabba=bab reversed:ca/b ba=c frequency:2/0
acabc=cb
ba=c
ccabca=bcc
cbb=acaccabc
bcb=ccabc
cbccabc=acaccabccb
bcccabc=ccabccb
cbcabca=acabbcc

Right Cayley graph (truncated)

Left Cayley graph (truncated)