Magma (matematiikka)

Algebrassa magma on yksinkertaisin algebrallinen rakenne. Mikä tahansa joukko ja joukon sisäinen "laskutoimitus" ovat yhdessä magma. Esimerkiksi kokonaislukujen joukko laskutoimituksena yhteenlasku on magma, samoin merkkijonot laskutoimituksena merkkijonojen yhdistäminen. Joukko ei siis tarkoita vain lukujoukkoja, ja laskutoimitus tarkoittaa mitä tahansa sääntöä, joka kuvaa parin joukon alkioita jollekin saman joukon alkiolle. Joukko voi olla myös äärellinen, esimerkiksi kokonaisluvut 1-10 laskutoimituksena suuremman valinta on magma.

Magmoilla ei ole juurikaan itsenäistä merkitystä matematiikassa. Monet monimutkaisemmat rakenteet ovat magmoja, joissa laskutoimitukselle on asetettu jotain lisävaatimuksia.

Grupoidi on vanhempi, mutta vielä käytössä oleva, synonyymi magmalle. Kategoriateoriassa, joka on toinen matematiikan osa-alue, grupoidilla on eri merkitys.

Määritelmä
Muodollisesti magma määritellään joukkona  johon on määritelty binäärioperaatio , jolle ainoa ehto on

Operaatio  on suljettu joukossa  eli , .

Laajennuksia
Magman laajennuksia ovat esimerkiksi:
 Jos magma on assosiatiivinen eli aina , kyseessä on puoliryhmä.
 Jos yhtälöille  ja  löytyy ratkaisu kaikille  ja  magman  perusjoukosta joillakin , kyseessä on kvasiryhmä.

Esimerkkejä

 Reaaliluvut laskutoimituksena yhteenlasku on magma ja ryhmä.
 Reaaliluvut laskutoimituksena vähennyslasku on magma ja kvasiryhmä.
 Reaaliluvut laskutoimituksena kertolasku on magma ja monoidi.
 Lukua yksi suuremmat kokonaisluvut laskutoimituksenaan potenssiinkorotus ovat "pelkkä" magma, joka ei toteuta mitään muulta algebralliselta rakenteelta vaadittavaa ominaisuutta. Se ei ole liitännäinen eikä vaihdannainen, vaan esimerkiksi  ja . Ei ole olemassa vasenta eikä oikeaa nolla-alkiota  siten, että aina pätisi  tai . Yhtälöille ei ole välttämättä ratkaisua, eli esimerkiksi yhtälöillä  ja  ei ole ratkaisua.
 Tietokoneen liukulukujen yhteenlasku on vaihdannainen magma, kun liukulukuina pidetään myös positiivista ja negatiivista ääretöntä. Tämä magma ei pyöristysvirheiden ja ylivuodon vuoksi ole liitännäinen eikä yhtälöillä  ja  ole aina yksikäsitteistä ratkaisua, eli kyseessä ei ole puoliryhmä eikä kvasiryhmä.
 Reaaliluvut laskutoimituksena "valitse suurempi" on magma ja vaihdannainen puoliryhmä.
 , jossa  on mikä tahansa joukko, laskutoimituksena kuvausten yhdistäminen.

Epäesimerkkejä ovat mm.

 Reaaliluvut ja jakolasku, koska nollalla jakamista ei ole määritelty.
 Luonnolliset luvut ja vähennyslasku, koska esimerkiksi laskun 2-3 tulos ei ole luonnollinen luku.

Lähteet

Kirjallisuutta
 

Abstrakti algebra
Algebralliset rakenteet