FANDOM

176 Páginas

Un monoide es un magma (i.e. un par $ (M,\star) $, donde $ M $, es un conjunto, y $ \star $, una operación binaria) que cumple:

  • Es cerrada en $ M $, esto es, el resultado de $ a \star b $ pertenece a $ M $ para cualesquiera a y b de M.
  • Existe una identidad, esto es, un elemento $ e $ tal que cumple $ a \star e = e \star a = a $.
  • La operación $ \star $ es asociativa.

En esencia, un monoide es un semigrupo con elemento unidad. Un monoide abeliano es un monoide conmutativo.

40px-Noia 64 apps wp
El contenido de esta página es un esbozo sobre álgebra. Ampliándolo ayudarás a mejorar MATH.
Puedes ayudarte aquí.