Puoliryhmä

Puoliryhmä on algebrallinen rakenne, joka koostuu liitännäisen (assosiatiivisen) operaation * suhteen suljetusta joukosta G. Toisin sanoen, puoliryhmä on assosiatiivinen magma. Puoliryhmä eroaa ryhmästä siinä, että puoliryhmässä ei tarvitse olla käänteisalkiota eikä neutraalialkiota. Jos neutraalialkio on, puoliryhmää kutsutaan monoidiksi. 

Puoliryhmät toteuttavat seuraavat ehdot:

 Suljettu eli vakaa: kaikilla  pätee .
 Assosiatiivinen: kaikilla  pätee .

 Lähteet 

Luokka:Algebralliset rakenteet