Back

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

Monoid presentation of length 8

Properties

Completion parameters

Complete rewriting system

  1. ab ⇒ a
  2. ba2 ⇒ a2

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

34 total

Length:Presentation:
9〈a, b | ab=a, baab=aa〉
9〈a, b | ab=a, baba=aa〉
9〈a, b | ab=a, baa=aab〉
9〈a, b | ab=a, baa=aba〉
10〈a, b | ab=a, baabb=aa〉
10〈a, b | ab=a, babab=aa〉
10〈a, b | ab=a, babba=aa〉
10〈a, b | ab=a, aabb=baa〉
10〈a, b | ab=a, abab=baa〉
10〈a, b | ab=a, abba=baa〉
10〈a, b | ab=a, baab=aab〉
10〈a, b | ab=a, baab=aba〉
10〈a, b | ab=a, baba=aab〉
10〈a, b | ab=a, baba=aba〉
11〈a, b | ab=a, baabbb=aa〉
11〈a, b | ab=a, bababb=aa〉
11〈a, b | ab=a, babbab=aa〉
11〈a, b | ab=a, babbba=aa〉
11〈a, b | ab=a, aabbb=baa〉
11〈a, b | ab=a, ababb=baa〉
11〈a, b | ab=a, abbab=baa〉
11〈a, b | ab=a, abbba=baa〉
11〈a, b | ab=a, baabb=aab〉
11〈a, b | ab=a, baabb=aba〉
11〈a, b | ab=a, babab=aab〉
11〈a, b | ab=a, babab=aba〉
11〈a, b | ab=a, babba=aab〉
11〈a, b | ab=a, babba=aba〉
11〈a, b | ab=a, baab=aabb〉
11〈a, b | ab=a, baab=abab〉
11〈a, b | ab=a, baab=abba〉
11〈a, b | ab=a, baba=aabb〉
11〈a, b | ab=a, baba=abab〉
11〈a, b | ab=a, baba=abba〉