Back

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

Monoid presentation of length 7

Properties

Completion parameters

Complete rewriting system

  1. a2 ⇒ a

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

31 total

Length:Presentation:
8〈a, b | aa=a, aaaa=a〉
8〈a, b | aa=a, aaa=aa〉
8〈a, b | aa=a, aab=ab〉
9〈a, b | aaa=a, aaaa=a〉
9〈a, b | aa=a, aaaaa=a〉
9〈a, b | aa=a, aaaa=aa〉
9〈a, b | aa=a, aaab=ab〉
10〈a, b | aaa=aa, aaaa=a〉
10〈a, b | aa=a, aaaaaa=a〉
10〈a, b | aa=a, aaaaa=aa〉
10〈a, b | aa=a, aaaab=ab〉
10〈a, b | aa=a, aaaa=aaa〉
10〈a, b | aa=a, aaab=aab〉
10〈a, b | aa=a, aaba=aba〉
10〈a, b | aa=a, aabb=abb〉
10〈a, b | aa=a, baab=bab〉
11〈a, b | aaaa=a, aaaaa=a〉
11〈a, b | aaa=aa, aaaaa=a〉
11〈a, b | aaa=a, aaaaaa=a〉
11〈a, b | aaa=a, aaaaa=aa〉
11〈a, b | aaa=a, aaaa=aaa〉
11〈a, b | aa=a, aaaaaaa=a〉
11〈a, b | aa=a, aaaaaa=aa〉
11〈a, b | aa=a, aaaaab=ab〉
11〈a, b | aa=a, aaaaa=aaa〉
11〈a, b | aa=a, aaaab=aab〉
11〈a, b | aa=a, aaaba=aba〉
11〈a, b | aa=a, aaabb=abb〉
11〈a, b | aa=a, aabaa=aba〉
11〈a, b | aa=a, baaab=bab〉
11〈a, b | aa=a, abaa=aaba〉