Monoidi

Monoidi on algebrallinen rakenne, joka koostuu joukosta  ja sen alkioihin liittyvästä binäärioperaatiosta  (merkitään ) jotka toteuttavat seuraavat ehdot:

 Suljettu: kaikilla  siten, että .
 Assosiatiivisuus: kaikilla  siten, että .
 Neutraalialkio: kaikilla  on olemassa  siten, että .

Toisin sanoen monoidi on puoliryhmä, jossa on neutraalialkio.

Esimerkkejä:

Luonnollisten lukujen joukko muodostaa monoidin yhteenlaskun suhteen neutraalialkionaan , ja kertolaskun suhteen neutraalialkionaan .
Merkkijonot operaationa niiden yhdistäminen on monoidi, jossa neutraalialkio on tyhjä merkkijono.

Monoidi on vaihdannainen, jos operaatio on vaihdannainen. Yllä ensimmäinen esimerkki on vaihdannainen: esimerkiksi  ja , ja sama pätee kaikilla luvuilla. Toinen esimerkki ei ole, merkkijonojen "xy" ja "ab" yhdiste on "xyab" mutta toisinpäin "abxy".

Moni algebrallinen rakenne sisältää monoidin osana määritelmäänsä, esimerkiksi ryhmä, rengas ja kunta.

 Lähteet 

Luokka:Algebralliset rakenteet