Back

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

Monoid presentation of length 8

Properties

Completion parameters

Complete rewriting system

  1. ab ⇒ a
  2. a3 ⇒ a2

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

55 total

Length:Presentation:
9〈a, b | ab=a, aaab=aa〉
9〈a, b | ab=a, aaba=aa〉
9〈a, b | ab=a, abaa=aa〉
9〈a, b | ab=a, aab=aaa〉
9〈a, b | ab=a, aba=aaa〉
10〈a, b | ab=a, aaabb=aa〉
10〈a, b | ab=a, aabab=aa〉
10〈a, b | ab=a, aabba=aa〉
10〈a, b | ab=a, abaab=aa〉
10〈a, b | ab=a, ababa=aa〉
10〈a, b | ab=a, abbaa=aa〉
10〈a, b | ab=a, aaab=aab〉
10〈a, b | ab=a, aaab=aba〉
10〈a, b | ab=a, aaba=aab〉
10〈a, b | ab=a, aaba=aba〉
10〈a, b | ab=a, aabb=aaa〉
10〈a, b | ab=a, abaa=aab〉
10〈a, b | ab=a, abaa=aba〉
10〈a, b | ab=a, abab=aaa〉
10〈a, b | ab=a, abba=aaa〉
11〈a, b | ab=a, aaabbb=aa〉
11〈a, b | ab=a, aababb=aa〉
11〈a, b | ab=a, aabbab=aa〉
11〈a, b | ab=a, aabbba=aa〉
11〈a, b | ab=a, abaabb=aa〉
11〈a, b | ab=a, ababab=aa〉
11〈a, b | ab=a, ababba=aa〉
11〈a, b | ab=a, abbaab=aa〉
11〈a, b | ab=a, abbaba=aa〉
11〈a, b | ab=a, abbbaa=aa〉
11〈a, b | ab=a, aaabb=aab〉
11〈a, b | ab=a, aaabb=aba〉
11〈a, b | ab=a, aabab=aab〉
11〈a, b | ab=a, aabab=aba〉
11〈a, b | ab=a, aabba=aab〉
11〈a, b | ab=a, aabba=aba〉
11〈a, b | ab=a, aabbb=aaa〉
11〈a, b | ab=a, abaab=aab〉
11〈a, b | ab=a, abaab=aba〉
11〈a, b | ab=a, ababa=aab〉
11〈a, b | ab=a, ababa=aba〉
11〈a, b | ab=a, ababb=aaa〉
11〈a, b | ab=a, abbaa=aab〉
11〈a, b | ab=a, abbaa=aba〉
11〈a, b | ab=a, abbab=aaa〉
11〈a, b | ab=a, abbba=aaa〉
11〈a, b | ab=a, aabb=aaab〉
11〈a, b | ab=a, aabb=aaba〉
11〈a, b | ab=a, abaa=aabb〉
11〈a, b | ab=a, abab=aaab〉
11〈a, b | ab=a, abab=aaba〉
11〈a, b | ab=a, abab=abaa〉
11〈a, b | ab=a, abba=aaab〉
11〈a, b | ab=a, abba=aaba〉
11〈a, b | ab=a, abba=abaa〉