#1983 ⟨a, b | aabbaaab=ba⟩

Up:Monoids with two generators and one relation
Prev:#1982 ⟨a, b | aabbaaab=ab⟩
Next:#1984 ⟨a, b | aabbaaab=bb⟩

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. ac ⇒ da
  2. adc2 ⇒ c2ad
  3. adcad ⇒ c
  4. ab ⇒ d
  5. ba ⇒ c
  6. bd ⇒ cb
  7. bc ⇒ cdcad 
# ab:aabbaaab=ba reversed:adc/b ba=c,ab=d frequency:2/0,2/0
ac=da
adcc=ccad
adcad=c
ab=d
ba=c
bd=cb
bc=cdcad

Right Cayley graph (truncated)

Left Cayley graph (truncated)