#2296 ⟨a, b | abaaaab=bab⟩

Up:Monoids with two generators and one relation
Prev:#2295 ⟨a, b | abaaaab=baa⟩
Next:#2297 ⟨a, b | abaaaab=bba⟩

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. bc ⇒ ca4b
  2. bac ⇒ cab
  3. aba3c ⇒ ca4b
  4. aba4c ⇒ cab
  5. bab ⇒ c
  6. aba4b ⇒ c 
# ab:abaaaab=bab a/cb bab=c magic:0
bc=caaaab
bac=cab
abaaac=caaaab
abaaaac=cab
bab=c
abaaaab=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)