Back

〈a, b | ab=a, bbaa=a〉

Monoid presentation of length 8

Properties

Completion parameters

Complete rewriting system

  1. a2 ⇒ a
  2. ab ⇒ a
  3. b2a ⇒ a

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

44 total

Length:Presentation:
9〈a, b | aab=a, bbaa=a〉
9〈a, b | ab=a, bbaab=a〉
9〈a, b | ab=a, bbaba=a〉
9〈a, b | ab=a, bbaa=ab〉
10〈a, b | aab=aa, bbaa=a〉
10〈a, b | ab=a, bbaabb=a〉
10〈a, b | ab=a, bbabab=a〉
10〈a, b | ab=a, bbabba=a〉
10〈a, b | ab=a, bbaab=ab〉
10〈a, b | ab=a, bbaba=ab〉
10〈a, b | ab=a, bbaa=abb〉
11〈a, b | aaab=aa, bbaa=a〉
11〈a, b | abba=ab, bbaa=a〉
11〈a, b | aabb=a, bbaab=a〉
11〈a, b | abab=a, bbaab=a〉
11〈a, b | abab=a, bbaba=a〉
11〈a, b | aab=aa, bbaab=a〉
11〈a, b | aab=a, bbaaaa=a〉
11〈a, b | aab=a, bbaaab=a〉
11〈a, b | aab=a, bbaaba=a〉
11〈a, b | aab=a, bbabaa=a〉
11〈a, b | aab=a, bbaaa=aa〉
11〈a, b | aab=a, bbaaa=ab〉
11〈a, b | aab=a, bbaab=ab〉
11〈a, b | aab=a, bbaba=ab〉
11〈a, b | aab=a, aabb=bba〉
11〈a, b | aab=a, abab=bba〉
11〈a, b | aab=a, abba=bba〉
11〈a, b | aab=a, abbb=bba〉
11〈a, b | aab=a, bbaa=aab〉
11〈a, b | aab=a, bbaa=aba〉
11〈a, b | aab=a, bbaa=abb〉
11〈a, b | aab=a, bbab=abb〉
11〈a, b | aba=a, abab=bba〉
11〈a, b | ab=a, bbaabbb=a〉
11〈a, b | ab=a, bbababb=a〉
11〈a, b | ab=a, bbabbab=a〉
11〈a, b | ab=a, bbabbba=a〉
11〈a, b | ab=a, bbaabb=ab〉
11〈a, b | ab=a, bbabab=ab〉
11〈a, b | ab=a, bbabba=ab〉
11〈a, b | ab=a, bbaab=abb〉
11〈a, b | ab=a, bbaba=abb〉
11〈a, b | ab=a, bbaa=abbb〉

Other anti-isomorphic instances

12 total

Length:Presentation:
11〈a, b | aabb=ba, abaa=a〉
11〈a, b | aabb=ba, abba=a〉
11〈a, b | aabb=ba, baaa=a〉
11〈a, b | aabb=ba, baba=a〉
11〈a, b | aabb=ba, bbaa=a〉
11〈a, b | aabb=a, baabb=a〉
11〈a, b | aabb=a, babba=a〉
11〈a, b | abba=a, baabb=a〉
11〈a, b | aba=aa, baabb=a〉
11〈a, b | aba=a, baaabb=a〉
11〈a, b | aba=a, aaabb=ba〉
11〈a, b | aba=a, ababb=ba〉