Back

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

Monoid presentation of length 11

Properties

Completion parameters

Complete rewriting system

  1. ab ⇒ a2
  2. ba3 ⇒ a3
  3. a5 ⇒ a4

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

15 total

Length:Presentation:
11〈a, b | ab=aa, baaa=aab〉
11〈a, b | ab=aa, baaa=aba〉
11〈a, b | ab=aa, baaa=abb〉
11〈a, b | ab=aa, baab=aaa〉
11〈a, b | ab=aa, baab=aab〉
11〈a, b | ab=aa, baab=aba〉
11〈a, b | ab=aa, baab=abb〉
11〈a, b | ab=aa, baba=aaa〉
11〈a, b | ab=aa, baba=aab〉
11〈a, b | ab=aa, baba=aba〉
11〈a, b | ab=aa, baba=abb〉
11〈a, b | ab=aa, babb=aaa〉
11〈a, b | ab=aa, babb=aab〉
11〈a, b | ab=aa, babb=aba〉
11〈a, b | ab=aa, babb=abb〉