Back

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

Monoid presentation of length 11

Properties

Completion parameters

Complete rewriting system

  1. ab ⇒ a2
  2. a4 ⇒ a3

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

31 total

Length:Presentation:
11〈a, b | ab=aa, aaaa=aab〉
11〈a, b | ab=aa, aaaa=aba〉
11〈a, b | ab=aa, aaaa=abb〉
11〈a, b | ab=aa, aaab=aaa〉
11〈a, b | ab=aa, aaab=aab〉
11〈a, b | ab=aa, aaab=aba〉
11〈a, b | ab=aa, aaab=abb〉
11〈a, b | ab=aa, aaba=aaa〉
11〈a, b | ab=aa, aaba=aab〉
11〈a, b | ab=aa, aaba=aba〉
11〈a, b | ab=aa, aaba=abb〉
11〈a, b | ab=aa, aabb=aaa〉
11〈a, b | ab=aa, aabb=aab〉
11〈a, b | ab=aa, aabb=aba〉
11〈a, b | ab=aa, aabb=abb〉
11〈a, b | ab=aa, abaa=aaa〉
11〈a, b | ab=aa, abaa=aab〉
11〈a, b | ab=aa, abaa=aba〉
11〈a, b | ab=aa, abaa=abb〉
11〈a, b | ab=aa, abab=aaa〉
11〈a, b | ab=aa, abab=aab〉
11〈a, b | ab=aa, abab=aba〉
11〈a, b | ab=aa, abab=abb〉
11〈a, b | ab=aa, abba=aaa〉
11〈a, b | ab=aa, abba=aab〉
11〈a, b | ab=aa, abba=aba〉
11〈a, b | ab=aa, abba=abb〉
11〈a, b | ab=aa, abbb=aaa〉
11〈a, b | ab=aa, abbb=aab〉
11〈a, b | ab=aa, abbb=aba〉
11〈a, b | ab=aa, abbb=abb〉