Un monoide es un magma (i.e. un par , donde , es un conjunto, y , una operación binaria) que cumple:
- Es cerrada en , esto es, el resultado de pertenece a para cualesquiera a y b de M.
- Existe una identidad, esto es, un elemento tal que cumple .
- La operación es asociativa.
En esencia, un monoide es un semigrupo con elemento unidad. Un monoide abeliano es un monoide conmutativo.
El contenido de esta página es un esbozo sobre álgebra. Ampliándolo ayudarás a mejorar MATH.
Puedes ayudarte aquí.