#665 ⟨a, b | aababaaab=1⟩

Up:Monoids with two generators and one relation
Prev:#664 ⟨a, b | aabaabbba=1⟩
Next:#666 ⟨a, b | aababaaba=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. cac2 ⇒ a
  2. a2c2 ⇒ (ca)2
  3. (ca)2b ⇒ 1
  4. a2cab ⇒ cac
  5. bc ⇒ c4b
  6. ba ⇒ ac6b 
# ab:aababaaab=1 reversed:c/a/b aba=c frequency:3/0
cacc=a
aacc=caca
cacab=1
aacab=cac
bc=ccccb
ba=accccccb

Right Cayley graph (truncated)

Left Cayley graph (truncated)