Back

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

Monoid presentation of length 6

Properties

Completion parameters

Complete rewriting system

  1. a2 ⇒ 1

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

42 total

Length:Presentation:
6〈a, b | aa=1, aaa=a〉
6〈a, b | aa=1, aab=b〉
8〈a, b | aaa=a, aaaa=1〉
8〈a, b | aa=1, aaaaaa=1〉
8〈a, b | aa=1, aaaaa=a〉
8〈a, b | aa=1, aaaab=b〉
8〈a, b | aa=1, aabaa=b〉
8〈a, b | aa=1, aaaa=aa〉
8〈a, b | aa=1, aaab=ab〉
8〈a, b | aa=1, aaba=ba〉
8〈a, b | aa=1, aabb=bb〉
8〈a, b | aa=1, baab=bb〉
8〈a, b | aa=1, baa=aab〉
10〈a, b | aaaa=1, aaaaaa=1〉
10〈a, b | aaa=a, aaaaaa=1〉
10〈a, b | aa=1, aaaaaaaa=1〉
10〈a, b | aa=1, aaaaaaa=a〉
10〈a, b | aa=1, aaaaaab=b〉
10〈a, b | aa=1, aaaabaa=b〉
10〈a, b | aa=1, aaaaaa=aa〉
10〈a, b | aa=1, aaaaab=ab〉
10〈a, b | aa=1, aaaaba=ba〉
10〈a, b | aa=1, aaaabb=bb〉
10〈a, b | aa=1, aaabaa=ab〉
10〈a, b | aa=1, aabaab=bb〉
10〈a, b | aa=1, aabbaa=bb〉
10〈a, b | aa=1, baaaab=bb〉
10〈a, b | aa=1, aaaaa=aaa〉
10〈a, b | aa=1, aaaab=aab〉
10〈a, b | aa=1, aaaab=baa〉
10〈a, b | aa=1, aaaba=aba〉
10〈a, b | aa=1, aaabb=abb〉
10〈a, b | aa=1, aabaa=aab〉
10〈a, b | aa=1, aabab=bab〉
10〈a, b | aa=1, aabba=bba〉
10〈a, b | aa=1, aabbb=bbb〉
10〈a, b | aa=1, abaab=abb〉
10〈a, b | aa=1, baaab=bab〉
10〈a, b | aa=1, baabb=bbb〉
10〈a, b | aa=1, abaa=aaab〉
10〈a, b | aa=1, baab=aabb〉
10〈a, b | aa=1, bbaa=aabb〉