Back

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

Monoid presentation of length 8

Properties

Completion parameters

Complete rewriting system

  1. ab ⇒ a2
  2. a3 ⇒ a

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

35 total

Length:Presentation:
8〈a, b | aab=a, abb=a〉
8〈a, b | ab=aa, aaa=a〉
8〈a, b | ab=aa, aab=a〉
8〈a, b | ab=aa, aba=a〉
8〈a, b | ab=aa, abb=a〉
10〈a, b | abb=aba, bab=b〉
10〈a, b | abb=aba, bba=b〉
10〈a, b | bab=baa, bba=b〉
10〈a, b | aaa=a, aaaab=a〉
10〈a, b | aab=a, aaaab=a〉
10〈a, b | aab=a, aaaba=a〉
10〈a, b | aab=a, aabaa=a〉
10〈a, b | aab=a, aabbb=a〉
10〈a, b | aab=a, abaaa=a〉
10〈a, b | aab=a, ababb=a〉
10〈a, b | aab=a, abbab=a〉
10〈a, b | aab=a, abbba=a〉
10〈a, b | aba=a, aaaab=a〉
10〈a, b | aba=a, abbab=a〉
10〈a, b | aaa=a, aaaa=ab〉
10〈a, b | aaa=a, aaab=aa〉
10〈a, b | aab=a, aaaa=aa〉
10〈a, b | aab=a, aaab=ab〉
10〈a, b | aab=a, aaba=ab〉
10〈a, b | aab=a, aabb=aa〉
10〈a, b | aab=a, abaa=ab〉
10〈a, b | aab=a, abab=aa〉
10〈a, b | aab=a, abba=aa〉
10〈a, b | aab=a, abbb=ab〉
10〈a, b | aab=a, baaa=ba〉
10〈a, b | aab=a, babb=ba〉
10〈a, b | aba=a, aaba=ab〉
10〈a, b | aba=a, abab=aa〉
10〈a, b | aaa=a, aab=aaa〉
10〈a, b | aab=a, abb=aab〉