Monoide - Wikipedia, la enciclopedia libre https://es.wikipedia.

org/wiki/Monoide

Monoide
En lgebra abstracta, un monoide es una estructura algebraica con una operacin binaria, que es asociativa y
tiene elemento neutro, es decir, es un semigrupo con elemento neutro.

ndice
1 Definicin formal
1.1 Conmutatividad
2 Ejemplos
2.1 Concatenacin de cadenas alfanumricas
2.2 Multiplicacin de nmeros naturales
3 En la teora de categoras
4 Vase tambin
5 Referencias
5.1 Bibliografa
6 Enlaces externos

Definicin formal
Un monoide es una estructura algebraica en la que es un conjunto y es una operacin binaria
interna en :

Que cumple las siguientes tres propiedades (la primera es redundante con la definicin):1

1. Operacin interna: para cualesquiera dos elementos

del conjunto A operados bajo , el resultado
siempre pertenece al mismo conjunto A. Es decir:

2. Asociatividad: para cualesquiera elementos del

conjunto A no importa el orden en que se operen
las parejas de elementos, mientras no se cambie el
orden de los elementos (ver grupo abeliano),
siempre dar el mismo resultado. Es decir:

3. Elemento neutro: existe un (nico) elemento, e, en

A que es neutro de la operacin , es decir:

Es fcil demostrar que el elemento neutro es necesariamente nico por lo que es redundante exigir su
unicidad en este axioma o propiedad. En esencia, un monoide es un semigrupo con elemento neutro.

1 de 4 03/10/2017 21:31
Monoide - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Monoide

Conmutatividad
Si adems se cumple la propiedad conmutativa:

Conmutatividad: un conjunto A tiene la propiedad

conmutativa respecto a la operacin interna si:

Se dice que es un monoide conmutativo o abeliano.

Ejemplos
Concatenacin de cadenas alfanumricas
Dado un conjunto A de caracteres alfanumricos, que llamaremos alfabeto, una cadena alfanumerica del
alfabeto A es una secuencia de elememtos de A en cualquier orden y de cualquier longitud, si tomas el
conjunto como:

Cadenas del alfabeto A, que representamos C(A) pueden ser:

La cadena vaca, la que no tiene ningn carcter, sera:

Definimos la operacin de concatenacin de cadenas del alfabeto A como:

que podemos representar, de las siguientes formas:

podemos ver que tiene estructura algebraica de monoide:

1.- Es una operacin interna: para cualquiera dos cadenas del alfabeto A su concatenacin es una cadena de
A:

2 de 4 03/10/2017 21:31
Monoide - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Monoide

2.- Es asociativa:

3.- Tiene elemento neutro: para todo elemento a cadena de caracteres de A, existe la cadena vaca de A,
de modo que:

La concatenacin de cadenas de caracteres no es conmutativa:

Para todo a, b de C(A) la concatenacin de a con b no es igual a la concatenacin de b con a.

Luego la concatenacin de cadenas alfanumricas es un monoide no conmutativo.

Multiplicacin de nmeros naturales

Partiendo del conjunto de los nmeros naturales:

y la operacin multiplicacin, podemos ver que: es un monoide

1.- Es una operacin interna: para cualquiera dos nmeros naturales su multiplicacin es un nmero natural:

2.- Es asociativa:

3.- Tiene elemento neutro: el 1 en N, es neutro para todos los nmeros naturales ya que cumple:

4.- La multiplicacin de nmeros naturales es conmutativa:

El conjunto de los nmeros naturales, bajo la operacin multiplicacin: , tiene estructura algebraica
de monoide conmutativo o abeliano.

En la teora de categoras
Una categora monoidal[cita requerida], es una categora con una operacin binaria que convierte a la
categora en un monoide. Dos ejemplos:

1. La categora de conjuntos con la unin disjunta de conjuntos y el conjunto vaco como elemento
neutro.
2. La categora de los espacios vectoriales sobre un campo junto con el producto tensorial de
espacios vectoriales y a como el elemento neutro.

3 de 4 03/10/2017 21:31
Monoide - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Monoide

Vase tambin

Conjunto
Magma Ley de composicin
Semigrupo
Monoide Interna
Grupo
Asociatividad
Elemento neutro
Elemento simtrico

Referencias
1. lgebra (1971) Lang, Serge, versin espaola de Milagros Ancoche ISBN 84-03-20216-4; pg.3

Bibliografa
1. Gutirrez Gmez, Andrs; Garca Castro, Fernando. lgebra lineal (2 edicin). Ediciones Pirmide,
S.A. ISBN 978-84-368-0174-3.

Enlaces externos
Enciclopedia Libre Universal en Espaol: Monoide (http://enciclopedia.us.es/index.php/Monoide)
CIENCIA.NET: Monoide (http://www.ciencia.net/VerArticulo/?idTitulo=Monoide)

Obtenido de https://es.wikipedia.org/w/index.php?title=Monoide&oldid=102215391

Se edit esta pgina por ltima vez el 28 sep 2017 a las 22:29.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra
poltica de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.

4 de 4 03/10/2017 21:31