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.