#15905 ⟨a, b | aba=bb, aaaaa=a⟩

Up:Monoids with two generators and two relations
Prev:#15904 ⟨a, b | aba=ab, bbbbb=b⟩
Next:#15908 ⟨a, b | aba=bb, aaaab=b⟩

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. b16 ⇒ b4
  2. bab15 ⇒ bab3
  3. b3a ⇒ ab3
  4. aba ⇒ b2
  5. ba2b15 ⇒ ba2b3
  6. bab2ab3 ⇒ a2b8
  7. b2a2b3 ⇒ ab2ab13
  8. a3b4 ⇒ bab14
  9. ba3b3 ⇒ b2ab13
  10. ba2b2ab3 ⇒ a2b2ab8
  11. b2a3b2 ⇒ ab3
  12. a4b2 ⇒ b2
  13. a3b2ab3 ⇒ ba2b3
  14. b2a4 ⇒ b2
  15. a5 ⇒ a 
# ab:aba=bb,aaaaa=a b/a
bbbbbbbbbbbbbbbb=bbbb
babbbbbbbbbbbbbbb=babbb
bbba=abbb
aba=bb
baabbbbbbbbbbbbbbb=baabbb
babbabbb=aabbbbbbbb
bbaabbb=abbabbbbbbbbbbbbb
aaabbbb=babbbbbbbbbbbbbb
baaabbb=bbabbbbbbbbbbbbb
baabbabbb=aabbabbbbbbbb
bbaaabb=abbb
aaaabb=bb
aaabbabbb=baabbb
bbaaaa=bb
aaaaa=a

Right Cayley graph (truncated)

Left Cayley graph (truncated)