# Commutative semigroups

HomePage | RecentChanges | Preferences

Difference (from prior major revision) (author diff)

Changed: 34c34

 Variety

 variety

Changed: 38c38

 Decidable in polynomial time

 decidable in polynomial time

Changed: 42c42

 Decidable

 decidable

Changed: 50c50

 No

 no

Changed: 58c58

 No

 no

Changed: 62c62

 No

 no

Changed: 66c66

 No

 no

Changed: 70c70

 No

 no

Changed: 74c74

 No

 no

Changed: 86c86

 No

 no

Changed: 90c90

 No

 no

Changed: 94c94

 No

 no

Changed: 98c98

 No

 no

Changed: 113c113
 [One-element algebras]?
 Semilattices

### Definition

A commutative semigroup is a semigroup S = (S,·) such that · is commutative:   xy = yx.

### Definition

A commutative semigroup is a structure S = (S,·), where · is an infix binary operation, called the semigroup product, such that
· is associative:   (xy)z = x(yz)and
· is commutative:   xy = yx.

### Morphisms

Let S and T be commutative semigroups. A morphism from S to T is a function h : ST that is a homomorphism: h(xy) = h(x)h(y).

### Examples

(N, + ), the natural numbers, with additition.

### Properties

 Classtype variety Equational theory decidable in polynomial time Quasiequational theory decidable First-order theory Locally finite no Residual size Congruence distributive no Congruence modular no Congruence n-permutable no Congruence regular no Congruence uniform no Congruence extension property Definable principal congruences Equationally definable principal congruences no Amalgamation property no Strong amalgamation property no Epimorphisms are surjective no

### Finite members

Search for finite commutative semigroups

Size 1:  1
Size 2:  3
Size 3:  12
Size 4:  58
Size 5:  325
[Size 6]?:  2143
[Size 7]?:  17291

### Subclasses

Semilattices
Commutative monoids

### Superclasses

Semigroups
[Partial commutative semigroups]?

HomePage | RecentChanges | Preferences