Back

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

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

  1. ab ⇒ a2
  2. a4 ⇒ a

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

32 total

Length:Presentation:
9〈a, b | ab=aa, aaab=a〉
9〈a, b | ab=aa, aaba=a〉
9〈a, b | ab=aa, aabb=a〉
9〈a, b | ab=aa, abaa=a〉
9〈a, b | ab=aa, abab=a〉
9〈a, b | ab=aa, abba=a〉
9〈a, b | ab=aa, abbb=a〉
10〈a, b | aaaa=a, aaab=a〉
10〈a, b | aaab=a, aabb=a〉
10〈a, b | aaab=a, abab=a〉
10〈a, b | aaab=a, abba=a〉
10〈a, b | aaba=a, abab=a〉
11〈a, b | aab=aaa, aaaa=a〉
11〈a, b | aab=aaa, aaab=a〉
11〈a, b | aab=aaa, aaba=a〉
11〈a, b | aab=aaa, aabb=a〉
11〈a, b | aab=aaa, abaa=a〉
11〈a, b | aab=aaa, abab=a〉
11〈a, b | aba=aaa, aaab=a〉
11〈a, b | aba=aaa, abab=a〉
11〈a, b | abb=aab, aaab=a〉
11〈a, b | abb=aab, aabb=a〉
11〈a, b | abb=aab, abab=a〉
11〈a, b | abb=aba, aaab=a〉
11〈a, b | abb=aba, abab=a〉
11〈a, b | abb=aba, abbb=a〉
11〈a, b | abb=aba, baab=b〉
11〈a, b | abb=aba, baba=b〉
11〈a, b | abb=aba, babb=b〉
11〈a, b | abb=aba, bbaa=b〉
11〈a, b | abb=aba, bbab=b〉
11〈a, b | abb=aba, bbba=b〉