#14502 ⟨a, b | aaab=b, abbba=b⟩

Up:Monoids with two generators and two relations
Prev:#14501 ⟨a, b | aaab=b, abbba=a⟩
Next:#14503 ⟨a, b | aaab=b, abbbb=a⟩

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. b25 ⇒ b
  2. bab24 ⇒ ba
  3. b4a ⇒ ab4
  4. a2b ⇒ b3a
  5. ab2a ⇒ bab21
  6. ab3a ⇒ b
  7. ba2 ⇒ ab3
  8. (ba)2 ⇒ abab7 
# ab:aaab=b,abbba=b b/a
bbbbbbbbbbbbbbbbbbbbbbbbb=b
babbbbbbbbbbbbbbbbbbbbbbbb=ba
bbbba=abbbb
aab=bbba
abba=babbbbbbbbbbbbbbbbbbbbb
abbba=b
baa=abbb
baba=ababbbbbbb

Right Cayley graph (truncated)

Left Cayley graph (truncated)