Anda di halaman 1dari 4

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
Semigrupo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Semigrupo

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
Semigrupo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Semigrupo

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