Back

〈a, b | aa=1, abbba=bb〉

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

  1. b7 ⇒ b2
  2. bab2 ⇒ ab6
  3. b2a ⇒ ab3
  4. a2 ⇒ 1

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

17 total

Length:Presentation:
9〈a, b | aa=1, abba=bbb〉
9〈a, b | aa=1, abbb=bba〉
11〈a, b | aa=1, aaabbba=bb〉
11〈a, b | aa=1, abaabba=bb〉
11〈a, b | aa=1, aaabba=bbb〉
11〈a, b | aa=1, aaabbb=bba〉
11〈a, b | aa=1, aabbba=abb〉
11〈a, b | aa=1, abaaba=bbb〉
11〈a, b | aa=1, abaabb=bba〉
11〈a, b | aa=1, abbaab=bba〉
11〈a, b | aa=1, aaabb=bbba〉
11〈a, b | aa=1, aabba=abbb〉
11〈a, b | aa=1, aabbb=abba〉
11〈a, b | aa=1, abaab=bbba〉
11〈a, b | aa=1, abbba=aabb〉
11〈a, b | aa=1, abbba=baab〉
11〈a, b | aa=1, baabb=abba〉