Back

〈a, b | aa=a, aba=a〉

Monoid presentation of length 7

Properties

Completion parameters

Complete rewriting system

  1. a2 ⇒ a
  2. aba ⇒ a

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

45 total

Length:Presentation:
8〈a, b | aa=a, aaba=a〉
8〈a, b | aa=a, aba=aa〉
9〈a, b | aab=ab, aba=a〉
9〈a, b | aba=a, aaba=a〉
9〈a, b | aa=a, aaaba=a〉
9〈a, b | aa=a, aabaa=a〉
9〈a, b | aa=a, aaba=aa〉
9〈a, b | aa=a, aba=aaa〉
10〈a, b | aaa=aa, aaba=a〉
10〈a, b | aab=ab, aaba=a〉
10〈a, b | aab=ab, abaa=a〉
10〈a, b | aa=a, aaaaba=a〉
10〈a, b | aa=a, aaabaa=a〉
10〈a, b | aa=a, aaaba=aa〉
10〈a, b | aa=a, aabaa=aa〉
10〈a, b | aa=a, aaaa=aba〉
10〈a, b | aa=a, aaba=aaa〉
11〈a, b | aaba=aa, abaa=a〉
11〈a, b | abab=ab, babb=b〉
11〈a, b | abab=ab, bbab=b〉
11〈a, b | aaba=a, aaaba=a〉
11〈a, b | aaba=a, aabaa=a〉
11〈a, b | aaba=a, abaaa=a〉
11〈a, b | aaa=aa, aaaba=a〉
11〈a, b | aaa=aa, aabaa=a〉
11〈a, b | aab=ab, aaaba=a〉
11〈a, b | aab=ab, aabaa=a〉
11〈a, b | aab=ab, abaaa=a〉
11〈a, b | aba=a, aababa=a〉
11〈a, b | aba=a, abaaba=a〉
11〈a, b | aba=a, aabab=ab〉
11〈a, b | aba=a, abaab=ab〉
11〈a, b | aba=a, ababa=aa〉
11〈a, b | aba=a, aaba=aba〉
11〈a, b | aba=a, abab=aab〉
11〈a, b | aba=a, baab=bab〉
11〈a, b | aa=a, aaaaaba=a〉
11〈a, b | aa=a, aaaabaa=a〉
11〈a, b | aa=a, aaabaaa=a〉
11〈a, b | aa=a, aaaaba=aa〉
11〈a, b | aa=a, aaabaa=aa〉
11〈a, b | aa=a, aaaaa=aba〉
11〈a, b | aa=a, aaaba=aaa〉
11〈a, b | aa=a, aabaa=aaa〉
11〈a, b | aa=a, aaba=aaaa〉