[[Abstract algebra MOC]]
# Semigroup

A **semigroup** is an associative [[Magma]]. #m/def/algebra 
Any semigroup may be made a [[Monoid]] by adjoining an identity element.
See also [[Semigroup object]].

#
---
#state/stub | #lang/en | #SemBr