Monoide

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
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
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

Monoide

Cargado por

Copyright:

Formatos disponibles

Monoide

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Monoide

Cargado por

Copyright:

Formatos disponibles

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

1. Operacin interna: para cualesquiera dos elementos

2. Asociatividad: para cualesquiera elementos del

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

Conmutatividad: un conjunto A tiene la propiedad

Se dice que es un monoide conmutativo o abeliano.

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:

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

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

4.- La multiplicacin de nmeros naturales es conmutativa:

También podría gustarte