Monoidi
Wikipedia
Monoidi on algebrallinen rakenne, joka koostuu joukosta S ja sen alkioihin liittyvästä binäärioperaatiosta * (merkitään (s,*)) jotka toteuttavat seuraavat ehdot:
- Suljettu:
- Assosiatiivisuus:
- Yksikköalkio: .
Toisin sanoen monoidi on puoliryhmä, jossa on yksikköalkio.
Esimerkkejä:
- Luonnollisten lukujen joukko muodostaa monoidin yhteenlaskun suhteen yksikköalkionaan 0, ja kertolaskun suhteen yksikköalkionaan 1.
- Mikä tahansa algebrallinen rakenne, joka sisältää monoidin osana määritelmäänsä (Esim. ryhmä, rengas, kunta).