Półgrupa

Półgrupa – struktura 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ć:

• łączne: $(\forall a,b,c\in A)\;(a+b)+c=a+(b+c)=a+b+c$
• wewnętrzne: $(\forall a,b\in A)\;a+b\in A$

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

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

Przykłady

• pełna półgrupa transformacji dowolnego zbioru;
• liczby całkowite dodatnie z dodawaniem;
• struktura multyplikatywna dowolnego pierścienia łącznego, niekoniecznie z jedynką;
• zbiór mas umieszczonych w punktach zbioru wypukłego $W\subseteq\mathbb{R}^n$ z działaniem, które dwóm masom przyporządkowuje ich środek ciężkości (półgrupa zadana na zbiorze $\mathbb{R}_{+}\times W$):

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