Back

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

Monoid presentation of length 8

Properties

Completion parameters

Complete rewriting system

  1. a2 ⇒ a
  2. aba ⇒ ab
  3. ab2 ⇒ a

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

45 total

Length:Presentation:
9〈a, b | aba=ab, abb=a〉
9〈a, b | aa=a, aabab=a〉
9〈a, b | aa=a, abaab=a〉
9〈a, b | aa=a, abab=aa〉
10〈a, b | aaa=aa, abab=a〉
10〈a, b | aab=ab, abab=a〉
10〈a, b | aba=ab, aabb=a〉
10〈a, b | aba=ab, abab=a〉
10〈a, b | aba=ab, abba=a〉
10〈a, b | aa=a, aaabab=a〉
10〈a, b | aa=a, aabaab=a〉
10〈a, b | aa=a, abaaab=a〉
10〈a, b | aa=a, aabab=aa〉
10〈a, b | aa=a, abaab=aa〉
10〈a, b | aa=a, abab=aaa〉
11〈a, b | aabb=aa, abab=a〉
11〈a, b | aabb=a, abaab=a〉
11〈a, b | abab=a, aaabb=a〉
11〈a, b | abab=a, aabab=a〉
11〈a, b | abab=a, aabba=a〉
11〈a, b | abab=a, abaab=a〉
11〈a, b | abab=a, ababa=a〉
11〈a, b | abab=a, abbaa=a〉
11〈a, b | abba=a, aabab=a〉
11〈a, b | abba=a, abaab=a〉
11〈a, b | aaa=aa, aabab=a〉
11〈a, b | aaa=aa, abaab=a〉
11〈a, b | aab=ab, aabab=a〉
11〈a, b | aab=ab, abaab=a〉
11〈a, b | aba=ab, aaabb=a〉
11〈a, b | aba=ab, aabab=a〉
11〈a, b | aba=ab, aabba=a〉
11〈a, b | aba=ab, abaab=a〉
11〈a, b | aba=ab, ababa=a〉
11〈a, b | aba=ab, abbaa=a〉
11〈a, b | aa=a, aaaabab=a〉
11〈a, b | aa=a, aaabaab=a〉
11〈a, b | aa=a, aabaaab=a〉
11〈a, b | aa=a, abaaaab=a〉
11〈a, b | aa=a, aaabab=aa〉
11〈a, b | aa=a, aabaab=aa〉
11〈a, b | aa=a, abaaab=aa〉
11〈a, b | aa=a, aabab=aaa〉
11〈a, b | aa=a, abaab=aaa〉
11〈a, b | aa=a, abab=aaaa〉

Other anti-isomorphic instances

5 total

Length:Presentation:
10〈a, b | aab=ab, baba=a〉
11〈a, b | abba=aa, baba=a〉
11〈a, b | baba=aa, bbaa=a〉
11〈a, b | aab=ab, baaba=a〉
11〈a, b | aab=ab, babaa=a〉