Back

〈a, b | ab=1, aabb=1〉

Monoid presentation of length 6

Properties

Completion parameters

Complete rewriting system

  1. ab ⇒ 1

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

108 total

Length:Presentation:
6〈a, b | ab=1, abab=1〉
6〈a, b | ab=1, aab=a〉
6〈a, b | ab=1, aba=a〉
8〈a, b | aab=a, aabb=1〉
8〈a, b | aba=a, aabb=1〉
8〈a, b | aba=a, abab=1〉
8〈a, b | ab=1, aaabbb=1〉
8〈a, b | ab=1, aababb=1〉
8〈a, b | ab=1, aabbab=1〉
8〈a, b | ab=1, ababab=1〉
8〈a, b | ab=1, aaabb=a〉
8〈a, b | ab=1, aabab=a〉
8〈a, b | ab=1, aabba=a〉
8〈a, b | ab=1, abaab=a〉
8〈a, b | ab=1, ababa=a〉
8〈a, b | ab=1, aaab=aa〉
8〈a, b | ab=1, aaba=aa〉
8〈a, b | ab=1, aabb=ab〉
8〈a, b | ab=1, abaa=aa〉
8〈a, b | ab=1, abab=ab〉
8〈a, b | ab=1, abba=ba〉
8〈a, b | ab=1, baba=ba〉
8〈a, b | ab=1, aba=aab〉
10〈a, b | aaab=aa, aabb=1〉
10〈a, b | aaba=aa, aabb=1〉
10〈a, b | aaba=aa, baba=1〉
10〈a, b | aaba=aa, bbaa=1〉
10〈a, b | abab=ab, baba=1〉
10〈a, b | abab=ab, bbaa=1〉
10〈a, b | abba=ab, bbaa=1〉
10〈a, b | aabb=1, aaabbb=1〉
10〈a, b | aabb=1, aabbab=1〉
10〈a, b | abab=1, aababb=1〉
10〈a, b | abab=1, ababab=1〉
10〈a, b | aab=a, aaabbb=1〉
10〈a, b | aab=a, aababb=1〉
10〈a, b | aba=a, aaabbb=1〉
10〈a, b | aba=a, aababb=1〉
10〈a, b | aba=a, aabbab=1〉
10〈a, b | aba=a, abaabb=1〉
10〈a, b | aba=a, ababab=1〉
10〈a, b | ab=1, aaaabbbb=1〉
10〈a, b | ab=1, aaababbb=1〉
10〈a, b | ab=1, aaabbabb=1〉
10〈a, b | ab=1, aaabbbab=1〉
10〈a, b | ab=1, aabababb=1〉
10〈a, b | ab=1, aababbab=1〉
10〈a, b | ab=1, aabbaabb=1〉
10〈a, b | ab=1, aabbabab=1〉
10〈a, b | ab=1, abaabbab=1〉
10〈a, b | ab=1, abababab=1〉
10〈a, b | ab=1, aaaabbb=a〉
10〈a, b | ab=1, aaababb=a〉
10〈a, b | ab=1, aaabbab=a〉
10〈a, b | ab=1, aaabbba=a〉
10〈a, b | ab=1, aabaabb=a〉
10〈a, b | ab=1, aababab=a〉
10〈a, b | ab=1, aababba=a〉
10〈a, b | ab=1, aabbaab=a〉
10〈a, b | ab=1, aabbaba=a〉
10〈a, b | ab=1, aabbbab=b〉
10〈a, b | ab=1, abaabab=a〉
10〈a, b | ab=1, abaabba=a〉
10〈a, b | ab=1, ababaab=a〉
10〈a, b | ab=1, abababa=a〉
10〈a, b | ab=1, aaaabb=aa〉
10〈a, b | ab=1, aaabab=aa〉
10〈a, b | ab=1, aaabba=aa〉
10〈a, b | ab=1, aaabbb=ab〉
10〈a, b | ab=1, aabaab=aa〉
10〈a, b | ab=1, aababa=aa〉
10〈a, b | ab=1, aababb=ab〉
10〈a, b | ab=1, aabbaa=aa〉
10〈a, b | ab=1, aabbab=ab〉
10〈a, b | ab=1, aabbba=ba〉
10〈a, b | ab=1, abaaab=aa〉
10〈a, b | ab=1, abaaba=aa〉
10〈a, b | ab=1, ababaa=aa〉
10〈a, b | ab=1, ababab=ab〉
10〈a, b | ab=1, ababba=ba〉
10〈a, b | ab=1, abbaab=ba〉
10〈a, b | ab=1, abbaba=ba〉
10〈a, b | ab=1, baabba=ba〉
10〈a, b | ab=1, bababa=ba〉
10〈a, b | ab=1, aaaab=aaa〉
10〈a, b | ab=1, aaaba=aaa〉
10〈a, b | ab=1, aaabb=aab〉
10〈a, b | ab=1, aaabb=aba〉
10〈a, b | ab=1, aabaa=aaa〉
10〈a, b | ab=1, aabab=aab〉
10〈a, b | ab=1, aabab=aba〉
10〈a, b | ab=1, aabba=aab〉
10〈a, b | ab=1, aabba=aba〉
10〈a, b | ab=1, abaaa=aaa〉
10〈a, b | ab=1, abaab=aab〉
10〈a, b | ab=1, abaab=aba〉
10〈a, b | ab=1, ababa=aab〉
10〈a, b | ab=1, ababa=aba〉
10〈a, b | ab=1, abbaa=baa〉
10〈a, b | ab=1, abbba=bba〉
10〈a, b | ab=1, baaba=baa〉
10〈a, b | ab=1, babaa=baa〉
10〈a, b | ab=1, aaba=aaab〉
10〈a, b | ab=1, abaa=aaab〉
10〈a, b | ab=1, abaa=aaba〉
10〈a, b | ab=1, abab=aabb〉
10〈a, b | ab=1, baab=abba〉
10〈a, b | ab=1, baba=abba〉