Back

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

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

  1. a2 ⇒ a
  2. ab ⇒ b
  3. ba ⇒ a
  4. b2 ⇒ b

Idempotents

3 elements

Cayley table

Idempotents are shown in bold.

1ab
11ab
aaab
bbab

Right Cayley graph

Idempotents are shown in bold.

Left Cayley graph

Idempotents are shown in bold.

Others with same cardinality

5 unique, 2191 total

Length:Presentation:Description:Related:
5 〈a, b | aa=b, ab=1〉 Isomorphic to ℤ3 2029 isomorphic
6 〈a, b | aa=b, ab=a〉 Finite commutative monoid with 3 elements 61 isomorphic
6 〈a, b | aa=b, ab=b〉 Finite commutative monoid with 3 elements 23 isomorphic
6 〈a, b | ab=a, ba=b〉 Finite non-commutative monoid with 3 elements 61 isomorphic
8 〈a, b | aa=a, abba=b〉 Finite commutative monoid with 3 elements 12 isomorphic

Other isomorphic instances

16 total

Length:Presentation:
9〈a, b | aba=a, abab=b〉
9〈a, b | aba=a, abbb=b〉
11〈a, b | aaba=a, aaabb=b〉
11〈a, b | aaba=a, aabab=b〉
11〈a, b | aaba=a, abaab=b〉
11〈a, b | abba=a, abbbb=b〉
11〈a, b | aba=a, aaabbb=b〉
11〈a, b | aba=a, aababb=b〉
11〈a, b | aba=a, aabbab=b〉
11〈a, b | aba=a, aabbbb=b〉
11〈a, b | aba=a, abaabb=b〉
11〈a, b | aba=a, ababab=b〉
11〈a, b | aba=a, ababbb=b〉
11〈a, b | aba=a, abbaab=b〉
11〈a, b | aba=a, abbabb=b〉
11〈a, b | aba=a, abbbab=b〉