Back

〈a, b | aab=ba, bba=a〉

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

  1. a4 ⇒ a
  2. ab ⇒ ba2
  3. b2a ⇒ a

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

17 total

Length:Presentation:
9〈a, b | aab=b, abba=b〉
10〈a, b | aab=ba, baab=a〉
11〈a, b | aaab=ab, abba=b〉
11〈a, b | aaba=ba, abba=b〉
11〈a, b | aabb=aa, baab=a〉
11〈a, b | abba=aa, baab=a〉
11〈a, b | abba=b, ababb=b〉
11〈a, b | abba=b, babab=b〉
11〈a, b | aab=ba, aabab=a〉
11〈a, b | aab=ba, ababa=a〉
11〈a, b | aab=ba, babaa=a〉
11〈a, b | aab=b, aaabba=b〉
11〈a, b | aab=b, abaaba=b〉
11〈a, b | aab=b, aabba=ab〉
11〈a, b | aab=b, baaba=ab〉
11〈a, b | aab=b, aaab=bba〉
11〈a, b | aab=b, abba=aab〉