Semigroup

In mathematics, a semigroup is a set with an associative binary operation on it.

Related Topics:
Mathematics - Set - Associative - Binary operation

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

There is some disagreement on whether the empty set should be admitted as a

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

semigroup. Many authors insist that a semigroup should be non-empty, and some even require an identity element. In this article, we shall assume that a semigroup may be empty and need not have an identity.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~