semigroup en · NOUN
Etymology
From semi- + group, reflecting the fact that not all the conditions required for a group are required for a semigroup. (Specifically, the requirements for the existence of identity and inverse elements are omitted.)
Meanings
-
Any set for which there is a binary operation that is closed and associative.
If a semigroup S contains a zeroid, then every left zeroid is also a right zeroid, and vice versa, and the set K of all the zeroids of S is the kernel of S.
1961, Alfred Hoblitzelle Clifford, G. B. Preston, The Algebraic Theory of Semigroups, page 70:If one considers the variety of semigroups, one has the binary operation of multiplication defined on every semigroup.
2012, Jorge Almeida, Benjamin Steinberg, “Syntactic and Global Subgroup Theory: A Synthesis Approach”, in Jean-Camille Birget, Stuart Margolis, John Meakin, Mark V. Sapir, editors, Algorithmic Problems in Groups and Semigroups, page 5:1988, A. Ya Aǐzenshtat, Boris M. Schein (translator), On Ideals of Semigroups of Endomorphisms, Ben Silver (editor), Nineteen Papers on Algebraic Semigroups, American Mathematical Society Translations, Series 2, Volume 139, page 11, It follows naturally that various classes of ordered sets can be characterized by semigroup properties of endomorphism semigroups.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| semigroups | Number=Plur | lexicographic |
Deriveds
semigroupoid · subsemigroup · semigroup homomorphism · hypersemigroup · inverse semigroup
Hypernyms
magma (set for which a closed associative binary operation is defined)
Hyponyms
monoid (set for which a closed associative binary operation is defined) · group (set for which a closed associative binary operation is defined)
Translations (11)
it semigruppo (set for which a closed associative binary operation is defined) · cmn 半群 (set for which a closed associative binary operation is defined) · pt semigrupo (set for which a closed associative binary operation is defined) · ro semigrup (set for which a closed associative binary operation is defined) · sv semigrupp (set for which a closed associative binary operation is defined) · pl półgrupa (set for which a closed associative binary operation is defined) · cs pologrupa (set for which a closed associative binary operation is defined) · is hálfgrúpa (set for which a closed associative binary operation is defined) · fi puoliryhmä (set for which a closed associative binary operation is defined) · sk pologrupa (set for which a closed associative binary operation is defined) · de Halbgruppe (set for which a closed associative binary operation is defined)