Back

〈a, b | aab=a, baaa=bbb〉

Monoid presentation of length 11

Properties

Completion parameters

Complete rewriting system

  1. b8 ⇒ b3
  2. ab5 ⇒ a
  3. ba ⇒ b5
  4. a2 ⇒ ab4

Idempotents

3 elements

Cayley table

Idempotents are shown in bold.

1ababb2ab2b3ab3b4ab4b5b6b7
11ababb2ab2b3ab3b4ab4b5b6b7
aaab4abaab2abab3ab2ab4ab3aabab2
bbb5b2b6b3b7b4b3b5b4b6b7b3
ababaab2abab3ab2ab4ab3aab4abab2ab3
b2b2b6b3b7b4b3b5b4b6b5b7b3b4
ab2ab2abab3ab2ab4ab3aab4abaab2ab3ab4
b3b3b7b4b3b5b4b6b5b7b6b3b4b5
ab3ab3ab2ab4ab3aab4abaab2abab3ab4a
b4b4b3b5b4b6b5b7b6b3b7b4b5b6
ab4ab4ab3aab4abaab2abab3ab2ab4aab
b5b5b4b6b5b7b6b3b7b4b3b5b6b7
b6b6b5b7b6b3b7b4b3b5b4b6b7b3
b7b7b6b3b7b4b3b5b4b6b5b7b3b4

Right Cayley graph

Idempotents are shown in bold.

Left Cayley graph

Idempotents are shown in bold.

Others with same cardinality

33 unique, 303 total

Length:Presentation:Description:Related:
9 〈a, b | aaaa=b, abbb=1〉 Isomorphic to ℤ13 189 isomorphic
9 〈a, b | aba=b, baab=a〉 Finite non-commutative monoid with 13 elements 4 isomorphic
10 〈a, b | aaaa=b, abbb=a〉 Finite commutative monoid with 13 elements 10 isomorphic
10 〈a, b | aaaa=b, abbb=b〉 Finite commutative monoid with 13 elements 6 isomorphic
10 〈a, b | aaab=b, abba=a〉 Finite non-commutative monoid with 13 elements 2 isomorphic
10 〈a, b | aaa=ab, babb=b〉 Finite non-commutative monoid with 13 elements 6 isomorphic
10 〈a, b | aaa=ab, bba=bb〉 Finite non-commutative monoid with 13 elements
10 〈a, b | aaa=ab, bbb=ab〉 Finite non-commutative monoid with 13 elements 1 isomorphic
10 〈a, b | aaa=ab, bbb=ba〉 Finite non-commutative monoid with 13 elements
10 〈a, b | aaa=bb, aab=ba〉 Finite non-commutative monoid with 13 elements
10 〈a, b | aaa=b, abbbb=b〉 Finite commutative monoid with 13 elements 2 isomorphic
10 〈a, b | aab=b, abbba=a〉 Finite non-commutative monoid with 13 elements 3 isomorphic
10 〈a, b | bb=aa, aaab=ba〉 Finite non-commutative monoid with 13 elements 1 isomorphic
11 〈a, b | aaab=aa, bbbb=a〉 Finite commutative monoid with 13 elements 1 isomorphic
11 〈a, b | aaab=ab, bbbb=a〉 Finite commutative monoid with 13 elements 3 isomorphic
11 〈a, b | aaab=bb, bbbb=a〉 Finite commutative monoid with 13 elements 14 isomorphic
11 〈a, b | aaab=b, aabba=a〉 Finite non-commutative monoid with 13 elements 3 isomorphic
11 〈a, b | aaba=b, babbb=a〉 Finite commutative monoid with 13 elements 2 isomorphic
11 〈a, b | aaa=bb, aabbb=b〉 Finite commutative monoid with 13 elements 2 isomorphic
11 〈a, b | aaa=ab, abbb=bb〉 Finite non-commutative monoid with 13 elements
11 〈a, b | aaa=bb, abbb=ba〉 Finite non-commutative monoid with 13 elements
11 〈a, b | aaa=bb, babb=ab〉 Finite non-commutative monoid with 13 elements
11 〈a, b | aab=ab, bbbb=aa〉 Finite non-commutative monoid with 13 elements 1 isomorphic
11 〈a, b | aab=ba, bbbb=aa〉 Finite non-commutative monoid with 13 elements
11 〈a, b | aba=bb, abbb=aa〉 Finite non-commutative monoid with 13 elements 1 isomorphic
11 〈a, b | aab=ab, bbb=aaa〉 Finite non-commutative monoid with 13 elements 1 isomorphic
11 〈a, b | aab=ba, bbb=aaa〉 Finite non-commutative monoid with 13 elements
11 〈a, b | aab=a, bbbbbb=a〉 Finite commutative monoid with 13 elements 4 isomorphic
11 〈a, b | aab=b, ababba=a〉 Finite non-commutative monoid with 13 elements 4 isomorphic
11 〈a, b | aab=a, bbbb=bba〉 Finite non-commutative monoid with 13 elements
11 〈a, b | ab=aa, aaaa=bbb〉 Finite non-commutative monoid with 13 elements 7 isomorphic
11 〈a, b | ab=aa, baaa=bbb〉 Finite non-commutative monoid with 13 elements 3 isomorphic
11 〈a, b | ab=a, baaaaaa=b〉 Finite non-commutative monoid with 13 elements