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:
- Suljettu eli vakaa: kaikilla pätee .
- Assosiatiivinen: kaikilla pätee .
Lähteet
muokkaa- ↑ Häsä, Jokke & Rämö, Johanna: Johdatus abstraktiin algebraan, s. 51. Helsinki: Gaudeamus, 2015. ISBN 978-952-495-361-0