Półgrupa

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

PółgrupaGrupoid , którego działanie jest łączne, czyli:

  • ,

Szczególnymi przypadkami półgrup są monoid i grupa.

Klasa wszystkich półgrup jest rozmaitością.

Przykłady[edytuj]

.

Przypadki szczególne[edytuj]

  • półgrupa, w której działanie jest dodatkowo przemienne, to półgrupa abelowa;
  • półgrupa, w której dodatkowo istnieje element neutralny, to monoid;
  • półgrupa, w której dodatkowo istnieje element neutralny i element odwrotny do każdego elementu, to grupa.