Back

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

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

  1. ab ⇒ a
  2. a4 ⇒ a2

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

27 total

Length:Presentation:
10〈a, b | ab=a, aaaab=aa〉
10〈a, b | ab=a, aaaba=aa〉
10〈a, b | ab=a, aabaa=aa〉
10〈a, b | ab=a, abaaa=aa〉
10〈a, b | ab=a, aaaa=aab〉
10〈a, b | ab=a, aaaa=aba〉
11〈a, b | ab=a, aaaabb=aa〉
11〈a, b | ab=a, aaabab=aa〉
11〈a, b | ab=a, aaabba=aa〉
11〈a, b | ab=a, aabaab=aa〉
11〈a, b | ab=a, aababa=aa〉
11〈a, b | ab=a, aabbaa=aa〉
11〈a, b | ab=a, abaaab=aa〉
11〈a, b | ab=a, abaaba=aa〉
11〈a, b | ab=a, ababaa=aa〉
11〈a, b | ab=a, abbaaa=aa〉
11〈a, b | ab=a, aaaab=aab〉
11〈a, b | ab=a, aaaab=aba〉
11〈a, b | ab=a, aaaba=aab〉
11〈a, b | ab=a, aaaba=aba〉
11〈a, b | ab=a, aabaa=aab〉
11〈a, b | ab=a, aabaa=aba〉
11〈a, b | ab=a, abaaa=aab〉
11〈a, b | ab=a, abaaa=aba〉
11〈a, b | ab=a, aabb=aaaa〉
11〈a, b | ab=a, abab=aaaa〉
11〈a, b | ab=a, abba=aaaa〉