Semigrupo PDF

Semigrupo - Wikipedia, la enciclopedia libre https://es.wikipedia.
org/wiki/Semigrupo
Semigrupo
Un semigrupo es un sistema algebraico de la forma en la cual A es un conjunto no vaco, es una
operacin interna definida en A:
Un semigrupo cumple las dos siguientes propiedades:
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:
En otras palabras, un semigrupo es un magma asociativo. 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 semigrupo conmutativo o abeliano.
ndice
1 Ejemplos
2 Subsemigrupo
2.1 Ejemplos
3 Cuasi grupo
3.1 Proposicin
1 de 4 03/10/2017 21:31
Semigrupo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Semigrupo
4 Lazo
5 Vase tambin
6 Referencias
Ejemplos
Un ejemplo de semigrupo conmutativo es el conjunto de los nmeros naturales, con la operacin suma, +.
Que se representa: .
Podemos ver que '+' es:
Una operacin interna, dado que la suma de dos nmeros naturales es otro nmero natural:
Una operacin asociativa:
Y conmutativa:
Luego es semigrupo conmutativo o abeliano.
Otros ejemplos son los formados por el conjunto + de los enteros positivos junto con una cualquiera de las
siguientes operaciones:
la multiplicacin
la obtencin del m.c.d.
la obtencin del m.c.m.
Estos tres son semigrupos abelianos,1
Consideremos el conjunto potencia de A, P(A) = {X/ X A}; P(A) tanto con la unin cuanto la
interseccin de conjuntos es un semigrupo con unidad.2 Unidad para la unin es el conjunto vaco; y
en este ejemplo, la unidad para la interseccin ser el conjunto A.
Sea el conjunto de la matrices reales de orden n, con la suma de matrices. En tal caso es un
semigrupo conmutativo. Lo mismo, cuando se considera la multiplicacin es un semigrupo, pero no es
conmutativo.3
Sea el conjunto de matrices estocsticas con la habitual multiplicacin de matrices; si es as es un
semigrupo.4
Sea S = {4k+1/ k } con la multiplicacin habitual de nmeros naturales. Luego S es un semigrupo

multiplicativo.
Subsemigrupo
2 de 4 03/10/2017 21:31
Considerando S S donde S es un semigrupo con la operacin , diremos que S es un subsemigrupo si

xy est en S para cualesquiera x, y elementos de S.5
Ejemplos
El conjunto 4 de los mltiplos enteros de 4, con la adicin de enteros, es un subsemigrupo del

semigrupo 2 aditivo de los pares enteros.
El conjunto de las matrices diagonales de orden 2, con la suma de matrices, es un subsemigrupo del
semigrupo aditivo de la matrices cuadradas de orden 2.6
Cuasi grupo
Un cuasi grupo Q es un sistema de elementos Q(a,b,c,...) en el cual est definida una operacin binaria de
producto ab tal que, en ab = c cualesquiera dos de a, b, c determina, de modo nico, el tercero como
elemento de Q.7
Proposicin
Un grupo es a la vez un semigrupo y un cuasi grupo.7
Lazo
Un lazo es un cuasi grupo con una unidad 1 tal que 1a 0 a1 = a para cualquier elemento a.8
Vase tambin
Conjunto
Magma Ley de composicin
Semigrupo
Monoide Interna
Grupo
Asociatividad
Elemento neutro
Elemento simtrico
Referencias
1. Lecciones de lgebra moderna de P. Dubreil- Jacotin
2. Schaumm: "Algebra moderna"
3. Schaum. Matrices
4. Schaum. Idem
5. Cotlar- Sadoski. Introduccin al lgebra moderna
6. Se compueban los dos casos, sobre la base de las definiciones de los respectivos conjuntos, y las operaciones
establecidas sobre ellos.
7. Hall Jr. Op. cit.
3 de 4 03/10/2017 21:31
8. Hall Jr. Op. cit. pg. 18.
Obtenido de https://es.wikipedia.org/w/index.php?title=Semigrupo&oldid=101751582
Se edit esta pgina por ltima vez el 9 sep 2017 a las 11:56.
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

Semigrupo PDF

Cargado por

Copyright:

Formatos disponibles

Semigrupo PDF

Cargado por

Información del documento

Título original

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

Semigrupo PDF

Cargado por

Copyright:

Formatos disponibles

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

Un semigrupo cumple las dos siguientes propiedades:

1. Operacin interna: para cualesquiera dos

En otras palabras, un semigrupo es un magma asociativo. Si adems se cumple la propiedad conmutativa:

Conmutatividad: un conjunto A tiene la propiedad

se dice que es un semigrupo conmutativo o abeliano.

Podemos ver que '+' es:

Una operacin asociativa:

Luego es semigrupo conmutativo o abeliano.

Estos tres son semigrupos abelianos,1

Sea S = {4k+1/ k } con la multiplicacin habitual de nmeros naturales. Luego S es un semigrupo

Considerando S S donde S es un semigrupo con la operacin , diremos que S es un subsemigrupo si

El conjunto 4 de los mltiplos enteros de 4, con la adicin de enteros, es un subsemigrupo del

Un grupo es a la vez un semigrupo y un cuasi grupo.7

8. Hall Jr. Op. cit. pg. 18.

También podría gustarte