Back

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

Monoid presentation of length 11

Properties

Completion parameters

Complete rewriting system

  1. ab ⇒ a2
  2. a5 ⇒ a2

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

31 total

Length:Presentation:
11〈a, b | ab=aa, aaaaa=ab〉
11〈a, b | ab=aa, aaaab=aa〉
11〈a, b | ab=aa, aaaab=ab〉
11〈a, b | ab=aa, aaaba=aa〉
11〈a, b | ab=aa, aaaba=ab〉
11〈a, b | ab=aa, aaabb=aa〉
11〈a, b | ab=aa, aaabb=ab〉
11〈a, b | ab=aa, aabaa=aa〉
11〈a, b | ab=aa, aabaa=ab〉
11〈a, b | ab=aa, aabab=aa〉
11〈a, b | ab=aa, aabab=ab〉
11〈a, b | ab=aa, aabba=aa〉
11〈a, b | ab=aa, aabba=ab〉
11〈a, b | ab=aa, aabbb=aa〉
11〈a, b | ab=aa, aabbb=ab〉
11〈a, b | ab=aa, abaaa=aa〉
11〈a, b | ab=aa, abaaa=ab〉
11〈a, b | ab=aa, abaab=aa〉
11〈a, b | ab=aa, abaab=ab〉
11〈a, b | ab=aa, ababa=aa〉
11〈a, b | ab=aa, ababa=ab〉
11〈a, b | ab=aa, ababb=aa〉
11〈a, b | ab=aa, ababb=ab〉
11〈a, b | ab=aa, abbaa=aa〉
11〈a, b | ab=aa, abbaa=ab〉
11〈a, b | ab=aa, abbab=aa〉
11〈a, b | ab=aa, abbab=ab〉
11〈a, b | ab=aa, abbba=aa〉
11〈a, b | ab=aa, abbba=ab〉
11〈a, b | ab=aa, abbbb=aa〉
11〈a, b | ab=aa, abbbb=ab〉