Półgrupa to struktura algebraiczna, na którą składa się pewien zbiór wraz z określonym w nim działaniem, przy czym działanie to musi być łączne. Szczególnym przypadkiem półgrupy jest monoid.

Przykłady

• liczby całkowite dodatnie z dodawaniem
• macierze kwadratowe $n\backslash times\; n$ z mnożeniem

Zobacz też

• przegląd zagadnień z zakresu matematyki.
• grupa

Algebra

Halbgruppe | Semigroup | Semigroupe | Semigruppo | 半群 | Matematična polgrupa | Semigrupp | 半群