Ero sivun ”Puoliryhmä” versioiden välillä

Puoliryhmä on [[algebrallinen rakenne]], joka koostuu [[assosiatiivisuus|liitännäisen]] [[operaatio]]n '''*''' suhteen suljetusta joukosta G. Toisin sanoen, puoliryhmä on [[assosiatiivinen]] [[magma (matematiikka)|magma]]. Puoliryhmä eroaa [[ryhmä]]stä siinä, että puoliryhmässä ei tarvitse olla [[käänteisalkio]]ta eikä [[neutraalialkio]]ta. Jos [[neutraalialkio]] on, puoliryhmää kutsutaan [[monoidi]]ksi.