GEBRA MODERNA

DANIEL LABARDINI FRAGOSO

TOM ESTAS NOTAS: JORGE MORENO MONTES

FECHA: 10 DE FEBRERO DE 2016

ndice

1. Clases Laterales 1
1.1. Deniciones y descripcin 1

1. Clases Laterales

1.1. Deniciones y descripcin.

Denicin 1. Sean G un grupo, H un subgrupo de G y a,b G.
1. Decimos que a es congruente con b por la izquierda mdulo H , y escribimos a iH b, si a1 b H .
2. Decimos que a es congruente con b por la derecha mdulo H , y escribimos a dH b, si ab1 H .
La demostracin del siguiente lema se puede encontrar en las notas del 9 de febrero.
Lema 2. Sean G un grupo y H un subgrupo de G. Las relaciones iH y dH son, ambas, relaciones de
equivalencia en G.
Denicin 3. Sean G un grupo y H un subgrupo de G.
1. La clase de equivalencia de un elemento g G bajo la relacin iH es llamada clase lateral izquierda
de g respecto a H , y se denota [g]iH .
2. La clase de equivalencia de un elemento g G bajo la relacin dH es llamada clase lateral derecha
de g respecto a H , y se denota [g]dH .
Una de las preguntas que surgen de esta denicin es cmo dar una descripcin explcita de las clases de
equivalencia generadas por las dos relaciones. Para lograr esta descripcin, usamos la siguiente denicin.
Denicin 4. Sean G un grupo, H un subgrupo de G y g G. Denimos los conjuntos gH := {gh
G|h H} y Hg := {hg G|h H}.

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 .

Date : 18 de febrero de 2016.

Key words and phrases. Grupo, anillo, campo, teora de Galois.

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

entonces h1 = h2 y k1 = k2 por leyes de cancelacin.

Adems, la funcin es suprayectiva ya que si x H K , podemos considerar h0 x1 H y xk0 K ,
los cuales cumplen que
(h0 x1 , xk0 ) = (h0 x1 )1 h0 = xh0 h1 1
0 = x = xk0 k0 = (h0 x
1
, xk0 ),
y (h0 x1 , xk0 ) f 1 (y) debido a que
f (h0 x1 , xk0 ) = h0 x1 xk0 = h0 k0 = y.
Concluimos que es una biyeccin, por lo que para todo y HK se cumple que |f 1 (y)| = |H K|; lo
cual implica que |HK| |H K| = |H| |K| por el Corolario 10. 
Corolario 16. Sea G un grupo nito y H , K subgrupos de G. Si |H| > |G| y |K| > |G|, entonces
p p

|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

otro lado, si|H K| = p, entonces H = K , lo cual es una contradiccin. 

Instituto de Matemicas, Universidad Nacional Autnoma de Mxico

E-mail address : labardini@matem.unam.mx