#666 ⟨a, b | aababaaba=1⟩

Up:Monoids with two generators and one relation
Prev:#665 ⟨a, b | aababaaab=1⟩
Next:#667 ⟨a, b | aababaabb=1⟩

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. cb ⇒ bc4
  2. c2ac ⇒ a
  3. ab ⇒ bc6a
  4. c2a2 ⇒ (ac)2
  5. b(ac)2 ⇒ 1
  6. baca2 ⇒ cac 
# ab:aababaaba=1 c/ba aba=c frequency:3/0
cb=bcccc
ccac=a
ab=bcccccca
ccaa=acac
bacac=1
bacaa=cac

Right Cayley graph (truncated)

Left Cayley graph (truncated)