#2325 ⟨a, b | ababaab=baa⟩

Up:Monoids with two generators and one relation
Prev:#2324 ⟨a, b | ababaab=abb⟩
Next:#2326 ⟨a, b | ababaab=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. cacb2 ⇒ abc
  2. cbacb ⇒ bac
  3. abacb ⇒ c
  4. ba2 ⇒ c
  5. ca2 ⇒ abac2
  6. c(ba)2c ⇒ b(ac)2b
  7. a(ba)2c ⇒ cacb 
# ab:ababaab=baa bc/a baa=c magic:0
cacbb=abc
cbacb=bac
abacb=c
baa=c
caa=abacc
cbabac=bacacb
ababac=cacb

Right Cayley graph (truncated)

Left Cayley graph (truncated)