Avaa päävalikko

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äMuokkaa

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

Operaatio   on suljettu joukossa   eli  ,  .

LaajennuksiaMuokkaa

Magman laajennuksia ovat esimerkiksi:

Jos magma on assosiatiivinen eli aina  , kysessä on puoliryhmä.
Jos yhtälöille   ja   löytyy ratkaisu kaikille   ja   magman   perusjoukosta joillakin  , kyseessä on kvasiryhmä.

EsimerkkejäMuokkaa

  • 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ähteetMuokkaa

KirjallisuuttaMuokkaa

Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.