Magma (matematiikka)
Wikipedia
Algebrassa magma eli grupoidi on algebrallinen rakenne, joka koostuu joukosta G ja siihen määritellystä operaatiosta binäärioperaatiosta *: G × G → G.
Grupoidi on vanhempi, mutta vielä käytössä oleva synonyymi magmalle. Kategoriateoriassa, joka on toinen matematiikan osa-alue, grupoidilla on eri merkitys.
Yleisesti magmat toteuttavat vain ehdon:
- Operaatio * on suljettu joukossa G eli
, 
.
- Assosiatiivinen magma on puoliryhmä.
- Magmaa, jossa on mahdollista "jakaminen", kutsutaan kvasiryhmäksi. Yksikköalkiollinen magma on luuppi (loop).
[muokkaa] Esimerkkejä
Esimerkkejä magmoista ovat mm.
1. Reaalilukujen joukko, jossa voidaan määritellä muun muassa reaalilukujen yhteenlasku ja kertolasku.
2. 
laskutoimituksena kuvausten yhdistäminen.
