semigroup
Noun
Meaning
semigroup (plural semigroups)
(mathematics) Any set for which there is a binary operation that is closed and associative.
Phrases with the word
Examples
A 2-ary semigroup is just a semigroup.
A semigroup endowed with such an operation is called a U-semigroup.
A transformation semigroup can be made into an operator monoid by adjoining the identity transformation.
Conversely, the kernel of any semigroup homomorphism is a semigroup congruence.
Alternatively, a regular semigroup is inverse if and only if any two idempotents commute.
A semigroup without an identity element can be easily turned into a monoid by just adding an identity element.