Académique Documents
Professionnel Documents
Culture Documents
ndice
1. Clases Laterales 1
1.1. Deniciones y descripcin 1
1. Clases Laterales
El siguiente lema compara esta denicin con la denicin de clases laterales; mostrando su igualdad y
permitindonos escoger cualquiera de las dos descripciones y notaciones para las clases de equivalencia de
las relaciones de congruencia (derecha o izquierda) mdulo H .
Lema 5. Sean G un grupo y H un subgrupo de G. Para todo g G, se cumple que [g]iH = gH y [g]dH = Hg.
Demostracin. Sea x G. Si x [g]iH , entonces g 1 x H , lo cual implica que existe un elemento h H
tal que x = gh gH .
Si x gH , entonces existe un elemento h H tal que x = gh. Multiplicando ambos lados de la igualdad
por g 1 por la izquierda, obtenemos que g 1 x = g 1 gh = h H . Concluimos que x [g]iH , y [g]iH = gH .
1
2 TOM ESTAS NOTAS: JORGE MORENO MONTES FECHA: 10 DE FEBRERO DE 2016
Si x [g]dH , entonces gx1 H , lo cual implica que existe un elemento h H tal que g = hx.
Multiplicando ambos lados de la igualdad por h1 por la izquierda, obtenemos que x = h1 hx = h1 g Hg .
Si x Hg , entonces existe un elemento h H tal que x = hg . Multiplicando ambos lados de la igualdad
por g 1 por la derecha, obtenemos que xg 1 = hgg 1 = h H . Concluimos que x [g]dH , y [g]dH = Hg .
El siguiente lema establece que cualesquiera dos clases laterales izquierdas respecto a un subgrupo jo
de un grupo G, tienen el mismo nmero de elementos.
Lema 6. Sean G un grupo y H un subgrupo de G. Para cualesquiera g1 , g2 G existe una biyeccin entre
g1 H y g2 H .
Demostracin. Sean g1 , g2 G. Denimos la funcin f : g1 H g2 H mediante la regla f (x) = g2 g11 x.
Observamos que para todo x g1 H se cumple que f (x) g2 H , ya que existe un elemento h H tal que
x = g1 h; lo cual implica que
f (x) = g2 g11 x = g2 g11 h = g2 h g2 H.
La funcin f es inyectiva, pues si a, b g1 H cumplen que f (a) = g2 g11 a = g2 g11 b = f (b), entonces a = b
por las leyes de cancelacin. Adems, la funcin f es suprayectiva debido a que todo elemento y g2 H
puede escribirse de la forma y = g2 g11 g1 g21 y = f (g1 g21 y); y g1 g21 y g1 H debido a que y g2 H , lo cual
implica que g21 y H . Concluimos que f es la biyeccin buscada.
Ejercicio 7. Demostrar el lema anlogo para las clases laterales derechas.
Lema 8. Sean G un grupo y H un subgrupo de G. Para cualesquiera g1 , g2 G existe una biyeccin entre
g1 H y Hg2 .
Demostracin. Gracias al lema anterior, basta probar que para todo g G existe una biyeccin entre gH
y Hg . Dado g G, denimos la funcin f : gH Hg mediante la regla f (x) = g 1 xg .
Observamos que para todo x gH se cumple que f (x) Hg , ya que existe un elemento h H tal que
x = gh; lo cual implica que
f (x) = g 1 xg = g1 ghg = hg Hg.
La funcin f es inyectiva, pues si a, b gH cumplen que f (a) = g 1 ag = g 1 bg = f (b), entonces a = b por
las leyes de cancelacin. Adems, la funcin f es suprayectiva debido a que todo elemento y Hg puede
escribirse de la forma y = g 1 gyg 1 g = f (gyg 1 ); y gyg 1 gH debido a que y Hg , lo cual implica que
yg 1 H . Esto muestra que f es una biyeccin.
Para concluir la demostracin, tomamos g1 , g2 H . La biyeccin buscada entre g1 H y Hg2 es la compo-
sicin de la biyeccin entre g1 H y g2 H , y la biyeccin entre g2 H y Hg2 . La expresin explcita de la funcin
resultante f : g1 H Hg2 es la siguiente:
f (x) = g21 g2 g11 xg2 = g11 xg2 .
EL siguiente lema es un recordatorio de los cursos bsicos de lgebra. La cardinalidad de un conjunto X
se denotar |X|.
Lema 9. Sean X y Y conjuntos. Si f : X Y es una funcin, entonces X = f 1 (y), y esta unin es
T
yY
disjunta; por lo que |X| = |f 1 (y)|.
P
yY
Corolario 10. Sean X y Y conjuntos. Si f : X Y es una funcin tal que |f 1 (y1 )| = |f 1 (y2 )| = m
para cualquiera y1 , y2 Y , entonces |X| = m|Y |.
Este corolario sirve para demostrar el siguiente teorema, conocido como Teorema de Lagrange.
Teorema 11. (Lagrange) Sean G un grupo y H un subgrupo de G. Si G es nito, entonces |H| divide a
|G|.
GEBRA MODERNA DANIEL LABARDINI FRAGOSO 3
Demostracin. Denimos la funcin f : G {gH|g G} mediante la regla f (g) = gH . Sabemos que para
todo g G existe una biyeccin entre H y gH , lo cual es equivalente a decir que toda clase lateral respecto
a H tiene la misma cardinalidad de H ; es decir que para todo g G se cumple que |f 1 (gH)| = |H|.
Usando el corolario anterior se obtiene que |G| = |H| |{gH|g G}|.
Corolario 12. Sean g un grupo y a G. Si G es nito, entonces el orden de a divide al orden de G y
a|G| = e.
A continuacin presentamos el Teorema de Euler, el cual puede demostrarse como corolario del Teorema
de Lagrange. Para esto recordamos la denicin de la funcin de Euler que asigna un entero a otro
mediante la regla (n) = |{b Z|1 b n y a, b son primos relativos }. Dado un nmero entero n, la
relacin de congruencia mdulo n en los nmeros enteros se denota n y la clase de equivalencia de un
nmero a Z bajo esta relacin se denota [a]n .
Corolario 13. (Euler) Si n es un nmero entero positivo y a es un entero tal que a y n son primos
relativos, entonces a(n) n 1.
Demostracin. Recordamos que el conjunto de clases en Zn que tienen inverso multiplicativo en Zn es
un grupo bajo la multiplicacin, y se denota Un . Adems, sabemos que para todo m Z se cumple
que [m]n Un si y slo si m y n son primos relativos; lo cual implica que el conjunto {b Z|1 b
n y a, b son primos relativos } puede biyectarse con Un . Usando esta biyeccin y el Corolario 10, obtenemos
que (n) = |Un |.
Como a y n son primos relativos, entonces [a]n Un y usando el Corolario 12 podemos concluir que
[a]n = [1]n = [a(n) ]n .
(n)
Ejercicio 14. Demostrar que si p, q son nmeros primos y G es un grupo de orden pq, entonces existe un
subgrupo de G que tiene orden p.
Proposicin 15. Sean G un grupo nito y H , K subgrupos de G. Si HK = {hk|h H y k K}, entonces
|H| |K|
|HK| = .
|H K|
Demostracin. Consideramos la funcin f : H K HK denida mediante la regla f (h, k) = hk.
Notamos que f es suprayectiva debido a que si y HK , entonces existen h0 H y k0 K tales que
y = h0 k0 = f (h0 , k0 ).
Observemos adems que si f (h, k) = y = f (h0 , k0 ), entonces hk = h0 k0 ; lo cual sucede si y slo si
h1 h0 = kk01 . Como H y K son subgrupos, son cerrados bajo la operacin de G, lo cual implica que
h1 h0 = kk01 H K . Al jar y HK , esta observacin induce una funcin : f 1 (y) H K denida
mediante la regla (h, k) = h1 h0 = kk01 . La funcin es inyectiva, pues si
(h1 , k1 ) = h1 1 1 1
1 h0 = h2 h0 = k1 k0 = k2 k0 = (h2 , k2 ),
|H K| > 1.
4 TOM ESTAS NOTAS: JORGE MORENO MONTES FECHA: 10 DE FEBRERO DE 2016
Demostracin. Si suponemos que |H K| = 1, entonces |HK| = |H| |K| > |G| por la proposicin anterior;
lo cual es absurdo, pues HK G.
Corolario 17. Sean p, q nmeros enteros positivos tales que p > q. Si p y q son primos y G es un grupo
de orden pq , entonces G tiene a lo ms un subgrupo de orden p.
Demostracin. Si suponemos que es falso, entonces existen H y K subgrupos diferentes de G tales que
|H| = |K| = p; y como ambos son subgrupos de G, H K es subgrupo de H , por lo que |H K| divide a
p y |H K| {1, p}, pues p es primo.
Para concluir observamos que por el corolario anterior se cumple que |H K| > 1, pues p > |G|. Por
p