Back

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

Monoid presentation of length 4

Properties

Completion parameters

Inverses of generators

Complete rewriting system

  1. a2 ⇒ 1
  2. b2 ⇒ 1

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

110 total

Length:Presentation:
6〈a, b | aa=1, aabb=1〉
6〈a, b | aa=1, abba=1〉
6〈a, b | aa=1, baab=1〉
6〈a, b | aa=1, abb=a〉
6〈a, b | aa=1, bb=aa〉
8〈a, b | aaa=a, aabb=1〉
8〈a, b | aaa=a, abba=1〉
8〈a, b | aaa=a, baab=1〉
8〈a, b | aab=b, aabb=1〉
8〈a, b | aab=b, abba=1〉
8〈a, b | aab=b, baab=1〉
8〈a, b | aab=b, bbaa=1〉
8〈a, b | aa=1, aaaabb=1〉
8〈a, b | aa=1, aaabba=1〉
8〈a, b | aa=1, aabaab=1〉
8〈a, b | aa=1, aabbaa=1〉
8〈a, b | aa=1, abaaba=1〉
8〈a, b | aa=1, baaaab=1〉
8〈a, b | aa=1, aaabb=a〉
8〈a, b | aa=1, aabba=a〉
8〈a, b | aa=1, abaab=a〉
8〈a, b | aa=1, aaaa=bb〉
8〈a, b | aa=1, aabb=aa〉
8〈a, b | aa=1, abba=aa〉
8〈a, b | aa=1, baab=aa〉
8〈a, b | aa=1, abb=aaa〉
10〈a, b | aaaa=aa, aabb=1〉
10〈a, b | aaaa=aa, abba=1〉
10〈a, b | aaaa=aa, baab=1〉
10〈a, b | aaab=ab, aabb=1〉
10〈a, b | aaab=ab, abba=1〉
10〈a, b | aaab=ab, baab=1〉
10〈a, b | aaab=ab, bbaa=1〉
10〈a, b | aaba=ba, aabb=1〉
10〈a, b | aaba=ba, abba=1〉
10〈a, b | aaba=ba, baab=1〉
10〈a, b | aaba=ba, bbaa=1〉
10〈a, b | aabb=aa, abba=1〉
10〈a, b | aabb=aa, baab=1〉
10〈a, b | aabb=aa, bbaa=1〉
10〈a, b | abba=aa, baab=1〉
10〈a, b | abba=aa, bbaa=1〉
10〈a, b | abba=bb, baab=1〉
10〈a, b | abba=bb, bbaa=1〉
10〈a, b | aabb=1, aaaabb=1〉
10〈a, b | aabb=1, aaabba=1〉
10〈a, b | aabb=1, aabaab=1〉
10〈a, b | aabb=1, aabbaa=1〉
10〈a, b | aabb=1, abaaba=1〉
10〈a, b | aabb=1, abbaaa=1〉
10〈a, b | aabb=1, abbbba=1〉
10〈a, b | aabb=1, baabaa=1〉
10〈a, b | aabb=1, bbaaaa=1〉
10〈a, b | abba=1, aaaabb=1〉
10〈a, b | abba=1, aaabba=1〉
10〈a, b | abba=1, aabaab=1〉
10〈a, b | abba=1, aabbaa=1〉
10〈a, b | abba=1, aabbbb=1〉
10〈a, b | abba=1, abaaba=1〉
10〈a, b | abba=1, abbabb=1〉
10〈a, b | abba=1, abbbba=1〉
10〈a, b | abba=1, baaaab=1〉
10〈a, b | abba=1, baabbb=1〉
10〈a, b | abba=1, babbab=1〉
10〈a, b | abba=1, bbaabb=1〉
10〈a, b | aaa=a, aaaabb=1〉
10〈a, b | aaa=a, aaabba=1〉
10〈a, b | aaa=a, aabaab=1〉
10〈a, b | aaa=a, aabbaa=1〉
10〈a, b | aaa=a, abaaba=1〉
10〈a, b | aaa=a, baaaab=1〉
10〈a, b | aab=b, aaaabb=1〉
10〈a, b | aab=b, aaabba=1〉
10〈a, b | aab=b, aabaab=1〉
10〈a, b | aab=b, aabbaa=1〉
10〈a, b | aab=b, abaaba=1〉
10〈a, b | aab=b, abbaaa=1〉
10〈a, b | aab=b, baaaab=1〉
10〈a, b | aab=b, baabaa=1〉
10〈a, b | aab=b, bbaaaa=1〉
10〈a, b | aa=1, aaaaaabb=1〉
10〈a, b | aa=1, aaaaabba=1〉
10〈a, b | aa=1, aaaabaab=1〉
10〈a, b | aa=1, aaaabbaa=1〉
10〈a, b | aa=1, aaabaaba=1〉
10〈a, b | aa=1, aaabbaaa=1〉
10〈a, b | aa=1, aabaaaab=1〉
10〈a, b | aa=1, aabaabaa=1〉
10〈a, b | aa=1, abaaaaba=1〉
10〈a, b | aa=1, baaaaaab=1〉
10〈a, b | aa=1, aaaaabb=a〉
10〈a, b | aa=1, aaaabba=a〉
10〈a, b | aa=1, aaabaab=a〉
10〈a, b | aa=1, aaabbaa=a〉
10〈a, b | aa=1, aabaaba=a〉
10〈a, b | aa=1, abaaaab=a〉
10〈a, b | aa=1, aaaaaa=bb〉
10〈a, b | aa=1, aaaabb=aa〉
10〈a, b | aa=1, aaabba=aa〉
10〈a, b | aa=1, aabaab=aa〉
10〈a, b | aa=1, aabbaa=aa〉
10〈a, b | aa=1, abaaba=aa〉
10〈a, b | aa=1, baaaab=aa〉
10〈a, b | aa=1, aaaaa=abb〉
10〈a, b | aa=1, aaabb=aaa〉
10〈a, b | aa=1, aabba=aaa〉
10〈a, b | aa=1, abaab=aaa〉
10〈a, b | aa=1, aabb=aaaa〉
10〈a, b | aa=1, abba=aaaa〉
10〈a, b | aa=1, baab=aaaa〉