#2324 ⟨a, b | ababaab=abb⟩

Up:Monoids with two generators and one relation
Prev:#2323 ⟨a, b | ababaab=aba⟩
Next:#2325 ⟨a, b | ababaab=baa⟩

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. ab2 ⇒ c
  2. cb2 ⇒ cabac
  3. caba2b ⇒ cb
  4. a(ba)2c ⇒ cb
  5. (ab)2a2b ⇒ c
  6. c(ba)2c ⇒ cabacb
  7. cbaba2b ⇒ cabac 
# ab:ababaab=abb a/cb abb=c magic:0
abb=c
cbb=cabac
cabaab=cb
ababac=cb
ababaab=c
cbabac=cabacb
cbabaab=cabac

Right Cayley graph (truncated)

Left Cayley graph (truncated)