Back

〈a, b | aaa=1, aabab=b〉

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

  1. b2 ⇒ b
  2. a3 ⇒ 1
  3. bab ⇒ ab
  4. ba2b ⇒ a2b

Idempotents

4 elements

Cayley table

Idempotents are shown in bold.

1aba2abbaa2bababa2a2baaba2a2ba2
11aba2abbaa2bababa2a2baaba2a2ba2
aaa2ab1a2bababa2baaba2baa2ba2ba2
bbbabba2abbaa2bababa2a2baaba2a2ba2
a2a21a2baba2baabbaa2ba2ababa2aba2
abababaababa2a2bababa2baaba2baa2ba2ba2
bababa2abba2bababa2baaba2baa2ba2ba2
a2ba2ba2baa2ba2ba2ba2baabbaa2ba2ababa2aba2
abaabaaba2a2babba2baabbaa2ba2ababa2aba2
ba2ba2ba2bbaba2baabbaa2ba2ababa2aba2
a2baa2baa2ba2ba2babbaa2bababa2a2baaba2a2ba2
aba2aba2abbabaabbaa2bababa2a2baaba2a2ba2
a2ba2a2ba2a2baba2baa2bababa2baaba2baa2ba2ba2

Right Cayley graph

Idempotents are shown in bold.

Left Cayley graph

Idempotents are shown in bold.

Others with same cardinality

51 unique, 647 total

