Półgrupa

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

PółgrupaGrupoid (czyli zbiór z określonym na nim działaniem dwuargumentowym) , 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 przemienne, to półgrupa przemienna (abelowa);
  • półgrupa, w której istnieje element neutralny, to monoid;
  • półgrupa, w której istnieje element neutralny i element odwrotny do każdego elementu, to grupa.