Back

〈a, b | ab=a, abb=a〉

Monoid presentation of length 7

Properties

Completion parameters

Complete rewriting system

  1. ab ⇒ a

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

68 total

Length:Presentation:
8〈a, b | ab=a, abbb=a〉
8〈a, b | ab=a, aab=aa〉
8〈a, b | ab=a, aba=aa〉
8〈a, b | ab=a, abb=ab〉
8〈a, b | ab=a, bab=ba〉
9〈a, b | ab=a, abbbb=a〉
9〈a, b | ab=a, aabb=aa〉
9〈a, b | ab=a, abab=aa〉
9〈a, b | ab=a, abba=aa〉
9〈a, b | ab=a, abbb=ab〉
9〈a, b | ab=a, babb=ba〉
9〈a, b | ab=a, aba=aab〉
10〈a, b | ab=a, abbbbb=a〉
10〈a, b | ab=a, aabbb=aa〉
10〈a, b | ab=a, ababb=aa〉
10〈a, b | ab=a, abbab=aa〉
10〈a, b | ab=a, abbba=aa〉
10〈a, b | ab=a, abbbb=ab〉
10〈a, b | ab=a, babbb=ba〉
10〈a, b | ab=a, aaab=aaa〉
10〈a, b | ab=a, aaba=aaa〉
10〈a, b | ab=a, aabb=aab〉
10〈a, b | ab=a, aabb=aba〉
10〈a, b | ab=a, abaa=aaa〉
10〈a, b | ab=a, abab=aab〉
10〈a, b | ab=a, abab=aba〉
10〈a, b | ab=a, abba=aab〉
10〈a, b | ab=a, abba=aba〉
10〈a, b | ab=a, abbb=abb〉
10〈a, b | ab=a, baab=baa〉
10〈a, b | ab=a, baba=baa〉
10〈a, b | ab=a, babb=bab〉
10〈a, b | ab=a, bbab=bba〉
11〈a, b | ab=a, abbbbbb=a〉
11〈a, b | ab=a, aabbbb=aa〉
11〈a, b | ab=a, ababbb=aa〉
11〈a, b | ab=a, abbabb=aa〉
11〈a, b | ab=a, abbbab=aa〉
11〈a, b | ab=a, abbbba=aa〉
11〈a, b | ab=a, abbbbb=ab〉
11〈a, b | ab=a, babbbb=ba〉
11〈a, b | ab=a, aaabb=aaa〉
11〈a, b | ab=a, aabab=aaa〉
11〈a, b | ab=a, aabba=aaa〉
11〈a, b | ab=a, aabbb=aab〉
11〈a, b | ab=a, aabbb=aba〉
11〈a, b | ab=a, abaab=aaa〉
11〈a, b | ab=a, ababa=aaa〉
11〈a, b | ab=a, ababb=aab〉
11〈a, b | ab=a, ababb=aba〉
11〈a, b | ab=a, abbaa=aaa〉
11〈a, b | ab=a, abbab=aab〉
11〈a, b | ab=a, abbab=aba〉
11〈a, b | ab=a, abbba=aab〉
11〈a, b | ab=a, abbba=aba〉
11〈a, b | ab=a, abbbb=abb〉
11〈a, b | ab=a, baabb=baa〉
11〈a, b | ab=a, babab=baa〉
11〈a, b | ab=a, babba=baa〉
11〈a, b | ab=a, babbb=bab〉
11〈a, b | ab=a, bbabb=bba〉
11〈a, b | ab=a, aaba=aaab〉
11〈a, b | ab=a, abaa=aaab〉
11〈a, b | ab=a, abaa=aaba〉
11〈a, b | ab=a, abab=aabb〉
11〈a, b | ab=a, abba=aabb〉
11〈a, b | ab=a, abba=abab〉
11〈a, b | ab=a, baba=baab〉