Back

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

Monoid presentation of length 5

Properties

Completion parameters

Complete rewriting system

  1. a ⇒ 1

Right Cayley graph (truncated)

Other isomorphic instances

98 total

Length:Presentation:
6〈a, b | aa=a, aaa=1〉
7〈a, b | ba=ab, bb=a〉
7〈a, b | aaa=1, aaaa=1〉
7〈a, b | aa=a, aaaa=1〉
7〈a, b | aa=1, aaaaa=1〉
7〈a, b | aa=1, aaaa=a〉
7〈a, b | aa=1, aaa=aa〉
8〈a, b | ba=ab, aaa=b〉
8〈a, b | aaa=1, aaaaa=1〉
8〈a, b | aa=a, aaaaa=1〉
8〈a, b | aa=b, aaa=ab〉
8〈a, b | aa=b, aab=bb〉
8〈a, b | aa=b, aba=bb〉
9〈a, b | aaa=aa, aaaa=1〉
9〈a, b | aaaa=1, aaaaa=1〉
9〈a, b | aaa=a, aaaaa=1〉
9〈a, b | ba=ab, aaaa=b〉
9〈a, b | aaa=1, aaaaa=a〉
9〈a, b | aaa=1, aaaa=aa〉
9〈a, b | aa=a, aaaaaa=1〉
9〈a, b | aa=b, aaaa=bb〉
9〈a, b | aa=b, aba=aab〉
9〈a, b | aa=b, baa=aab〉
9〈a, b | aa=b, bab=abb〉
9〈a, b | aa=b, bba=abb〉
9〈a, b | aa=1, aaaaaaa=1〉
9〈a, b | aa=1, aaaaaa=a〉
9〈a, b | aa=1, aaaaa=aa〉
9〈a, b | aa=1, aaaa=aaa〉
10〈a, b | aba=aab, bbb=a〉
10〈a, b | baa=aab, bbb=a〉
10〈a, b | bab=abb, bbb=a〉
10〈a, b | bba=abb, bbb=a〉
10〈a, b | aaaa=a, aaaaa=1〉
10〈a, b | aaa=aa, aaaaa=1〉
10〈a, b | aaa=b, aaaa=ab〉
10〈a, b | aaa=b, aaab=bb〉
10〈a, b | aaa=b, aaba=bb〉
10〈a, b | ba=ab, aaaaa=b〉
10〈a, b | aaa=1, aaaaaaa=1〉
10〈a, b | aaa=1, aaaaaa=a〉
10〈a, b | aaa=1, aaaa=aaa〉
10〈a, b | aa=a, aaaaaaa=1〉
10〈a, b | aa=b, aaaa=aab〉
10〈a, b | aa=b, aaaa=aba〉
10〈a, b | aa=b, aaab=abb〉
10〈a, b | aa=b, aaab=bab〉
10〈a, b | aa=b, aaab=bba〉
10〈a, b | aa=b, aaba=abb〉
10〈a, b | aa=b, aaba=bab〉
10〈a, b | aa=b, aaba=bba〉
10〈a, b | aa=b, aabb=bbb〉
10〈a, b | aa=b, abab=bbb〉
10〈a, b | aa=b, abba=bbb〉
10〈a, b | aa=b, baab=bbb〉
11〈a, b | aaaa=aa, aaaaa=1〉
11〈a, b | aba=aab, aaaa=b〉
11〈a, b | aba=aab, bbbb=a〉
11〈a, b | baa=aab, aaaa=b〉
11〈a, b | baa=aab, bbbb=a〉
11〈a, b | aaaaa=1, aaaaaa=1〉
11〈a, b | aaa=aa, aaaaaa=1〉
11〈a, b | aaaa=1, aaaaaaa=1〉
11〈a, b | aaaa=1, aaaaaa=a〉
11〈a, b | aaaa=1, aaaaa=aa〉
11〈a, b | aaa=a, aaaaaaa=1〉
11〈a, b | ba=ab, aaaaaa=b〉
11〈a, b | aaa=1, aaaaaaaa=1〉
11〈a, b | aaa=1, aaaaaa=aa〉
11〈a, b | aaa=1, aaaaa=aaa〉
11〈a, b | aa=a, aaaaaaaa=1〉
11〈a, b | aa=b, aaaaa=abb〉
11〈a, b | aa=b, aaaaa=bab〉
11〈a, b | aa=b, aaaab=bbb〉
11〈a, b | aa=b, aaaba=bbb〉
11〈a, b | aa=b, aabaa=bbb〉
11〈a, b | aa=b, aaba=aaab〉
11〈a, b | aa=b, abaa=aaab〉
11〈a, b | aa=b, abaa=aaba〉
11〈a, b | aa=b, abab=aabb〉
11〈a, b | aa=b, abba=aabb〉
11〈a, b | aa=b, abba=abab〉
11〈a, b | aa=b, baaa=aaab〉
11〈a, b | aa=b, baab=aabb〉
11〈a, b | aa=b, baab=abab〉
11〈a, b | aa=b, baab=abba〉
11〈a, b | aa=b, baba=aabb〉
11〈a, b | aa=b, baba=abab〉
11〈a, b | aa=b, babb=abbb〉
11〈a, b | aa=b, bbaa=aabb〉
11〈a, b | aa=b, bbab=abbb〉
11〈a, b | aa=b, bbab=babb〉
11〈a, b | aa=b, bbba=abbb〉
11〈a, b | aa=1, aaaaaaaaa=1〉
11〈a, b | aa=1, aaaaaaaa=a〉
11〈a, b | aa=1, aaaaaaa=aa〉
11〈a, b | aa=1, aaaaaa=aaa〉
11〈a, b | aa=1, aaaaa=aaaa〉