Definition:Commutative Semigroup

From ProofWiki
Jump to: navigation, search

Definition

Let $\left({S, \circ}\right)$ be a semigroup such that the operation $\circ$ is a commutative operation.


Then $\left({S, \circ}\right)$ is a commutative semigroup.


Also known as

Some authors refer to a commutative semigroup as an abelian semigroup.

However, the term abelian is usually reserved for commutative groups.


Also see

  • Results about commutative semigroups can be found here.


Sources