Captulo 1

APUNTES PARA LA
TERCERA PRUEBA
1.1. Accin de un grupo sobre un conjunto
1.1.1. Preliminares
Consideremos el grupo lineal de orden 2 2 sobre el cuerpo de los nmeros
reales, G1(2, R) y denamos la funcin:
: G1(2, R) R
2
R
2
tal que (q, ) = q =
_
a /
c d
__
r
j
_
=
_
ar +/j
cr +dj
_
donde
q =
_
a /
c d
_
con ad /c ,= 0 y =
_
r
j
_
en R
2
. Claramente esta funcin
verica las siguientes dos propiedades:
q (q
0
) = (qq
0
) , \q, q
0
G1(2, R); \ R
2
1 = , \ R
2
y 1 =
_
1 0
0 1
_
(1)
Observemos que esta funcin, la cual llamaremos la accin del grupo lineal
G1(2, R) sobre el plano R
2
, es tal que dado cualquier vector
_
a
c
_
de R
2
no nulo es posible obtenerlo como
_
a /
c d
__
1
0
_
y se tiene, de manera ob-
va, que
_
0
0
_
=
_
a /
c d
__
0
0
_
.
Si consideramos ahora el grupo simtrico o
n
y el conjunto A = 1, 2, , :
entonces la funcin natural:
: o
n
A A
1
2 CAPTULO 1. APUNTES PARA LA TERCERA PRUEBA
denida por (o, i) = o i = o(i) verica la dos propiedades sealadas en (1),
as podemos igualmente decir que el grupo simtrico o
n
acta sobre el conjunto
A. Observemos ahora que dado i en A jo podemos determinar el conjunto
t(i) [ t o
n
el cual es simplemente el conjunto A ya que dado cualquier , en
A existe un t en o
n
tal que t(i) = ,, a saber la transposicin (i ,).
Consideremos ahora el grupo de las rotaciones del plano,
O(2, R) =
__
cos t sint
sint cos t
_
[ t [0, 2[
_
el cual acta naturalmente sobre el plano R
2
mediante la accin evidente:
_
cos t sint
sint cos t
_

_
r
j
_
=
_
rcos t j sint
rsint +j cos t
_
Por ejemplo consideremos la rotacin del plano R
2
de ngulo
t
4
, esto es:
_
1
p
2

1
p
2
1
p
2
1
p
2
_

_
1
0
_
=
_
1
p
2
1
p
2
_
y
_
1
p
2

1
p
2
1
p
2
1
p
2
_

_
0
1
_
=
_

1
p
2
1
p
2
_
lo que signica que hemos rotado el plano en un ngulo de
t
4
y as los ejes
cannicos han rotado a las rectas diagonales que continuan siendo perpendi-
culares. Observemos ahora que dado un vector en el plano R
2
entonces el
conjunto
__
cos t sint
sint cos t
_
[ t [0, 2[
_
es el crculo que tiene radio igual
a la longitud del vector . As dado dos vectores n y de la misma longitud
es posible encontrar una rotacin j en O(2, R) tal que j(n) = . Esto dice que
todos los crculos concntricos forman una particin del plano y por lo tanto
tenemos una relacin de equivalencia sobre R
2
la cual es:
n ~ == j O(2, R),j(n) =
cuyas clases de equivalencia corresponden ser los crculos concntricos.
Ahora daremos las denicin de accin de un grupo sobre un conjunto y
algunas de sus consecuencias ms notables.
Denicin 1 Sea G un grupo con identidad c
c
y A un conjunto no vaco. Una
accin de G en A es una funcin
o : GA A
tal que para cada r A y para cada q, q
0
G, se tiene:
a. o (qq
0
, r) = o(q, o (q
0
r))
b. o (c
c
, r) = r
1.1. ACCIN DE UN GRUPO SOBRE UN CONJUNTO 3
Notacin 2 Si o es una accin de G en A, anotamos simplemente por (A, G, o)
o diremos tambin que el grupo G acta sobre A . Si no hay confusin algu-
na con la funcin, en vez de anotar o(q, r) escribimos tan solo q r y esto lo
expresamos diciendo que A es un G-espacio.
Con estas nuevas notaciones podemos escribir la denicin anterior del sigui-
ente modo:
a. (qq
0
) r = q (q
0
r)
b. c
c
r = r
para cualquier q, q
0
en G y r en A.
Proposicin 3 El grupo G actua sobre A si y slo si hay un homomorsmo
: G 1ij(A)
q

: (r q r)
Demostracin. Si G acta sobre A entonces, para cada q en G,

: A A
es una biyeccin y claramente es una funcin bien denida la cual es un
homomorsmo de grupos. En efecto, dado q, q
0
en G y r en A se tiene:

0 (r) = (qq
0
) r = q (q
0
r) =

0 (r)) =

0 (r)
Recprocamente, si : G 1ij(G) hay un homomorsmo entonces de-
nimos
q r =

(r)
para q en G y r en A, la cual verica trivialemente las propiedades de accin.
Denicin 4 Sea A un G-espacio. Se dene en / A la relacin:
r ~ j si y slo si hay q G tal que q r = j
Ejercicio 5 Pruebe que la relacin denida anteriormente es una relacin de
equivalencia en A.
Denicin 6 Con las notaciones anteriores se tiene que:
4 CAPTULO 1. APUNTES PARA LA TERCERA PRUEBA
1. Las clases de equivalencia se llaman las rbitas de A y se denotan, para
cada r A, Or/
c
(r) o tambin por Gr.
2. Si el conjunto cociente A,G denido por esta relacin tiene una sola r-
bita, es decir, para cada r, j A hay un q G tal que q r = j, se dice
que la accin es transitiva o que el grupo G acta sobre el conjunto A
transitivamente.
3. Para un r en A se llama estabilizador de r o grupo de isotropa de r, y
se denota por ota/
c
(r) o bien G
r
el conjunto
G
r
=: q G : q r = r
Ejercicio 7 Probar que G
r
es un subgrupo del grupo G.
Denicin 8 Sea A un G-espacio. Diremos que el grupo G acta elmente
sobre A, o que la accin de G sobre A es el si y slo si para cada r en A se
tiene:
q r = r == q = c
c
Proposicin 9 Sea A un G-espacio. Entonces, ker =

r2
G
r
donde es el
homomorsmo denido anteriormente.
Demostracin. Ejercicio
Corolario 10 Sea A un G-espacio. Entonces la accin es el si y slo si

r2
G
r
= c
c
.Es decir, la accin de G sobre A es el si y slo si es un
monomorsmo.
Observacin 11 Observe que el corolario anterior establece que si G acta
elmente sobre un conjunto A entonces, usando el Primer Teorema del Homo-
morsmo, se tiene que
G Im
esto es G, es isomorfo a un subgrupo de las biyecciones de A.
1.1. ACCIN DE UN GRUPO SOBRE UN CONJUNTO 5
1.1.2. Ejemplos
1. Sea G un grupo cualquiera y A un conjunto no vaco. Se dene la accin
trivial de G sobre A, por
q r = r
para cualquier q en G y cualquier r en A.
2. Sea A un conjunto cualquier no vaco y G = 1ij(A), entonces se tiene la
accin natural de G sobre A, a saber:
o r = o(r)
para cada o en G y cada r en A. Verique que esta accin es el y
transitiva.
3. Sea o : GA A, y H _ G. Entonces, H acta sobre A por restriccin
deniendo
o
j1
: H A A
simplemente por o
j1
(/, r) = o(/, r) para / en H y r en A.
4. Un grupo G acta por conjugacin sobre G si
q r = qrq
1
Claramente se observa que las rbitas corresponden a las clases de conju-
gacin y el estabilizador de un elemento r de G corresponde ser el cen-
tralizador de r en G, C
c
(r) = q G [ qr = rq
5. Si H es un subgrupo de G entonces G acta sobre A = G,H por traslacin
a la izquierda y se tiene para rH en A,
G
r1
= rHr
1
6. Sea \ un 1-espacio vectorial y consideremos el grupo multiplicativo 1

el cual actua por homotecias sobre \, a saber

c = /
o
() = c
para en \ y c en 1

. Observe que las rbitas de esta accin son las

rectas vectoriales privadas del origen y el cociente es el espacio proyectivo.
La accin es el pero no transitiva.
7. Consideremos ahora (\, +) actuando sobre \ por traslaciones, esto es:
r = t
u
(r) = +r
para en \ y r en \. Esta accin es transitiva y el.
6 CAPTULO 1. APUNTES PARA LA TERCERA PRUEBA
8. Sea G(\ ) el grupo afn de \, esto es:
G(\ ) = t
u
) : \ [ ) nt
1
(\ )
dondent
1
(\ ) es el conjunto de los automorsmos lineales de \. Como
G(\ ) _ 1ij(\ ), se tiene entonces una accin natural de G(\ ) sobre
\ por restriccin.
9. Supongamos ahora que \ es un espacio eucldeo (esto es con un producto
escalar). Podemos considerar el grupo O
+
(\ ) de las rotaciones de \ y con-
siderar la accin natural O
+
(\ ) sobre \. Si \ = R
2
, las rbitas son todas
circunferencias centradas en el origen. La accin es el y no transitiva.
10. Si dim\ = :, entonces el grupo nt
1
(\ ) de los automorsmos lineales de
\, acta sobre el conjunto formado por todas las bases ordenadas de \ de
manera :-transitiva (esto es dado (n
1
, . . . n
n
) y (
1
, . . .
n
) bases ordenadas
de \ existe q en nt
1
(\ ) de modo tal que q (n
1
, . . . n
n
) = (
1
, . . .
n
))
Ejercicio 12 Sea G un grupo cualquiera y A = G Se dene, para q en G y r
en A
q r = qr
que es simplemente la multiplicacin en G. Pruebe que esta es una accin, la
cual es llamada accin por traslacin a la izquierda, y verique:
a. G acta elmente sobre A = G.
b. El homomorismo : G 1ij(G) permite identicar a G con un sub-
grupo de biyecciones de G.
c. Si [G[ = :, entonces G se identica con un subgrupo del grupo de per-
mutaciones o
n
(Teorema de Cayley)
d. Las rbitas para esta accin son las coclases izquierdas en G,H
Ejercicio 13 Dena y pruebe, en forma anloga, lo que se debe llamar accin
por traslacin a la derecha.
Proposicin 14 Sea / A un G.espacio, r e j A. Si Gr = Gj, entonces G
r
y
G

son conjugados, en particular, G

r
es isomorfo a G

1.1. ACCIN DE UN GRUPO SOBRE UN CONJUNTO 7

Demostracin. Como j Gr entonces existe q G tal que q r = j. As
se tiene que:
/ G

= / (q r) = q r = (q
1
/q) r = r = q
1
/q G
r
= / qG
r
q
1
de donde se tiene que G

= aG
r
a
1
, y por lo tanto G
r
y G

son isomorfos.
Corolario 15 Si G acta sobre A y existe un r A tal que G
r
E G, entonces
para cada j Gr, se tiene G

= G
r
Demostracin. Ejercicio.
Proposicin 16 Si G acta sobre A y G es nito, entonces, para cada r A,
[G[
[G
r
[
= [Gr[
Demostracin. La funcin , : G,G
r
Gr denida por ,(qG
r
) = q r
es una biyeccin. Entonces
jcj
jcxj
= [Gr[
Corolario 17 Si G acta sobre A transitivamente, y el grupo G es nito, en-
tonces, para cada r, j A, se tiene:
1. [G : G
r
] = [A[
2. G
r
es conjugado con G

Ejercicio 18 Sea G un grupo cualquiera. Cuntos conjuntos A podemos de-

terminar de modo tal que G acte transitivamente sobre este conjunto?
La siguientes proposiciones muestran la utilidad y fuerza del concepto de
accin de un grupo sobre un conjunto.
Proposicin 19 Sea [G[ = : y j el menor primo que divide a :. Si existe H
subgrupo de G con [G : H] = j entonces H E G.
Demostracin. Si existe H subgrupo de G con [G : H] = j entonces G,H =
q
1
H, q
2
H, . . . , q

H . Ahora hagamos actuar G sobre G,H por traslacin a la

izquierda, q q
I
H = qq
I
H. Esta accin dene un homomorsmo
_
: G
8 CAPTULO 1. APUNTES PARA LA TERCERA PRUEBA
1ij(G,H) cuyo ncleo es ker =

I=1
q
I
Hq
1
I
(ver ejemplo 5) y ker H.
Como Im 1ij(G,H) o

entonces [G : ker ] ,j! y del hecho que

[G[ = [ker [ [G, ker [
se tiene que [G : ker ] , [G[ , pero j es el menor primo que divide a [G[ entonces
[G : ker ] = j o1 (no olvidar que j! = j(j 1)(j 2) 2 1). Pero
[G : ker ] = [G : H] [H : ker ] = j [H : ker ]
entonces [H : ker ] = 1 y as tenemos que H = ker y por lo tanto H C G.
1.1.3. Ecuacin de clases
En lo que sigue veremos una de las aplicaciones ms sorprendentes del con-
cepto de accin de grupo. Consideremos ahora la accin de G sobre un conjunto
A. Es claro, ya que una accin dene una relacin de equivalencia sobre el
conjunto A o sea particiona al conjunto A, que
A =

_
Gr
Ahora, si G es nito, como la unin es disjunta, entonces
[A[ =
:

I=1
[Gr
I
[ (2)
donde r
1
, . . . , r
:
es un conjunto de representantes para las rbitas de la accin
de G sobre A. Como [Gr
I
[ = [G : G
ri
] entonces (2) puede ser expresado por
[A[ =
:

I=1
[G : G
ri
] (3)
Ahora, si sumamos todas las rbitas con un solo elemento, esto es [G : G
ri
] = 1
o sea G
ri
= q G [ q r
I
= r
I
= G, obtenemos que
[Gr
I
[ = 1 = r
I
A
c
= r A [ q r = r, \q G
El conjunto A
c
es llamado el conjunto de los puntos dejados jos por G y a
veces se anota por 1ir
c
(A).
Ahora, reagrupando en la frmula (3) las rbitas con solo un elemento y
sumando, separadamente, las que tienen ms de un elemento podemos reescribir
(3) del siguiente modo:
[A[ = [A
c
[ +
:

[c:cx],1
[G : G
r
] (4)
Una aplicacin interesante de la frmula encontrada es la llamada ECUA-
CION DE CLASES.
1.1. ACCIN DE UN GRUPO SOBRE UN CONJUNTO 9
Proposicin 20 (Ecuacin de clases) Sea G un grupo de orden :. Entonces se
tiene que
[G[ = [7(G)[ +

ri / 22(c)
[G : C
c
(r
I
)]
donde C
c
(r
I
) es el centralizador en G de r
I
, con r
1
, . . . r
:
representantes de las
clases de conjugacin del grupo G.
Demostracin. Si consideramos la accin por conjugacin de G sobre G
(observe que en este caso A = G y q r = qrq
1
para q, r en G) tenemos que
el conjunto de los puntos dejados jos por G es el 7(G) y como G
ri
= C
c
(r
I
)
entonces, aplicando la frmula (4), tenemos
[G[ = [7(G)[ +

ri / 22(c)
[G : C
c
(r
I
)] (5)
Proposicin 21 Sea G un grupo de orden j
n
actuando sobre un conjunto nito
A. Entonces [A[ = [A
c
[ (modj)
Demostracin. Como [Gr[ =
jcj
jcxj
= [G : G
r
] entonces es claro que j, [G : G
r
] .
As, aplicando la frmula (4), tenemos
[A[ [A
c
[ =
:

[c:cx],1
[G : G
r
]
de donde se obtiene que [A[ = [A
c
[ (modj).
Una aplicacin directa de la anterior Proposicin es el siguiente Corolario el
cual ser de gran utilidad en la siguiente seccin.
Corolario 22 Sea H un j-subgrupo de un grupo nito G. Entonces
1. [
c
(H) : H] = [G : H](modj)
2. Si j,[G : H] entonces
c
(H) ,= H.
Demostracin. 1. Sea A = G,H y hagamos actuar al subgrupo H sobre
A por traslacin a la izquierda. Esto es: dado qH A y / H cualesquiera,
entonces
/ qH = (/q)H
Claramente [A[ = [G : H] y el conjunto
A
c
= qH [ (/q)H = qH, \/ H
= qH [ (q
1
/q)H = H, \/ H
= qH [ q
1
/q H, \/ H
= qH [ q
1
Hq = H
=
c
(H),H
10 CAPTULO 1. APUNTES PARA LA TERCERA PRUEBA
y as, aplicando la Proposicin anterior, tenemos que
[
c
(H) : H] = [G : H](modj)
2. Si j,[G : H], aplicando divisibilidad tenemos que j,[
c
(H) : H], entonces

c
(H) ,= H.
Proposicin 23 (Teorema de Cauchy) Si [G[ = :, y j,:, j primo, entonces
hay un elemento de orden j en G.
Demostracin. Sea A = (r
1
, . . . , r

) [ r
1
r
2
r

= c
c
, el cual es un
subconjunto de G

, y es fcil ver que

[A[ = :
1
y como j,: entonces j,:
1
.
Consideremos el ciclo o = (123...j) de largo j, el cual pertenece al grupo
o

. El grupo o = 1, o, o
2
, . . . , o
1
lo podemos hacer actuar sobre A del
siguiente modo:
o
I
(r
1
, . . . , r

) = (r
I+1
, . . . r

, r
1
, . . . , r
I
), con 1 _ i _ j
Claramente o
I
(r
1
, . . . , r

) es un elemento de A ya que es un j-upla y ademas

r
I+1
r
I+2
r

r
1
r
I
= (r
1
r
I
)
1
[(r
1
r
I
)(r
I+1
r
I+2
r

)] (r
1
r
I
)
= (r
1
r
2
r
I
)
1
c
c
(r
1
r
2
r
I
)
= c
c
Usando proposicin anterior, ya que [o[ = j, tenemos que [A[ = [A
c
[ (modj)
y como j, [A[ entonces j, [A
c
[ . Ahora
A
c
= (r
1
, . . . , r

) [ o
I
(r
1
, . . . , r

) = (r
1
, . . . , r

), \i 1, . . . , j
el cual claramente es no vacio ya que (c
c
, . . . , c
c
) es un elemento de A
c
y es
fcil probar que (r
1
, . . . , r

) A
c
si y solamente s r
1
= r
2
= = r

. As,
como j, [A
c
[ entonces [A
c
[ tiene que ser mayor o igual que j y por lo tanto
existe un r en G tal que (r, . . . , r) A
c
, de donde se obtiene que r

= c
c
, esto
es, el orden del elemento r de G es j.
Denicin 24 Sea j un nmero primo. Un grupo G es llamado un j-grupo si
todo elemento en G tiene orden alguna potencia de j. Un subgrupo H de un
grupo G es llamado un j-subgrupo de G si H es un j-grupo.
Ejemplo 25 El grupo de los movimientos rgidos de un cuadrado, 1
4
es un
2-grupo de orden 2
3
.
1.1. ACCIN DE UN GRUPO SOBRE UN CONJUNTO 11
Ejemplo 26 Considere el grupo
1

n=1
7,j
n
7, el cual puede ser visto como in-
nitas uplas que tienen tan solo un nmero nito de coordenadas no nulas. Este
es un jgrupo el cual tiene innitos elementos. Queda como ejercicio no trivial
convencerse de todo lo armado.
Corolario 27 Sea G un grupo nito. Entonces G es un j-grupo si y solo s
[G[ = j
n
para algn entero positivo :.
Demostracin. Supongamos que G es un j-grupo nito y que el [G[ es
divisible por un primo distinto de j. Entonces por el Teorema de Cauchy
existe en G un elemento de orden , lo cual contradice que es un j-grupo. As
el nico divisor primo del [G[ es j y por lo tanto [G[ = j
n
para algn : entero
positivo.
Recprocamente, si [G[ = j
n
entonces es claro, de la denicin de j-grupo,
que G es un j-grupo.
Algunas aplicaciones de los visto anteriormente son las siguientes proposi-
ciones:
Proposicin 28 Si G es un j-grupo, entonces 7(G) ,= c
Demostracin. Si [G[ = j
n
entonces
j
n
= [7(G)[ +
:

I=1
[G : C
c
(r
I
)]
con [G : C
c
(r
I
)] 1. Por el teorema de Lagrange se tiene que j, [G : C
c
(r
I
)] ,
para i 1, 2, . . . , r, y as obtenemos que j debe dividir al [7(G)[ lo cual im-
plica que [7(G)[ _ j.
Corolario 29 Si G es un j-grupo no abeliano entonces G es un grupo no sim-
ple.
Demostracin. Ejercicio
Corolario 30 Si [G[ = j
2
, entonces el grupo G es abeliano.
Demostracin. Como G es un j-grupo entonces 7(G) ,= c
c
y usando
Lagrange 7(G) debe tener orden j o bien j
2
.
Si [7(G)[ = j entonces el grupo cociente G,7(G) tiene orden j y por lo
tanto este grupo cociente es cclico con lo cual se puede concluir que el grupo G
es abeliano (EJERCICIO).
Si [7(G)[ = j
2
entonces G = 7(G) y as G es un grupo abeliano.
12 CAPTULO 1. APUNTES PARA LA TERCERA PRUEBA
1.1.4. Ejercicios
1. En cada uno de los casos siguientes nt(G) acta sobre G de la manera
habitual. Encuentre rbitas y estabilizadores para los grupos:
a) Z
8
b) Z
14
c) Z
4
Z
2
d) Z
2
Z
2
Z
2
2. Sea G un grupo que actua sobre A. Sean r, r
0
Gr, a G tal que r
0
= ar.
a) G
r
= a
1
G
r
0 a
b) Represente la situacin para G siendo el grupo de rotaciones de R
3
3. Si G es un grupo que acta sobre A, y Gr es un rbita de r, entonces G
acta transitivamente sobre Gr de manera transitiva.
4. Si G es un grupo que acta sobre A, entonces G, ker () acta elmente
sobre A.
5. Considere la aplicacin : o
n
G1(:, R) denida por (o) = [o], donde
[o] es la matriz de permutacin inducida por o
a) Pruebe que es un monomorsmo.
b) Examine en detalle la situacin
6. En relacin con el ejercicio anterior, d una representacin"matricial del
grupo G, donde G es, respectivamente:
a) Z
6
b) Z
12
c) S
3
d) 1
4
7. Sean 1 un cuerpo y G = o
n
. El grupo G acta sobre 1 [r
1
, r
2
, . . . , r
n
]
por o ) (r
1
, r
2
, . . . , r
n
) = )
_
r
c(1)
, r
c(2)
, . . . , r
c(n)
_
.
a) Pruebe que la accin es el.
b) Si : = 4, encuentre G(r
1
r
3
+r
2
r
4
) y G
(1,2,3,4)
c) En general,
n
_ G
}
, con ) =

I<
(r
I
r

)
d) Observe que, en otro orden de ideas, dos matrices son conjugadas si
y slo si ellas son similares.
8. Sea C una clase de conjugacin de un grupo G.
1.1. ACCIN DE UN GRUPO SOBRE UN CONJUNTO 13
a) Si ) nt(G), entonces )(C) es tambin una clase de conjugacin
b) ) (nt(G)) ,)(C) = C, C clase de conjugacin en nt (G)
9. Sea G un grupo que acta sobre A. Si r A, G
r
acta sobre G por
traslacin izquierda. Entonces, la aplicacin a G
r
a
1
r es una biyeccin
entre G
r
,G

y Gr.
10. Sean 1 un cuerpo nito, \ un espacio vectorial de dimensin : sobre 1.
G1(:, 1) = nt(\ ) actuando sobre \ de manera natural.
a) [G1(:, 1)[ = (
n
1) (
n
) ..
_

n1
_
b) La accin tiene dos rbitas: \ 0 y 0 ,
c) Si ,= 0, entonces [O
\
[ =
n
1
d) Si ,= 0, entonces
G1(\ )
u
= (a
I
) G1(\ ),a
I
= 0, a
1I
= 0, i = 1....:
11. Sea G un grupo.
a) Z
2
acta sobre G por ,(0, a) = a, ,(1, a) = a
1
, (a G)
b) ord (a) = 2 si y slo si a ,= c y [Ga[ = 1.
c) Determine cul es [Ga[ si a no es orden 2
12. Usando la ecuacin de clases, pruebe que si [G[ es par, entonces hay un
nmero impar de elementos de orden 2 en G.
13. Usando la ecuacin de clases y el teorema de Lagrange, pruebe que si A es
nito y G es un grupo actuando sobre A, entonces [A[ = [G[

r2
1
jcxj
14. Encuentre el nmero de clases de conjugacin, el nmero de elementos de
cada clase y, explcitamente las clases, para los siguientes grupos:
a) o
3
b) o
4
c) o
5
d) 1
4
15. Si G tiene dos clases de conjugacin, entonces [G[ = 2
14 CAPTULO 1. APUNTES PARA LA TERCERA PRUEBA
1.2. Teoremas de Sylow
El teorema de Lagrange arma: "sea G un grupo nito de orden : y H un
subgrupo del grupo G, entonces [H[ divide a :". Los teoremas que veremos en
esta seccin, llamados Teoremas de Sylow, vienen a dar recprocos parciales del
teorema de Lagrange y adems permiten clasicar grupos nitos por su orden.
Esto es, dado un entero positivo : se puede clasicar, salvo isomorsmos, los
grupos nitos de ese orden.
Un contraejemplo, bien conocido, donde no se verica el recproco del teo-
rema de Lagrange es en el grupo
4
.El grupo
4
tiene 12 elementos y siendo 6
un divisor de 12 no existe en
4
un subgrupo de orden 6.
En efecto, si H fuese un subgrupo de
4
de orden 6 entonces H sera un
subgrupo normal de
4
(esto es consecuencia de que [
4
: H] = 2). Como todo
triciclo es un elemento de
4
y tenemos 8 de ellos (ya que la cantidad de triciclos
en
4
es 4 3 2),3!) entonces H esta obligado a tener entre sus elementos algn
triciclo. Sea (a/c) el triciclo que esta en H, entonces para cualquier d ,= a, /, c
se tiene que
(a/d) = (a/)(cd)(a/c)(a/c)(cd)(a/) = [(a/) (cd)] (a/c)(a/c) [(a/) (cd)]
1
y como H C
4
entonces se tiene que [(a/) (cd)] (a/c)(a/c) [(a/) (cd)]
1
H.
As, se concluye que H contiene todos los triciclos y por lo tanto debe ser
4
.
Esto prueba que
4
no tiene un subgrupo de orden 6.
Un recproco parcial del teorema de Lagrange, que ya se demostr anteri-
ormente, es el Teorema de Cauchy: "si G es un grupo de orden : y j es un
nmero primo que divide a : entonces existe un elemento q en G el cual tiene
orden j"(equivalentemente: existe un subgrupo H = q el cual tiene orden j).
El llamado primer teorema de Sylow viene a generalizar el Teorema de Cauchy.
Proposicin 31 (Primer Teorema de Sylow) Sea G un grupo nito, [G[ = j
:
:,
j un nmero primo y r > 1, con (:, j) = 1 (es decir j - :). Entonces:
1. Para cada i, tal que 1 _ i _ r, el grupo G contiene (al menos) un subgrupo
H de orden j
I
.
2. Cada subgrupo H de orden j
I
es normal en algn subgrupo 1 de orden
j
I+1
, (1 _ i _ r 1)
Demostracin. 1. Se procede por induccin.
Aplicando el Teorema de Cauchy obtenemos que G tiene un subgrupo de
orden j
Ahora, se asume que existe un subgrupo H de orden j
I
, para i < :, y se
prueba que existe un subgrupo 1 de orden j
I+1
.
En efecto, como i < :, entonces j,[G : H], y por (2) del Corolario 21 de la
seccin anterior, se tiene que
c
(H) ,= H y como H C
c
(H)

c
(H),H
1.2. TEOREMAS DE SYLOW 15
es un grupo.
Aplicando (1) de Corolario 21, como j,[G : H] entonces j, [
c
(H) : H] , as
el Teorema de Cauchy aplicado al grupo
c
(H),H permite obtener un subgrupo
1 de
c
(H),H, el cual tiene orden j. Usando el epimorsmo cannico
:
c
(H)
c
(H),H
tenemos que
1
(1) es un subgrupo de
c
(H), y por lo tanto de G, el cual
contiene a H. As, si denotamos por 1 =
1
(1) se tiene que 1 es un subgrupo
de G el cual contiene a H, y como 1 = 1,H, entonces
[1[ =

[H[ = j j
I
= j
I+1
2. Es claro que H C 1 ya que H C
c
(H) y H < 1 <
c
(H).
Denicin 32 Se dice que un subgrupo de G es maximal si no esta contenido
en otro mayor que no sea el mismo G. Un j-subgrupo maximal de G se denomina
un j-subgrupo de Sylow de G.
Observacin 33 Observe que si G es nito y [G[ = j
:
:, j un nmero primo
con (:, j) = 1, entonces H es un j-subgrupo de Sylow si y solamente s [H[ = j
:
.
Observe que la denicin dada anteriormenete es completamente general y no
esta restringida a grupos nitos. En lo que sigue abreviaremos: H es un j-ss
para decir que H es un j-subgrupo de Sylow.
Ejemplo 34 Si consideramos el grupo alternante
4
, de las permutaciones
pares del grupo simtrico o
4
, tenemos que [
4
[ = 2
2
3, y as el teorema anterior
asegura la existencia de 2-ss y 3-ss. Claramente H = (12)(34), (13)(24) es un
2-ss de
4
y por lo tanto [H[ = 2
2
. Tambin es claro que T
1
= (123) es un 3-ss
de
4
, cuyo orden es 3, al igual que T
2
= (124), T
3
= (234) y T
4
= (134).
Cuntos 2-ss y 3-ss existen es algo que el teorema no dice. Lo nico que asegura
el teorema es la existencia de a lo menos un j-subgrupo de Sylow de G para
cada nmero primo j que divida al [G[ .
Observacin 35 Observemos que si 1 es un j-ss de G y q es un elemento
cualquiera de G, entonces q1q
1
es tambien un j-ss de G. En efecto, ,

:
G G denido por ,

(r) = qrq
1
, para r G, es un automorsmo del
grupo G, por lo tanto q1q
1
es un subgrupo de G y como ,

es una biyeccin
de G entonces

q1q
1

= [1[.
16 CAPTULO 1. APUNTES PARA LA TERCERA PRUEBA
Proposicin 36 (Segundo Teorema de Sylow) Si 1 y Q son j-subgrupos de
Sylow de un grupo nito G, entonces 1 y Q son subgrupos conjugados.
Demostracin. Consideremos el conjunto G,1 y hagamos actuar Q sobre
G,1 de manera obvia:
q1 = (q)1, Q, q1 G,1
Aplicando Proposicin 20 de la seccin anterior, tenemos que [1ir
Q
(G,1)[ =
[G,1[ (modj) y como j no divide al [G,1[ entonces [1ir
Q
(G,1)[ 0. Sea q
0
1
un elemento del conjunto 1ir
Q
(G,1) por lo tanto
q
0
1 = q
0
1, \ Q
y con esto tenemos
(q
1
0
q
0
)1 = 1, \ Q
lo cual equivale a decir que
(q
1
0
Qq
0
) 1
Ahora, como ambos son j-ss de G, entonces tienen igual orden y as concluimos
que existe q
0
en G tal que
q
1
0
Qq
0
= 1
o sea 1 y Q son subgrupos conjugados.
Ejemplo 37 Si consideramos, al igual que en el ejemplo anterior, el grupo
alternante
4
y sus 3-ss T
1
= (123) , T
2
= (124), T
3
= (234) y T
4
=
(134) entonces, segn el teorema anterior, estos subgrupos son conjugados.
Determine q
2
, q
3
y q
4
en
4
tal que q
1
2
T
1
q
2
= T
2
, q
1
3
T
1
q
3
= T
3
y q
1
4
T
1
q
4
=
T
4
. Observe que T
1
, T
2
, T
3
, T
4
corresponden ser la rbita de T
1
bajo la accin
por conjugacin de
4
sobre el conjunto, oj|
3
(
4
), de todos los 3-ss de
4
.
Proposicin 38 (Tercer Teorema de Sylow) Si G es un grupo nito con [G[ =
j
:
:, j un nmero primo y r > 1, con (:, j) = 1, entonces el nmero :

, de
j-subgrupos de Sylow, verica:
1. :

divide al [G[
2. :

= 1(modj)
Demostracin. Sea A = oj|

(G), el conjunto de todos los j-ss de G. El

Primer Teorema de Sylow asegura la existencia de al menos un jss de G, lo
cual implica que A ,= c Sea 1 un j-ss de G y hagamos actuar 1 sobre A por
conjugacin. Como [1[ = j
:
entonces, aplicando la Proposicin 20 de la seccin
anterior, tenemos que
[A[ = [A
1
[ (modj) (1)
1.3. APLICACIONES 17
Ahora, A
1
= Q A [ rQr
1
= Q, \r 1, lo que signica que dado un Q
en A entonces 1 <
c
(Q). Tambin se tiene que Q C
c
(Q). As tenemos que
ambos subgrupos, 1 y Q, son j-ss de
c
(Q) y, usando el Segundo Teorema de
Sylow en el grupo
c
(Q), tenemos que existe q
0
en
c
(Q) tal que
1 = q
0
Qq
1
0
Pero Q es un subgrupo normal en
c
(Q) por lo tanto
1 = q
0
Qq
1
0
= Q
de donde se concluye que A
1
= 1 y usando (1) tenemos que :

= [A[ , es
congruente con 1 mdulo j.
Por otra parte, desde el Segundo Teorema de Sylow, se tiene que la Or/
c
(1) =
q1q
1
[ q G = A, ya que todos los j-ss de G son conjugados, y ota/
c
(1) =
q G [ q1q
1
= 1 =
c
(1). Entonces, aplicando Proposicin 15 de la sec-
cin anterior, tenemos
[A[ = [G :
c
(1)]
y as :

= [A[ es un divisor del [G[ .

Corolario 39 Sea G un grupo nito con [G[ = j
:
:, j un nmero primo y
(:, j) = 1. Si G tiene un nico j-subgrupo de Sylow H, entonces H E G.
Demostracin. El Segundo Teorema de Sylow arma que todos los j-ss de
G son conjugados, as
qHq
1
= H, \q G
ya que H es nico y por lo tanto H E G.
1.3. Aplicaciones
En lo que sigue daremos variadas aplicaciones de lo visto anteriormente.
Usaremos los teoremas de Sylow para ver simplicidad de ciertos grupos (esto es
grupos que no tienen subgrupos normales salvo los triviales). Aprovecharemos
de clasicar los grupos abelianos nitos para nalmente dar la clasicacin de
los grupos nitos (abelianos y no abelianos) de orden menor o igual a 12.
Iniciamos esta seccin con una seleccin de variados ejemplos, donde se mues-
tra la utilidad de los resultados exibidos anteriormente.
18 CAPTULO 1. APUNTES PARA LA TERCERA PRUEBA
1.3.1. Algunos ejemplos de grupos simples
Ejemplo 40 Consideremos el grupo simtrico o
3
. Las clases de conjugacin de
o
3
son:
(1) = (1) , (12) = (1 2) , (2 3) , (1 3) , (123) = (1 2 3) , (1 3 2)
y es claro que verican la ecuacin de clases
[o
3
[ =
3

I=1
[o
I
[ =
3

I=1
[o
3
: ota/
S3
(o
I
)] = 1 + 2 + 3
donde o
1
= (1), o
2
= (12) y o
3
= (123).
Adems, como [o
3
[ = 2 3 entonces existen 2-ss y 3-ss en o
3
. Claramente
T = (123) es el nico 3-ss. En efecto, :
3
debe dividir a 6 y :
3
= 1(mod3)
entonces :
3
= 1.
Por otra parte, :
2
debe dividir a 6 y :
2
= 1(mod2) entonces :
2
= 1 o
bien 3. Claramente H
1
= (1), (12), H
2
= (1), (13) y H
3
= (1), (23) son
subgrupos de o
3
de orden 2.
Observemos que del hecho que o
3
tenga a T como el nico 3-ss nos dice que
T C o
3
. Esto permite armar que o
3
no es un grupo simple ya que posee un
subgrupo normal no trivial.
Ejemplo 41 Consideremos el grupo o

con j un nmero primo. Determinemos

los j-subgrupos de Sylow o

.
Como [o

[ = j! = j(j 1)! y mcd(j, (j 1)!) = 1, se tiene que todo j-ss

H

de o

tiene j elementos. Por lo tanto cada uno de estos H

esta generado
por un o, con ord(o) = j, y as el nmero :

de j-ss de o

corresponde ser el
nmero de j-ciclos distintos en o

, as:
:

=
j!
j(j j)
= (j 1)!
Luego, en o

tenemos (j1)! j-subgrupos de Sylow H

c
distintos, para cada j-
ciclo o distinto, y como [H
c
[ = j en cada H
c
tenemos j1 elementos distintos,
cada uno de orden j. Esto implica
:

(j 1) = (j 1)!
por lo tanto
:

= (j 2)!
de donde se obtiene el Teorema de Wilson
(j 2)! = 1(j)
1.3. APLICACIONES 19
Ejemplo 42 No hay grupos simples de orden 35
Sea G un grupo de [G[ = 5 7. Aplicando el tercer teorema de Sylow, tenemos
que la cantidad :
5
de 5-ss de G debe vericar:
:
5
= 1(mod5) y :
5
,35; con :
5
_ 35
Por lo tanto :
5
1, 6, 11, 16, 21, 26, 31 1, 5, 7, 35 = 1. As, hay un nico
5-ss, H de G y por lo tanto
H E G
Ejemplo 43 No hay grupos simples de orden 40
Sea G un grupo tal que [G[ = 5 2
3
. Una vez ms, por el tercer teorema de
Sylow tenemos que
:
5
= 1(mod5) y :
5
,40; con :
5
_ 40
as :
5
1, 6, 11, 16, 21, 26, 31, 36 1, 2, 4, 5, 8, 10, 20, 40 = 1, de donde se
obtiene que hay slo un 5-ss H, y por lo tanto H E G.
Ejemplo 44 No hay grupos simples de orden 30
Sea G un grupo con [G[ = 2 3 5. En en este caso tenemos que :
5
= 1 6
; :
3
= 1 10 y :
2
= 1 3 6 15.
Cada 5-ss contiene cuatro elementos de orden 5 que no estn en los 3-ss de
G y tampoco en los 2-ss de G. Igualmente, cada 3-ss contiene dos elementos de
orden 3 que no estn en los otros grupos de Sylow. Ahora si hubiera a la vez
seis 5-ss y diez 3-ss en G, debera tenerse
[G[ _ 24 + 20 = 44
lo que es una contradiccin.
As, todo grupo G de orden 30 tiene un nico subgrupo de orden 5 o bien
un nico subgrupo de orden 3, de donde se concluye que G tiene siempre a lo
menos un subgrupo normal.
Ejemplo 45 No hay grupos simples de orden 36.
Sea G un grupo con [G[ = 2
2
3
2
. As :
3
= 1 4, y los 3-ss son de orden
9. Por otra parte :
2
= 1, 3 9.
Si hay slo un 3-ss, ste es normal en G. Supongamos que hay cuatro
subgrupos distintos de orden 9, y sean H, 1 dos de ellos. Se tiene:
[H 1[ = 3
20 CAPTULO 1. APUNTES PARA LA TERCERA PRUEBA
En efecto, si [H 1[ = 1, entonces,
[G[ _ [H1[ =
[H[ [1[
[H 1[
= 81
lo cual es una contradiccin y como ambos fueron elegidos distintos [H 1[ , = 9.
Ahora, H 1 C
c
(H 1) y por el segundo teorema de Sylow existe un
3-ss de G tal que H 1 C , como
c
(H 1) es el grupo ms grande
donde H 1 es normal, entonces <
c
(H 1) con lo que se concluye que
[
c
(H 1)[ _ 9.
Si [
c
(H 1)[ = 9 entonces =
c
(H 1) y podemos denir el homo-
morsmo
: G 1ij(G,)
de modo que (q)(r) = qr el cual tiene ker =

rr
1
.
Si ker = c
c
entonces G es isomorfo a la Im, la cual es un subgrupo del
grupo 1ij(G,). Pero el grupo 1ij(G,) es isomorfo a o
4
. Como [G[ = 36 y
[o
4
[ = 4 3 2 1 = 24, que G sea isomorfo a la Im, la cual va ser isomorfa a un
subgrupo de o
4
, es una contradiccin. Luego ker =

rr
1
es un subgrupo
no trivial (ker < ) el cual es un subgrupo normal de G.
Ahora, si r = [
c
(H 1)[ 9. Por Lagrange r debe ser un mltiplo de 18
y r debe dividir a 36 por lo tanto r = 18 o r = 36.
Si r = 18, entonces [G :
c
(H 1)] = 2 y por lo tanto
c
(H 1) E G.
Si r = 36, es obvio que
c
(H 1) = G y por lo tanto H 1 E G.
Ejemplo 46 No hay grupos simples de orden 48.
Sea G un grupo con [G[ = 2
4
3, entonces :
2
= 1 3.
Si :
2
= 1, entonces G tiene un nico subgrupo de orden 16, y por tanto
E G.
Si :
2
= 3 entonces tendramos tres subgrupos de G cada uno de ellos de
orden 16. Sean H, 1 dos de ellos. Entonces, por Lagrange, [H 1[ = 1, 2, 4, 8.
Ahora bien, si [H 1[ _ 4, entonces [H1[ =
16 16
[H 1[
_ 64 [G[ ,una con-
tradiccin. Por lo tanto [H 1[ = 8. As, [H : H 1] = 2 y [1 : H 1] = 2
en consecuencia:
H 1 E H y H 1 E 1
Como H 1
c
(H 1) y
c
(H 1) es el grupo ms grande donde
H 1 es normal, entonces H y 1 son subgrupos de
c
(H 1), por lo tanto
[
c
(H 1)[ 16. Aplicando Lagrange tenemos que [
c
(H 1)[ ,48, as
[
c
(H 1)[ = 48
de donde se tiene que
H 1 E G
1.3. APLICACIONES 21
Ejemplo 47 Sean j, primos distintos con j < . Entonces, no hay grupos
simples de orden j. Adems, si no es congruente con 1 mdulo j, entonces
G es cclico.
Sea [G[ = j con j < . Es inmediato que G tiene un nico -ss H, as
H E G y [H[ = .
Si adems no es congruente con 1 mdulo j, es claro que hay un nico
1 E G, con [1[ = j; entonces, H 1 = c , G = H1. Por lo tanto G
H 1 Z

Z
j
Z
j
.
Observacin 48 El grupo
5
tiene orden 60 = 2
2
3 5 y como se vi en
secciones anteriores,
5
es simple. De manera que hay grupos simples de rdenes
j
2
r, con j, , r, primos distintos.
Para terminar con el tema de grupos simples dejaremos el siguiente ejemplo
como ejercicio para el lector.
Ejemplo 49 Se j un nmero primo. Entonces:
1. Todo grupo de orden j es simple.
2. Si [G[ = 2j, entonces G tiene un subgrupo normal de orden j.
1.3.2. Clasicacin de grupos abelianos nitos
En lo que sigue (G, +) denotar siempre un grupo abeliano, con la operacin
suma, elemento neutro 0, y nito con : elementos. Como : es un nmero entero
mayor o igual a 1, podemos aplicar el Teorema Fundamental de la Aritmtica,
as es posible encontrar j
1
, j
2
, . . . , j
:
nmeros primos distintos, y c
1
, c
2
, . . . , c
:
enteros positivos, tal que
: = j
o1
1
j
o2
2
, . . . , j
or
:
Del hecho que G es abeliano y cada j
I
(i = 1, . . . , r) es un nmero primo,
entonces los Teoremas de Sylow dan la existencia de un j
I
-ss Q
I
de G el cual
es nico (Q
I
C G por ser G abeliano). Debido a que los j
I
(i = 1, . . . , r) son
nmeros primos distintos se tiene que:
(Q
1
+Q
2
+ +Q
I1
+Q
I+1
+ +Q
:
) Q
I
= c
c

y debido a que Q
1
+Q
2
+ +Q
:
es un subgrupo de G de orden j
o1
1
j
o2
2
, . . . , j
or
:
=
:, entonces tenemos el siguiente:
22 CAPTULO 1. APUNTES PARA LA TERCERA PRUEBA
Teorema 50 Todo grupo abeliano nito G de orden : es producto directo de
sus j-ss de G para todos los divisores primos j de :.
Ejemplo 51 Sea G un grupo abeliano de orden 360 = 2
3
3
2
5 entonces
G 1
2
1
3
1
5
donde 1
2
es un 2-grupo de orden 8, 1
3
es un 3-grupo de orden 9 y 1
5
es un
5-grupo de orden 5; donde cada uno de ellos, por supuesto, es abeliano.
Cuntos grupos abelianos de orden 8 no isomorfos existen? Cuntos grupos
abelianos de orden 9 no isomorfos existen? y Cuntos grupos abelianos de orden
5 no isomorfos existen? son las preguntas que debemos responder para as poder
clasicar, salvo isomorsmo, los grupos abelianos de orden 360.
Para 1
5
la respuesta es inmediata, 1
5
es de orden 5 y por lo tanto cclico lo
cual obliga a que 1
5
es isomorfo a 7
5
.
Para 1
3
, el cual tiene orden 9 = 3 3, tiene dos posibilidades:
a.- 1
3
tiene un elemento de orden 9 y por lo tanto es cclico, lo cual obliga a
que 1
3
es isomorfo a 7
9
o bien,
b.- 1
3
no tiene un elemento de orden 9, pero el Teorema de Cauchy obliga a
que 1
3
tiene un elemento de orden 3, sea este a. Como a es cclico de
orden 3 y obviamente un subgrupo normal de 1
3
tenemos que
1
3
, a
es un grupo de orden 3, esto es cclico, y generado por un elemento /+a,
con / , a y / + / + / a . As 3/ = a o 3/ = 2a o 3/ = 3a = 0. Por
ser 2 y 3 primos se tiene que la nica posibilidad es la ltima, esto es / es
un elemento de 1
3
distinto de a y de orden 3. Por lo tanto 1
3
tiene dos
elementos distintos, a y /, ambos de orden 3 entonces
1
3
= a +/
Como a es isomorfo a 7
3
, al igual que / , podemos concluir que
1
3
7
3
7
3
Para 1
2
, procediendo en forma anloga al caso anterior (ejercicio), podemos
concluir que tiene tres posibilidades:
a.- 1
2
es isomorfo a 7
8
, o bien
b.- 1
2
es isomorfo a 7
2
7
4
, o bien
c.- 1
2
es isomorfo a 7
2
7
2
7
2
1.3. APLICACIONES 23
Ahora, debido a que ser isomorfo es una relacin de equivalencia entonces
un grupo abeliano de orden 360 es, salvo isomorsmo, uno de los siguientes:
G
_

_
7
8
7
9
7
5
7
8
7
3
7
3
7
5
7
4
7
2
7
9
7
5
7
4
7
2
7
3
7
3
7
5
7
2
7
2
7
2
7
9
7
5
7
2
7
2
7
2
7
3
7
3
7
5