Półgrupa

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

Półgrupastruktura algebraiczna, na którą składa się pewien zbiór A wraz z określonym w nim działaniem +, przy czym działanie to musi być:

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

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

Przykłady[edytuj | edytuj kod]

((m_1,\vec{x}_1), (m_2,\vec{x}_2)) \mapsto (m_1+m_2, \textstyle{\frac{m_1 \vec{x}_1+m_2 \vec{x}_2}{m_1+m_2}}).