Back

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

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

  1. a4 ⇒ a
  2. ab ⇒ a3

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

45 total

Length:Presentation:
9〈a, b | aaa=ab, aba=a〉
9〈a, b | aab=a, aaaa=a〉
9〈a, b | aab=a, abbb=a〉
10〈a, b | aaa=ab, aaaa=a〉
11〈a, b | aabb=ab, abbb=a〉
11〈a, b | abba=ab, abbb=a〉
11〈a, b | aab=a, aaaaab=a〉
11〈a, b | aab=a, aaaaba=a〉
11〈a, b | aab=a, aaabaa=a〉
11〈a, b | aab=a, aabaaa=a〉
11〈a, b | aab=a, aabbbb=a〉
11〈a, b | aab=a, abaaaa=a〉
11〈a, b | aab=a, ababbb=a〉
11〈a, b | aab=a, abbabb=a〉
11〈a, b | aab=a, abbbab=a〉
11〈a, b | aab=a, abbbba=a〉
11〈a, b | aba=a, aaaaab=a〉
11〈a, b | aba=a, abbbab=a〉
11〈a, b | aab=a, aaaaa=aa〉
11〈a, b | aab=a, aaaab=ab〉
11〈a, b | aab=a, aaaba=ab〉
11〈a, b | aab=a, aabaa=ab〉
11〈a, b | aab=a, aabbb=aa〉
11〈a, b | aab=a, abaaa=ab〉
11〈a, b | aab=a, ababb=aa〉
11〈a, b | aab=a, abbab=aa〉
11〈a, b | aab=a, abbba=aa〉
11〈a, b | aab=a, abbbb=ab〉
11〈a, b | aab=a, baaaa=ba〉
11〈a, b | aab=a, babbb=ba〉
11〈a, b | aba=a, aaaba=ab〉
11〈a, b | aba=a, aabaa=ab〉
11〈a, b | aab=a, aaaa=aab〉
11〈a, b | aab=a, aaaa=aba〉
11〈a, b | aab=a, aaab=abb〉
11〈a, b | aab=a, aaba=abb〉
11〈a, b | aab=a, aabb=aaa〉
11〈a, b | aab=a, abaa=abb〉
11〈a, b | aab=a, abab=aaa〉
11〈a, b | aab=a, abba=aaa〉
11〈a, b | aab=a, abbb=aab〉
11〈a, b | aab=a, abbb=aba〉
11〈a, b | aab=a, baaa=bab〉
11〈a, b | aab=a, babb=baa〉
11〈a, b | aba=a, abab=aaa〉

Other anti-isomorphic instances

5 total

Length:Presentation:
9〈a, b | aab=bb, abb=b〉
10〈a, b | aab=bb, aaab=b〉
11〈a, b | abbb=bb, bbbb=b〉
11〈a, b | aba=a, aaaba=ba〉
11〈a, b | aba=a, aaab=bab〉