Półgrupa

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania

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.

Przykłady[edytuj | edytuj kod]

Przypadki szczególne[edytuj | edytuj kod]

  • półgrupa, w której działanie jest przemienne, to półgrupa przemienna (zwana niekiedy też abelową),
  • 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.