De Math
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í.