Półgrupa

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

Półgrupagrupoid z łącznym działaniem, czyli zbiór z określonym na nim działaniem dwuargumentowym w którym

dla wszelkich elementów zachodzi

Gdy działanie jest dodatkowo przemienne, półgrupę nazywa się przemienną bądź abelową.

Szczególnymi przypadkami półgrup są:

Przykłady[edytuj | edytuj kod]

Zobacz też[edytuj | edytuj kod]

Bibliografia[edytuj | edytuj kod]

  • J. M. Howie, An introduction to semigroup theory, Academic Press, 1976.