Półgrupa

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

PółgrupaGrupoid \langle A, \odot \rangle, którego działanie \odot ponad to jest łączne, czyli:

  • \forall a,b,c\in A:\;(a \odot b) \odot c=a\odot (b \odot c),

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}}).