Back

〈a, b | ab=a, baa=aaa〉

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

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

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

20 total

Length:Presentation:
10〈a, b | ab=a, aaab=baa〉
10〈a, b | ab=a, aaba=baa〉
10〈a, b | ab=a, abaa=baa〉
10〈a, b | ab=a, baab=aaa〉
10〈a, b | ab=a, baba=aaa〉
11〈a, b | ab=a, aaabb=baa〉
11〈a, b | ab=a, aabab=baa〉
11〈a, b | ab=a, aabba=baa〉
11〈a, b | ab=a, abaab=baa〉
11〈a, b | ab=a, ababa=baa〉
11〈a, b | ab=a, abbaa=baa〉
11〈a, b | ab=a, baabb=aaa〉
11〈a, b | ab=a, babab=aaa〉
11〈a, b | ab=a, babba=aaa〉
11〈a, b | ab=a, baab=aaab〉
11〈a, b | ab=a, baab=aaba〉
11〈a, b | ab=a, baab=abaa〉
11〈a, b | ab=a, baba=aaab〉
11〈a, b | ab=a, baba=aaba〉
11〈a, b | ab=a, baba=abaa〉