Back

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

Monoid presentation of length 6

Properties

Completion parameters

Complete rewriting system

  1. a2 ⇒ a
  2. ab ⇒ a

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

203 total

Length:Presentation:
7〈a, b | aa=a, aab=a〉
7〈a, b | ab=a, aab=a〉
7〈a, b | ab=a, aba=a〉
7〈a, b | aa=a, ab=aa〉
8〈a, b | aa=a, aaab=a〉
8〈a, b | ab=a, aabb=a〉
8〈a, b | ab=a, abab=a〉
8〈a, b | ab=a, abba=a〉
8〈a, b | aa=a, aaa=ab〉
8〈a, b | aa=a, aab=aa〉
8〈a, b | ab=a, aab=ab〉
8〈a, b | ab=a, aba=ab〉
8〈a, b | ab=a, abb=aa〉
9〈a, b | aaa=aa, aab=a〉
9〈a, b | aab=a, aaab=a〉
9〈a, b | aab=a, aaba=a〉
9〈a, b | aab=a, aabb=a〉
9〈a, b | aab=a, abaa=a〉
9〈a, b | aab=a, abab=a〉
9〈a, b | aab=a, abba=a〉
9〈a, b | aba=a, aaab=a〉
9〈a, b | aba=a, abab=a〉
9〈a, b | aa=a, aaaab=a〉
9〈a, b | ab=a, aabbb=a〉
9〈a, b | ab=a, ababb=a〉
9〈a, b | ab=a, abbab=a〉
9〈a, b | ab=a, abbba=a〉
9〈a, b | aa=a, aaaa=ab〉
9〈a, b | aa=a, aaab=aa〉
9〈a, b | ab=a, aabb=ab〉
9〈a, b | ab=a, abab=ab〉
9〈a, b | ab=a, abba=ab〉
9〈a, b | ab=a, abbb=aa〉
9〈a, b | aa=a, aab=aaa〉
9〈a, b | ab=a, abb=aab〉
9〈a, b | ab=a, abb=aba〉
10〈a, b | aaa=aa, aaab=a〉
10〈a, b | aab=aa, aabb=a〉
10〈a, b | aab=aa, abab=a〉
10〈a, b | aab=ab, aaab=a〉
10〈a, b | aba=aa, abab=a〉
10〈a, b | aba=ab, aaab=a〉
10〈a, b | aba=ab, aaba=a〉
10〈a, b | aba=ab, abaa=a〉
10〈a, b | aa=a, aaaaab=a〉
10〈a, b | ab=a, aabbbb=a〉
10〈a, b | ab=a, ababbb=a〉
10〈a, b | ab=a, abbabb=a〉
10〈a, b | ab=a, abbbab=a〉
10〈a, b | ab=a, abbbba=a〉
10〈a, b | aa=a, aaaaa=ab〉
10〈a, b | aa=a, aaaab=aa〉
10〈a, b | ab=a, aabbb=ab〉
10〈a, b | ab=a, ababb=ab〉
10〈a, b | ab=a, abbab=ab〉
10〈a, b | ab=a, abbba=ab〉
10〈a, b | ab=a, abbbb=aa〉
10〈a, b | aa=a, aaaa=aab〉
10〈a, b | aa=a, aaab=aaa〉
10〈a, b | ab=a, aabb=abb〉
10〈a, b | ab=a, abab=abb〉
10〈a, b | ab=a, abba=abb〉
10〈a, b | ab=a, abbb=aab〉
10〈a, b | ab=a, abbb=aba〉
11〈a, b | aaab=aa, aaba=a〉
11〈a, b | aaab=aa, aabb=a〉
11〈a, b | aaab=aa, abaa=a〉
11〈a, b | aaab=aa, abab=a〉
11〈a, b | aaba=aa, abab=a〉
11〈a, b | aabb=ab, abab=a〉
11〈a, b | aaab=a, aaaab=a〉
11〈a, b | aaab=a, aaaba=a〉
11〈a, b | aaab=a, aabaa=a〉
11〈a, b | aaab=a, abaaa=a〉
11〈a, b | aaba=a, aaaab=a〉
11〈a, b | aabb=a, aabbb=a〉
11〈a, b | aabb=a, abbab=a〉
11〈a, b | abab=a, aabbb=a〉
11〈a, b | abab=a, ababb=a〉
11〈a, b | abab=a, abbab=a〉
11〈a, b | abab=a, abbba=a〉
11〈a, b | abba=a, abbab=a〉
11〈a, b | aaa=aa, aaaab=a〉
11〈a, b | aab=aa, aabbb=a〉
11〈a, b | aab=aa, abbab=a〉
11〈a, b | aab=ab, aaaab=a〉
11〈a, b | aba=aa, abbab=a〉
11〈a, b | aba=ab, aaaab=a〉
11〈a, b | aba=ab, aaaba=a〉
11〈a, b | aba=ab, aabaa=a〉
11〈a, b | aba=ab, abaaa=a〉
11〈a, b | aab=a, aaaabb=a〉
11〈a, b | aab=a, aaabab=a〉
11〈a, b | aab=a, aaabba=a〉
11〈a, b | aab=a, aaabbb=a〉
11〈a, b | aab=a, aabaab=a〉
11〈a, b | aab=a, aababa=a〉
11〈a, b | aab=a, aababb=a〉
11〈a, b | aab=a, aabbaa=a〉
11〈a, b | aab=a, aabbab=a〉
11〈a, b | aab=a, aabbba=a〉
11〈a, b | aab=a, abaaab=a〉
11〈a, b | aab=a, abaaba=a〉
11〈a, b | aab=a, abaabb=a〉
11〈a, b | aab=a, ababaa=a〉
11〈a, b | aab=a, ababab=a〉
11〈a, b | aab=a, ababba=a〉
11〈a, b | aab=a, abbaaa=a〉
11〈a, b | aab=a, abbaab=a〉
11〈a, b | aab=a, abbaba=a〉
11〈a, b | aab=a, abbbaa=a〉
11〈a, b | aba=a, aaabab=a〉
11〈a, b | aba=a, aabaab=a〉
11〈a, b | aba=a, aabbab=a〉
11〈a, b | aba=a, abaaab=a〉
11〈a, b | aba=a, ababab=a〉
11〈a, b | aba=a, abbaab=a〉
11〈a, b | aab=a, aaaab=aa〉
11〈a, b | aab=a, aaaba=aa〉
11〈a, b | aab=a, aaabb=aa〉
11〈a, b | aab=a, aaabb=ab〉
11〈a, b | aab=a, aabaa=aa〉
11〈a, b | aab=a, aabab=aa〉
11〈a, b | aab=a, aabab=ab〉
11〈a, b | aab=a, aabba=aa〉
11〈a, b | aab=a, aabba=ab〉
11〈a, b | aab=a, aabbb=ab〉
11〈a, b | aab=a, abaaa=aa〉
11〈a, b | aab=a, abaab=aa〉
11〈a, b | aab=a, abaab=ab〉
11〈a, b | aab=a, ababa=aa〉
11〈a, b | aab=a, ababa=ab〉
11〈a, b | aab=a, ababb=ab〉
11〈a, b | aab=a, abbaa=aa〉
11〈a, b | aab=a, abbaa=ab〉
11〈a, b | aab=a, abbab=ab〉
11〈a, b | aab=a, abbba=ab〉
11〈a, b | aab=a, baaab=ba〉
11〈a, b | aab=a, baaba=ba〉
11〈a, b | aab=a, baabb=ba〉
11〈a, b | aab=a, babaa=ba〉
11〈a, b | aab=a, babab=ba〉
11〈a, b | aab=a, babba=ba〉
11〈a, b | aba=a, aabba=ab〉
11〈a, b | aba=a, ababa=ab〉
11〈a, b | aba=a, abbba=ab〉
11〈a, b | aab=a, aaaa=aaa〉
11〈a, b | aab=a, aaab=aaa〉
11〈a, b | aab=a, aaab=aab〉
11〈a, b | aab=a, aaab=aba〉
11〈a, b | aab=a, aaba=aaa〉
11〈a, b | aab=a, aaba=aab〉
11〈a, b | aab=a, aaba=aba〉
11〈a, b | aab=a, aabb=aab〉
11〈a, b | aab=a, aabb=aba〉
11〈a, b | aab=a, aabb=abb〉
11〈a, b | aab=a, abaa=aaa〉
11〈a, b | aab=a, abaa=aab〉
11〈a, b | aab=a, abaa=aba〉
11〈a, b | aab=a, abab=aab〉
11〈a, b | aab=a, abab=aba〉
11〈a, b | aab=a, abab=abb〉
11〈a, b | aab=a, abba=aab〉
11〈a, b | aab=a, abba=aba〉
11〈a, b | aab=a, abba=abb〉
11〈a, b | aab=a, abbb=abb〉
11〈a, b | aab=a, baaa=baa〉
11〈a, b | aab=a, baab=baa〉
11〈a, b | aab=a, baab=bab〉
11〈a, b | aab=a, baba=baa〉
11〈a, b | aab=a, baba=bab〉
11〈a, b | aab=a, babb=bab〉
11〈a, b | aab=a, bbaa=bba〉
11〈a, b | aab=a, bbab=bba〉
11〈a, b | aba=a, aaab=aba〉
11〈a, b | aba=a, abab=aba〉
11〈a, b | aa=a, aaaaaab=a〉
11〈a, b | ab=a, aabbbbb=a〉
11〈a, b | ab=a, ababbbb=a〉
11〈a, b | ab=a, abbabbb=a〉
11〈a, b | ab=a, abbbabb=a〉
11〈a, b | ab=a, abbbbab=a〉
11〈a, b | ab=a, abbbbba=a〉
11〈a, b | aa=a, aaaaaa=ab〉
11〈a, b | aa=a, aaaaab=aa〉
11〈a, b | ab=a, aabbbb=ab〉
11〈a, b | ab=a, ababbb=ab〉
11〈a, b | ab=a, abbabb=ab〉
11〈a, b | ab=a, abbbab=ab〉
11〈a, b | ab=a, abbbba=ab〉
11〈a, b | ab=a, abbbbb=aa〉
11〈a, b | aa=a, aaaaa=aab〉
11〈a, b | aa=a, aaaab=aaa〉
11〈a, b | ab=a, aabbb=abb〉
11〈a, b | ab=a, ababb=abb〉
11〈a, b | ab=a, abbab=abb〉
11〈a, b | ab=a, abbba=abb〉
11〈a, b | ab=a, abbbb=aab〉
11〈a, b | ab=a, abbbb=aba〉
11〈a, b | aa=a, aaab=aaaa〉
11〈a, b | ab=a, abbb=aabb〉
11〈a, b | ab=a, abbb=abab〉
11〈a, b | ab=a, abbb=abba〉

Other anti-isomorphic instances

18 total

Length:Presentation:
9〈a, b | aab=ab, baa=a〉
9〈a, b | aba=aa, baa=a〉
9〈a, b | aba=ba, baa=a〉
10〈a, b | aab=ab, baaa=a〉
11〈a, b | aaba=aa, baaa=a〉
11〈a, b | aaba=aa, baba=a〉
11〈a, b | abaa=aa, baaa=a〉
11〈a, b | abab=ab, baaa=a〉
11〈a, b | abab=ab, baba=a〉
11〈a, b | abba=ba, baaa=a〉
11〈a, b | abba=ba, baba=a〉
11〈a, b | abba=ba, bbaa=a〉
11〈a, b | aaba=a, baaaa=a〉
11〈a, b | aab=ab, baaaa=a〉
11〈a, b | aba=a, aabba=ba〉
11〈a, b | aba=a, baaab=ab〉
11〈a, b | aba=a, babab=ab〉
11〈a, b | aba=a, abab=bab〉