#2340 ⟨a, b | ababbba=bab⟩

Up:Monoids with two generators and one relation
Prev:#2339 ⟨a, b | ababbba=baa⟩
Next:#2341 ⟨a, b | ababbba=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. a2bc3 ⇒ cb
  2. bab ⇒ abc
  3. ba2bc ⇒ abcab
  4. (abc)2c ⇒ bcb
  5. b2cb ⇒ (abc2)2
  6. ab3a ⇒ c
  7. abcb2a ⇒ bc
  8. abc2b2a ⇒ b2c
  9. b3c ⇒ abc3b2a
  10. b2cabc ⇒ ab(c2ab)2
  11. bcb3a ⇒ abcb2c
  12. abcab4a ⇒ ba3bcb2c
  13. b2a3bcb2c ⇒ abc2ab4a
  14. a(bc2a)2b4a ⇒ b2ca2bcb2c
  15. abcb2ca2bcb2c ⇒ bcabc3ab4a 
# ab:ababbba=bab reversed:ac/b abbba=c frequency:5/0
aabccc=cb
bab=abc
baabc=abcab
abcabcc=bcb
bbcb=abccabcc
abbba=c
abcbba=bc
abccbba=bbc
bbbc=abcccbba
bbcabc=abccabccab
bcbbba=abcbbc
abcabbbba=baaabcbbc
bbaaabcbbc=abccabbbba
abccabccabbbba=bbcaabcbbc
abcbbcaabcbbc=bcabcccabbbba

Right Cayley graph (truncated)

Left Cayley graph (truncated)