Puoliryhmä

liitännäisen laskutoimituksen sisältämä algebrallinen rakenne

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: kaikilla pätee .
  2. Assosiatiivinen: kaikilla pätee .

Lähteet

muokkaa
  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.