Back

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

Monoid presentation of length 11

Properties

Completion parameters

Complete rewriting system

  1. ab ⇒ a2
  2. a6 ⇒ a

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

31 total

Length:Presentation:
11〈a, b | ab=aa, aaaaab=a〉
11〈a, b | ab=aa, aaaaba=a〉
11〈a, b | ab=aa, aaaabb=a〉
11〈a, b | ab=aa, aaabaa=a〉
11〈a, b | ab=aa, aaabab=a〉
11〈a, b | ab=aa, aaabba=a〉
11〈a, b | ab=aa, aaabbb=a〉
11〈a, b | ab=aa, aabaaa=a〉
11〈a, b | ab=aa, aabaab=a〉
11〈a, b | ab=aa, aababa=a〉
11〈a, b | ab=aa, aababb=a〉
11〈a, b | ab=aa, aabbaa=a〉
11〈a, b | ab=aa, aabbab=a〉
11〈a, b | ab=aa, aabbba=a〉
11〈a, b | ab=aa, aabbbb=a〉
11〈a, b | ab=aa, abaaaa=a〉
11〈a, b | ab=aa, abaaab=a〉
11〈a, b | ab=aa, abaaba=a〉
11〈a, b | ab=aa, abaabb=a〉
11〈a, b | ab=aa, ababaa=a〉
11〈a, b | ab=aa, ababab=a〉
11〈a, b | ab=aa, ababba=a〉
11〈a, b | ab=aa, ababbb=a〉
11〈a, b | ab=aa, abbaaa=a〉
11〈a, b | ab=aa, abbaab=a〉
11〈a, b | ab=aa, abbaba=a〉
11〈a, b | ab=aa, abbabb=a〉
11〈a, b | ab=aa, abbbaa=a〉
11〈a, b | ab=aa, abbbab=a〉
11〈a, b | ab=aa, abbbba=a〉
11〈a, b | ab=aa, abbbbb=a〉