Beruflich Dokumente
Kultur Dokumente
Semigrupos y Grupos
MAtematicas Discretas
Blanca Patricia Guerrero
05/11/2010
Universidad
Autónoma de
Chihuahua
Facultad de Ingeniería
Tabla de contenido
1. Propiedades:
Propiedad Conmutativa: AÛ B = BÛ A
Propiedad Asociativa: (AÛ B)Û C = AÛ (BÛ C)
2. Elementos Notables:
Idempotencia: A Û A = A
Elemento Neutro: A Û e = A
Elemento Inverso: A Û A’ = e
Elemento Absorbente: µ Û A = µ
Involución: A Û A = e
3. Ejemplificación:
Sea AÛ B= A+B - 3AB definida en Z
1) La operación es cerrada, porque lo son la suma y la multiplicación en Z, y porque lo es la
multiplicación de números enteros.
Propiedad Conmutativa: A+B - 3AB = B+A – 3BA. Esto es válido puesto que la suma y la
multiplicación son operaciones conmutativas.
Propiedad Asociativa:
AÛ (B + C - 3BC) = A + B + C – 3BC – 3A (B + C-3BC) = A + B + C - 3BC - 3AB - 3AC +
9ABC Œ
(A + B - 3AB)Û C = A + B - 3AB + C - 3 (A + B - 3AB) C = A + B + C - 3AB - 3AC -3BC +
9ABC
Nótese que aplicando la asociatividad, en ambos casos (Œ y ) se llegó al mismo resultado, por lo
tanto la operación es asociativa.
Idempotencia:
AÛ A = A + A - 3AA
2A - 3AA = A
2A - 3A² ¹ A
No es idempotente.
4. Elemento Neutro:
AÛ C = A + C – 3AC
A + e – 3 Ae = A
e – 3 AC = 0
e (1–3A) = 0
e=0
Elemento Absorbente:
AÛ µ = A + µ – 3Aµ
A+µ – 3 Aµ = 0
µ = –A : (-3A)
µ = 1/3
Al existir dos soluciones posibles no existe Elemento Absorbente.
*definida en s. Se denotara el semigrupo como (S,*), o bien si queda claro cual es la operación*,
solo como S.tambien se hara referencia a a*b como el producto de y b . El semigrupo (S,*) es
conmutativo, si * es un operación conmutativa.
Supongamos que tenemos un conjunto A y que en ese conjunto definimos una operación (que
llamaremos *) sobre los elementos del conjunto, de tal manera que para cualquier par de elementos
del conjunto A, el elemento resultante de la operación x*y, también pertenece al conjunto A.
Si la operación * tiene la propiedad asociativa x*(y*z) = (x*y)*z para todos los elementos de A,
entonces se dice que A tiene estructura de semigrupo para la operación *.
No confundir semigrupo con subgrupo. Un subgrupo es un grupo, un semigrupo es algo menos que
un grupo.
Esta definición es muy abstracta y se comprende mejor con un ejemplo. Sea A el conjunto de los
números enteros (Z), y la operación * sea la suma (+). Repasemos ahora la definición: El conjunto
de los números enteros y la suma cumple la propiedad asociativa (dados varios números, podemos
sumarlos en cualquier orden), por lo tanto el conjunto de los números enteros y la operación suma
tiene estructura de semigrupo.
También tiene estructura de semigrupo el conjunto de los números reales (R) y la operación
multiplicación.
Si la operación * tiene elemento neutro x*e = x, entonces el semigrupo se llama semigrupo con
elemento neutro.
III. ISOMORFISMO
El término ‘isomorfismo’ quiere decir ‘igual forma’, con ello se busca destacar la idea según la cual
existen similitudes y correspondencias formales entre diversos tipos de sistemas. La palabra
isomórfico se refiere entonces a la construcción de modelos de sistemas similares al modelo
original. El descubrimiento de un isomorfismo entre dos estructuras significa fundamentalmente
que el estudio de cada una puede reducirse al de la otra, lo cual deja ver en claro dos puntos de vista
desiguales sobre cada cuestión y suele ser primordial en su adecuada comprensión. Dos estructuras
matemáticas entre las que existe una relación de isomorfismo se llaman isomorfas. En álgebra
abstracta, isomorfismo es una biyectiva f tal que f y su inverso (que sería f elevado a -1) sean ambos
homomorfismos. Esto significa que dos sistemas tienen una parte de su estructura general.
En la teoría de la categoría, un isomorfismo (o iso), es una flecha que posee una propiedad
distintiva.
Sea una categoría C y objetos a y b de esta categoría. Una flecha,
Isomorfismo de anillos
+: A1 A2
*: A2 A’
La función f: A2 → A’ es un homomorfismo respecto de + y * si y sólo si la imagen de la
composición en A es igual a la composición de las imágenes en A'. Es decir:
F: A → A’ es homomorfismo respecto de
Teorema 2
Sea R una relación de congruencia sobre el semigrupo (S,*). Considérese la relación de * S/R X S/R
en S/R en la que la pareja ordenada ([a],[b]) se relaciona con [a*b], donde a y b están en S.
* es la función de S/R X S/R en S/R, y como es usual denotaremos *([a],[b]) por [a]*[b] = [a*b]
(S/R,*) es un semigrupo
Teorema 3
Sea R una relación de congruencia sobre un semigrupo (S,*) y (S/R, *) el semigrupo cociente
correspondiente. Entonces la función fr:S/R definida por
fr (a)=[a]
Teorema 4
Sea f: ST un homomorfismo del semigrupo (S,*) sobre el semigrupo (T,*’). Sea R la relación
sobre S definida por aRb si y solo si f(a)= f(b) para a y b en S. Entonces
Ejemplo 2. Considérese el semigrupo (Z,+), donde + es la suma ordinaria. Sea ƒ(x) =x2 –x-2. Ahora
se definirá la siguiente relación sobre Z:
a R b si y solo si ƒ(a)=(b)
Se verifica de manera directa que R es una relación de equivalencia sobre Z sin embargo R no es
una relación de congruencia pues se tiene:
Ejemplo 3. Considérese la situación del ejemplo 2 como R es una relación de congruencia sobre el
monoide S= (A*,-), se concluye que (S/R, .) es un monoide donde:
(a)●(β)= (a.β).
Ejemplo 4. Se puede repetir el ejemplo 2 de la sección con el entero positivo n en vez de 2. es decir
se define la siguiente relación el semigrupo (Z,+):
a R b si y solo si a= b
Ejemplo 5. Con el mismo método utilizando en el ejemplo 2 se puede mostrar una relación de
equivalencia y que como en el caso de n=2,a =b implica a n|(a-b). así, si n es 4 entonces
2=6
VI. GRUPOS
Un grupo ((G,’), donde G es un conjunto) es una ley de composición interna que cumple con
propiedades, las cuales serán explicadas a continuación:
Un grupo (G, ·) es abeliano si cumple la propiedad adicional de que a*b =b*a para todo par de
elementos a, b G.
Condiciones:
(G;Û )
1) Û es cerrada en G
2) Û es asociativa en G
3) $ e neutro en G para Û
4) $ a’ para cada a de G / a’Û a = aÛ a’ = e
Cuando además de ser grupo la operación es conmutativa, se dice que es Grupo Abeliano.
1. Composición de funciones:
Es asociativa, generalmente no es conmutativa. El elemento neutro es la Identidad. La función
inversa es la que conocemos habitualmente y decimos que la composición de F con G es otra
función de pares (x,y) / $ k: (x,k) Î g Ù (x,y) Î F.
Ejemplificación:
A F1 F2 F3 F4 F5 F6
1 1 2 3 1 2 3
2 2 3 1 3 1 2
3 3 1 2 2 3 1
2. Ejemplos de grupos.
1. El conjunto de todos los enteros Z con la operación de suma ordinaria es un grupo abeliano. Si
a ϵ Z, entonces el inverso de a es el negativo -a.
3. El conjunto de los números reales sin el cero bajo la operación de multiplicación ordinaria es
un grupo. Un inverso de a ≠ 0 es 1/a.
a * b = ab/2
a * 2 = (a)(2)/2 = a = (2)(a)/2 =2 * a
+ 0 1
0 0 1
1 1 0
Teorema 2: Sea R una relación de congruencia en el grupo (G, *). Entonces el semigrupo (G/R, ʘ)
es un grupo, donde la operación ʘ se define en G/R por
[a] ʘ [b] = [a * b]
Teorema 3: Sea R una relación de congruencia en el grupo G y sea H = [e], la clase de equivalencia
que contiene al idéntico. Entonces H es un subgrupo normal de G para cada a ϵ G, [a] = aH = Ha.
1 1 0
Entonces B = B x B x… x B (n factores) es un grupo con la operación ϴ definida por: (x1, x2,…,
n
VIII. REFERENCIAS
http://www.monografias.com/trabajos21/matematica-discreta/matematica-discreta.shtml
http://www.monografias.com/trabajos21/matematica-discreta/matematica-discreta.shtml#grupos
http://matematica.laguia2000.com/general/isomorfismo
http://www.telefonica.net/web2/lasmatematicasdemario/Algebra/Teoria%20de%20Conjuntos/Estructuras/
Grupos/SemiGrupos.htm