Ero sivun ”Monoidi” versioiden välillä

# Assosiatiivisuus: <math>\forall a, b, c \in G: (a*b)*c = a*(b*c)</math>

# Yksikköalkio: <math>\forall a \in G \; \exists e \in G: e * a = a * e = a</math>.

 

Toisin sanoen monoidi on [[puoliryhmä]], jossa on [[yksikköalkio]].

 

#[[Luonnollinen luku|Luonnollisten lukujen joukko]] muodostaa monoidin yhteenlaskun suhteen yksikköalkionaan 0, ja kertolaskun suhteen yksikköalkionaan 1.

 

{{tynkä/Matematiikka}}