#2138 ⟨a, b | aaaabba=aab⟩

Up:Monoids with two generators and one relation
Prev:#2137 ⟨a, b | aaaabba=aaa⟩
Next:#2139 ⟨a, b | aaaabba=aba⟩

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. a2b ⇒ c
  2. a2cba ⇒ c
  3. a2cbc ⇒ cab
  4. cacba ⇒ cab
  5. c(ab)2 ⇒ cacbc
  6. cabacba ⇒ cacbc
  7. cabacbc ⇒ cacbcab 
# ab:aaaabba=aab acb aab=c magic:0
aab=c
aacba=c
aacbc=cab
cacba=cab
cabab=cacbc
cabacba=cacbc
cabacbc=cacbcab

Right Cayley graph (truncated)

Left Cayley graph (truncated)