Length:Presentation:Description:Related:
7 〈a, b | aab=a, bbb=1〉 Finite non-commutative monoid with 12 elements 8 isomorphic, 12 anti-isomorphic
7 〈a, b | ab=aa, bbb=1〉 Finite non-commutative monoid with 12 elements 9 isomorphic
8 〈a, b | aba=ab, bbb=1〉 Finite non-commutative monoid with 12 elements
8 〈a, b | aaaa=1, abbb=1〉 Isomorphic to ℤ12 325 isomorphic
8 〈a, b | ab=aa, bbb=b〉 Finite non-commutative monoid with 12 elements
8 〈a, b | aaa=1, aabb=b〉 Finite non-commutative monoid with 12 elements 16 isomorphic
9 〈a, b | aab=bb, aba=a〉 Finite non-commutative monoid with 12 elements 2 isomorphic
9 〈a, b | aba=b, aaabb=1〉 Finite non-Abelian group with 12 elements 19 isomorphic
9 〈a, b | aaa=a, bbbb=a〉 Finite commutative monoid with 12 elements 6 isomorphic
9 〈a, b | aaa=b, bbbb=a〉 Finite commutative monoid with 12 elements 27 isomorphic
9 〈a, b | aaa=b, bbbb=b〉 Finite commutative monoid with 12 elements 23 isomorphic
9 〈a, b | ab=aa, bbb=bb〉 Finite non-commutative monoid with 12 elements
10 〈a, b | bab=aba, aabb=1〉 Finite non-Abelian group with 12 elements 4 isomorphic
10 〈a, b | aaa=aa, bbbb=a〉 Finite commutative monoid with 12 elements
10 〈a, b | aaa=ab, bbbb=a〉 Finite commutative monoid with 12 elements 7 isomorphic
10 〈a, b | aaa=bb, bbbb=a〉 Finite commutative monoid with 12 elements 43 isomorphic
10 〈a, b | aab=bb, abba=a〉 Finite non-commutative monoid with 12 elements 6 isomorphic
10 〈a, b | aaa=ab, bab=bb〉 Finite non-commutative monoid with 12 elements 1 isomorphic
10 〈a, b | aaa=a, aaab=bb〉 Finite non-commutative monoid with 12 elements
10 〈a, b | aaa=b, bbbb=bb〉 Finite commutative monoid with 12 elements 4 isomorphic
10 〈a, b | aab=a, bbbb=ba〉 Finite non-commutative monoid with 12 elements
10 〈a, b | aab=a, bbbb=bb〉 Finite non-commutative monoid with 12 elements
10 〈a, b | aba=a, bbbb=ab〉 Finite non-commutative monoid with 12 elements
10 〈a, b | ab=aa, bbaa=bb〉 Finite non-commutative monoid with 12 elements 2 isomorphic
11 〈a, b | aaaa=aa, abab=b〉 Finite non-commutative monoid with 12 elements
11 〈a, b | aaab=bb, aaba=a〉 Finite non-commutative monoid with 12 elements 2 isomorphic
11 〈a, b | aab=aaa, baaa=b〉 Finite non-commutative monoid with 12 elements 4 isomorphic
11 〈a, b | aab=aaa, bbbb=a〉 Finite commutative monoid with 12 elements 2 isomorphic
11 〈a, b | aab=ba, ababbb=1〉 Finite non-Abelian group with 12 elements 5 isomorphic
11 〈a, b | aaa=aa, abbbb=b〉 Finite non-commutative monoid with 12 elements
11 〈a, b | aaa=ab, aabb=bb〉 Finite non-commutative monoid with 12 elements 2 isomorphic
11 〈a, b | aaa=bb, aabb=ab〉 Finite non-commutative monoid with 12 elements 2 isomorphic
11 〈a, b | aaa=bb, aabb=ba〉 Finite non-commutative monoid with 12 elements 1 isomorphic
11 〈a, b | aab=aa, abab=bb〉 Finite non-commutative monoid with 12 elements
11 〈a, b | aab=bb, aaaa=ab〉 Finite non-commutative monoid with 12 elements 1 isomorphic
11 〈a, b | aab=bb, aaaa=ba〉 Finite non-commutative monoid with 12 elements
11 〈a, b | aba=bb, aabb=aa〉 Finite non-commutative monoid with 12 elements 2 isomorphic
11 〈a, b | aab=a, baaaa=bb〉 Finite non-commutative monoid with 12 elements
11 〈a, b | aba=b, bbbbb=aa〉 Finite commutative monoid with 12 elements
11 〈a, b | aaa=b, bbbb=abb〉 Finite commutative monoid with 12 elements 2 isomorphic
11 〈a, b | aab=a, bbaa=bbb〉 Finite non-commutative monoid with 12 elements
11 〈a, b | aab=b, aaaa=bba〉 Finite non-commutative monoid with 12 elements
11 〈a, b | ab=aa, baaaaa=b〉 Finite non-commutative monoid with 12 elements 30 isomorphic
11 〈a, b | bb=aa, aaaaab=a〉 Finite commutative monoid with 12 elements 15 isomorphic
11 〈a, b | ab=aa, baaaa=bb〉 Finite non-commutative monoid with 12 elements 7 isomorphic
11 〈a, b | bb=aa, aaaa=aba〉 Finite non-commutative monoid with 12 elements 4 isomorphic
11 〈a, b | bb=aa, aaab=aba〉 Finite non-commutative monoid with 12 elements 3 isomorphic
11 〈a, b | bb=aa, abab=aba〉 Finite non-commutative monoid with 12 elements
11 〈a, b | aa=a, abbbbbb=b〉 Finite non-commutative monoid with 12 elements
11 〈a, b | ab=a, baaaaa=bb〉 Finite non-commutative monoid with 12 elements
11 〈a, b | ab=a, bbaaa=bbb〉 Finite non-commutative monoid with 12 elements

Other isomorphic instances

8 total

Length:Presentation:
9〈a, b | aaa=1, abaab=b〉
10〈a, b | aaa=1, abab=aab〉
10〈a, b | aaa=1, baab=aab〉
11〈a, b | aaa=1, aaabab=ab〉
11〈a, b | aaa=1, aabaab=ab〉
11〈a, b | aaa=1, aababa=ba〉
11〈a, b | aaa=1, baaaab=ab〉
11〈a, b | aaa=1, aaaab=bab〉

Other anti-isomorphic instances

4 total

Length:Presentation:
10〈a, b | aaa=1, abab=aba〉
11〈a, b | aaa=1, aaabab=ba〉
11〈a, b | aaa=1, abaaba=ab〉
11〈a, b | aaa=1, aaaba=bab〉