Back

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

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

  1. ab ⇒ a
  2. a3 ⇒ a2
  3. ba2 ⇒ a2

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

20 total

Length:Presentation:
10〈a, b | ab=a, baaab=aa〉
10〈a, b | ab=a, baaba=aa〉
10〈a, b | ab=a, babaa=aa〉
10〈a, b | ab=a, baaa=aab〉
10〈a, b | ab=a, baaa=aba〉
11〈a, b | ab=a, baaabb=aa〉
11〈a, b | ab=a, baabab=aa〉
11〈a, b | ab=a, baabba=aa〉
11〈a, b | ab=a, babaab=aa〉
11〈a, b | ab=a, bababa=aa〉
11〈a, b | ab=a, babbaa=aa〉
11〈a, b | ab=a, baaab=aab〉
11〈a, b | ab=a, baaab=aba〉
11〈a, b | ab=a, baaba=aab〉
11〈a, b | ab=a, baaba=aba〉
11〈a, b | ab=a, babaa=aab〉
11〈a, b | ab=a, babaa=aba〉
11〈a, b | ab=a, baaa=aabb〉
11〈a, b | ab=a, baaa=abab〉
11〈a, b | ab=a, baaa=abba〉