Ero sivun ”Puoliryhmä” versioiden välillä

[arvioimaton versio][arvioimaton versio]
Poistettu sisältö Lisätty sisältö
pEi muokkausyhteenvetoa
Ei muokkausyhteenvetoa
Rivi 1:
Puoliryhmä on [[algebrallinen rakenne]], joka koostuu [[assosiatiivisuus|liitännäisen]] [[operaatio]]n '''*''' suhteen[[joukko]]a suljetusta joukosta G. Toisin sanoen, puoliryhmä on [[assosiatiivinen]] [[magma (matematiikka)]]. Puoliryhmä eroaa [[ryhmä]]stä siinä, että puoliryhmässä ei ole [[käänteisalkio]]ta eikä [[neutraalialkio]]ta.
 
Puoliryhmät toteuttavat seuraavat ehdot: