Back

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

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

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

Right Cayley graph (truncated)

Other isomorphic instances

39 total

Length:Presentation:
9〈a, b | aba=bb, abb=b〉
9〈a, b | aba=bb, bab=b〉
9〈a, b | aab=a, babb=a〉
10〈a, b | aba=bb, aaba=b〉
11〈a, b | aabb=ab, babb=a〉
11〈a, b | aabb=ba, abaa=b〉
11〈a, b | abab=ba, babb=a〉
11〈a, b | abab=ba, bbab=a〉
11〈a, b | abba=ab, babb=a〉
11〈a, b | baab=ab, bbab=a〉
11〈a, b | aab=a, baaaaa=a〉
11〈a, b | aab=a, baabbb=a〉
11〈a, b | aab=a, bababb=a〉
11〈a, b | aab=a, babbab=a〉
11〈a, b | aab=a, babbba=a〉
11〈a, b | aba=a, babbab=a〉
11〈a, b | aab=a, aaaab=ba〉
11〈a, b | aab=a, aaaba=ba〉
11〈a, b | aab=a, aabaa=ba〉
11〈a, b | aab=a, abaaa=ba〉
11〈a, b | aab=a, abbbb=ba〉
11〈a, b | aab=a, baaaa=ab〉
11〈a, b | aab=a, baabb=aa〉
11〈a, b | aab=a, babab=aa〉
11〈a, b | aab=a, babba=aa〉
11〈a, b | aab=a, babbb=ab〉
11〈a, b | aba=a, aaaab=ba〉
11〈a, b | aba=a, babab=aa〉
11〈a, b | aab=a, aaaa=baa〉
11〈a, b | aab=a, aaab=bab〉
11〈a, b | aab=a, aaba=bab〉
11〈a, b | aab=a, abaa=bab〉
11〈a, b | aab=a, abbb=baa〉
11〈a, b | aab=a, baaa=abb〉
11〈a, b | aab=a, baab=aaa〉
11〈a, b | aab=a, baba=aaa〉
11〈a, b | aab=a, babb=aab〉
11〈a, b | aab=a, babb=aba〉
11〈a, b | aba=a, aaba=bab〉