Back

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

Monoid presentation of length 8

Properties

Completion parameters

Complete rewriting system

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

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

19 total

Length:Presentation:
9〈a, b | ab=a, baab=ba〉
9〈a, b | ab=a, baba=ba〉
9〈a, b | ab=a, bab=baa〉
10〈a, b | ab=a, baabb=ba〉
10〈a, b | ab=a, babab=ba〉
10〈a, b | ab=a, babba=ba〉
10〈a, b | ab=a, baab=bab〉
10〈a, b | ab=a, baba=bab〉
10〈a, b | ab=a, babb=baa〉
11〈a, b | ab=a, baabbb=ba〉
11〈a, b | ab=a, bababb=ba〉
11〈a, b | ab=a, babbab=ba〉
11〈a, b | ab=a, babbba=ba〉
11〈a, b | ab=a, baabb=bab〉
11〈a, b | ab=a, babab=bab〉
11〈a, b | ab=a, babba=bab〉
11〈a, b | ab=a, babbb=baa〉
11〈a, b | ab=a, babb=baab〉
11〈a, b | ab=a, babb=baba〉