Monoidi

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

 Suljettu: 
 Assosiatiivisuus: 
 Neutraalialkio: .

Toisin sanoen monoidi on puoliryhmä, jossa on neutraalialkio.

Esimerkkejä:

Luonnollisten lukujen joukko muodostaa monoidin yhteenlaskun suhteen nolla-alkionaan , ja kertolaskun suhteen yksikköalkionaan .
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 

Algebralliset rakenteet