Avaa päävalikko

Puoliryhmä on algebrallinen rakenne, joka koostuu liitännäisen 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. [1]

Puoliryhmät toteuttavat seuraavat ehdot:

  1. Suljettu eli vakaa: , ,
  2. Assosiatiivinen: ,

LähteetMuokkaa

  1. Häsä, Jokke & Rämö, Johanna: Johdatus abstraktiin algebraan, s. 51. Helsinki: Gaudeamus, 2015. ISBN 978-952-495-361-0.
Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.