~ SOCIEDhD IrIlITffrlllTICh PfRUhNh

Introducción
a la
Teoría de Grupos
MANUEL rORIBlO
RUTH MEDlNA

~---- -- 2fOO-Coloquior8 - 12 deJulio del 2~02

 ,
.j
!¡ ,
Manuel Torihio, Ruth Medina I
¡
COPYRIGHT © por Manuel Toribio, Ruth Medina ¡

Agradecimientos

La Sociedad Matemática Peruana (SMP) expresa su más sincero

agradecimiento y estima personal al Profesor Manuel Toribio de la Universidad Contenido
Nacional de Ingeniería por haber preparado la presente monografía la cual ha
servido como texto base para el minicurso "Introducción a la Teoría de los
Grupos", que se dictó en el marco del XX Coloquio de la SMP, en homenaje al
destacado matemático peruano José Tola Pasquel.
1 Introducción a la Teoría de Grupos
Asimismo, agradecemos a todas las instituciones que hicieron posible la 1.1 Grupos 5
y Subgrupos
realización del mencionado evento. 1.2
"
S
Subgrupo Generado por un Conjunto y el Teorema de
Lagrange
1.3 Ejercicios
11
Sociedad Matemática Peruana. 1.4 17
Subgrupos Normales y el Grupo Cociente
1.5 21
Homomorfismo de Grupos y el Teorema Fundamental
Presidente: de Homomorfismos
Dr. Wilfredo Sosa 27
Vicepresidente: 1.6 Ejercicios
Dr. Christian Valqui
Secretario General: 1.7 33
Dr. Roger Metzger Los Grupos Cíclicos
Tesorero General: 1.8 36
Dr. Renato Benazic El Grupo de las Permutaciones .
Secretario de Organización:
Mg. Juan Montealegre 1.9 Ejercicios
.. 42
Secretario de ASlintos
1.10 47
Culturales y Cien! í ficos:
Dr. Edgar Vera
Acción de un Grupo Sobre un Conjunto
1.11 50
Secretario de Publicaciones: Los Teoremas de Sylow
Dr. Agripino García 56
1.12 Ejercicios
61

Dirección: Jr. Ancash536

Cas., de las Trece Monedas
Lima 1- Perú
E-mail: .illll2@uni.edu.pe

ISBN: 9972-9289-7-7
HECHO EL DEPOSITO LEGAL: 1501212002-3026
4

Capítulo 1
'-

Introducción a la Teoría
de Grupos

1.1 Grupos y Subgrupos

Una operación binaria en un conjunto no vacío G es una apli-
cación * de G x G en G que hace corresponder a cada (a, b) de G x G
el único elemento de G denotado por a * b.

Definición 1.1 Un conjunto no vacío G donde está definida una

operación * se llama Grupo si:

i) a * (b * e) = (a * b)· * c para todo a, b, e E G.

ii) Existe e E G tal que a * e = e * a = a para todo a E G.

iii) Para cada a E G existe b E G tal que a * b= b * a = e.

Es decir} la operación es asociativa; existe un elemento e E G lla-

mado neutro respecto a esta operación, y para cada elemento del
grupo existe su inverso. El Grupo se llama Abeliano o Conmuta-
tivo si además satisface

iv) a * b = b * a para todo a, s e G.

5
.~- ._'\.-.- ~... -- - ---- ----
 , T~ I
,

6 7

Definición 1.2 El orden de un qrupa (e' , *) es el cardinal

junto G. El orden será denotado por jGj. En particular,
del con-
se dice
¡
(~ ~ ~),(~ ~),(~.~ ~). .~

que (G , *) es un grupo finito si jGj es un entero positivo;

contrario se dice que es un grupo infinito.
en caso
I Más aún, si r = (~ ~ ~), s = (~ ~ ~) y
Ejemplos

1. (Z, +) es un grupo abeliano infinito.

I
1
1 = (~ ~ ~), entonces

2. (Zn , +) es un grupo abeliano de orden n. S3 = 2

{1,r,r ,s,rs,r2s},
Este ejemplo muestra que existen grupos de todos los órdenes.
donde la operación composición "o" está determinada por la
3. (Q , +), (l!{ , +), (C , +), (Q* , .), (]R* , .) y (C* , .) son siguiente tabla (Verifique!).
también grupos abelianos infinitos.
?
o 1 r 1'2 s rs r-s
4. Si p E Z+ es un número primo, (Zp - {O},.) es un grupo
1 1 r r s rs l' s
abeliano finito de orden p - l.
r r 1'2 1 rs r2s s
5. Para un conjunto no vacío X, B(X) = {J : X ---+ 1'2 1'2 1 r 1'2s s rs
X I f es biyectiva} con la composición de funciones es un s s r2s rs 1 1'2 r
grupo, llamado Grupo de Permutaciones de X. rs rs s r2s r 1 1'2
1'2s 1'2s rs s 1'2 r 1
Si X = {1, 2, 3, ... , n}, denotaremos a B(X) por Sn. Es fácil
ver que jSnj = n!; además, es no abeliano cuando n 2: 3, pues
para f, g: X ---+ X definidos por 6. Sean (G1 *d y (G2 , *2) dos grupos. La operación
f(l) = 2, f(2) = 1, f(x) = x, Vx 2: 3. * : (G1 x G2fx (G1 x G2) ---+ G1 x G2
g(l) = 2, g(2) = 3, g(3) = 1, g(x) = x, Vx 2: 4
definida por
tenemos que (/og)(l) = f(2) = 1 Y (go/)(l) = g(2) = 3, es
decir fog f= s-L.

En particular, S3 es un grupo no abeliano de orden 6; pues si

(! ~!) representa la función f de {1, 2, 3} en si mismo

hace que (G1 x G2 , *) sea un grupo (!Verificarlo!), el cual
es llamado Producto Directo Externo de G1 y G2. El
definida por f(l) = a, f(2) =b Y f(3) = e, S3 está formado elemento neutro de este grupo es (el , e2) si ei lo es de Gi; el
por las siguientes funciones: inverso de (gl , g2) es (hl , h2) si hi lo es de gi (i = 1, 2).
En particular, para 1:2 x 1:2 = {(O, O), (0,1), (1,O), (l,l)}
tenemos la siguiente tabla
 8 9

a) El elemento neutro e es único, pues si e' es otro, tenemos que

+ (O , O) (O ,1) (1 , O) (1 , 1)
e = e * e' = e'.
(O , O) (O , O) (O , 1) (1 , O) (1 , 1)
(O , 1) (O , 1) (O , O) (1 , 1) (1 , O) b) Si b Y b' son los inversos de a E G,
(1 , O) (1 , O) (1 ,1) (O , O) (O , 1) b=b*e=b*(a*b')=(b*a)*b'=e*b'=b'. El Inverso
(1 , 1) (1,1) (1 , O) (O , 1) (O , O) de a será denotado por a-l.

Claramente (1:2 X 1:2 , +) es un grupo abeliano. c) Es fácil verificar que (a * b)-l = b-l * a-l para todo a, t. « G

Es fácil ver que (Gl x G2 , *) es abeliano si y solo si (Gl , *1) Definición Sea (G , *) un grupo y H un subconjunto no vacío
1.4
Y (G2 , *2) lo son. de G. Diremos que H es un Subgrupo de G (al cual denotaremos
por H ::; G) si y solo si (H, * IHxH) es un grupo.
Definición Un Cuerpo
1.3 es un conjunto no vacío K con Proposición 1.1 Un subconjunto H del grupo (G , *) es un sub-
dos operaciones "+" y «» tal que (K , +) Y (K - {O} , .) son grupo si y solo si
grupos abelianos y vale la propiedad distributiva
i) H es no vacío ( equivalentemente e E H).
a· (b + c) = a . b + a . c para todo a, b, c E K
ii) hl * h2 E H, si hl, h2 E H.

Por ejemplo Q, ]R., re y z; (p primo) con la suma y producto iii) h-l E H, si h E H.

"usuales" son cuerpos.
Prueba: Si H es un grupo, evidentemente se cumplen las tres condi-
7. Para cada entero n 2': 2 ciones. Reciprócamente, ii) nos dice que la operación * definida en
G puede ser restringida a H. La asociatividad es heredada de G.
GLn(K) = {A / A E Mn(JK); tal que det(A) :f- O} Por otro lado, como H es no vacío, existe un ha E H, y por iii) su
inverso está en H, es decir e = ha * hül E H. Además, para todo
con la multiplicación usual de. matrices es un grupo. En efecto: h E H se cumple
Como para A, B E GLn(K) det(A B) = det(A) det(B) se e * h = h * e = h.
tiene que la multiplicación de matrices es una operación en Finalmente la condición iii) dice que para cada a E H existe a-1 E H
GLn(K) que es asociativa, tiene por elemento neutro a la ma- tal que
triz In = (6ij), donde 6ij = 1 si i = j y, 6ij = O si i :f- j. a * a-1 = a-1 * a = e.
y sabemos además que si det(A) :f- O, entonces existe A-1 en
GLn(K). Este grupo es llamado Grupo General
Grado n.
Lineal de
Ejemplos
•
1. Dado un grupo G, {e} y G son subgrupos, llamados los sub-
Observaciones grupos triviales.

+
, , ,

10
11
2. Para cada n E Z fijo, nZ = {nl-:/k E Z} es un subgrupo de
(Z,+). i) CeCA) es no vacío, pues e E CeCA).
ii) Si g, g' E CeCA), entonces 9 * g' E CeCA), pues para cada
3. Los siguientes conjuntos s' {z E C/lzl= l}, a E A tenemos que (g*g') *a = g* (g' *a) = (a*g) =o' =
V={zEC/3nEZ+,zn=1} y Um = {z E C/zm = l} a * (g * g').
cumplen que
iii) Para 9 E CeCA) y a E G tenemos que
I

4. Para un cuerpo (K, +,.) Y ti E Z (n ~ 2) el conjunto I g-l * (g * a) * g-l = g-l * (a * g) * g-l

SLn(K) = {A E GL"i K)/ det(A) = 1} luego a * g-l = g-l * a. Así s:' E CeCA). Este grupo
es un subgrupo de GLn(I<), pur:sto que det(In) = 1 Y para i es llamado Centralizador de A en G.
todo A, B E SLn(I<) se tiene 6. Si (G,*) es un grupo, Z(G) = {g E G/g * x = x * g, Vx E G}
det(AB) = det(A) detf B) = 1.1= 1 Y
I es un subgrupo de G, pues Z(G) = Ce(G). Este grupo es
llamado el centro de G.
det(A-1) = (detJ A))-l = 1.

II
7. Si {HoJa:EI es una familia de subgrupos de un grupo (G , *),
Proposición 1.2 Para cada subnrupo H de (Z , +), existe entonces
n E Z+ tal que H = nZ
n Ha: = {x
a:EI
E G/x E Ha:, para todo a E I}
Prueba: Si H = {O}, H = 02. Supongamos pues que H posee
mas de un elemento, y sea
es un subgrupo de G.
n = min{x E H / :1: > O} E H
8. Para un subconjunto no vacío A de G,
(cuya existencia esta garantizada por el PBO); luego na E
H para todo a E 2 (pues H es 1Jn subgrupo); así nZ e H.
Reciprócamente, dadoh E H, exi:;ten q, r con O ::; r < n tal
que h = qn + r', luego r = (h - qu) E H. Por lo tanto, de la
I
I
Ne(A) = {g E G/g * A * g-l = A} es un subgrupo
G. (Verifique!). Más aún, CeCA) ::; Ne(A). En efecto.
Si 9 E CeCA) ya E A, entonces g*a = a*g, luego g*a*g-l
Así 9 * A * g-l = A. Por lo tanto 9 E Ne(A).
= a.
de

minimalidad de ti tenemos que 1'= O, es decir h = qri E nZ.

Así H = nZ. •
I
5. Para cada subconjunto no vacío A de G,
I 1.2 Subgrupo Generado por un Conjunto y
el Teorema de Lagrange
CeCA) = {g E G/g * a:c: a * g, Va E A} I
es un subgrupo de G. En efecto:
De aquí en adelante escribiremos a b en vez de a * b, y el grupo

I
!
(G ,*) será dicho simplemente el grupo G.
 12 13
Para cada subconjunto no vacío X de G sea F la familia de todos Ejemplos
los subgrupos de G que contienen a X, entonces
1. El grupo de permutaciones S3 es finitamente generado, pues
(X) =
HEF
n H

es un subgrupo de e, al cual llamaremos Subgrupo de G Gen- donde

erado por X. Observe que (X) es el "menor" subgrupo de que e
contiene a X, pues si H' es otro subgrupo de G conteniendo a X,
entonces H' E F, esto es, (X) ~ H'.
r= (123)2 3 1 Y s=
(123)
1 3 2

Notación. En vez de ({Xl, X2, •.. xn}) escribiremos

(Xl, X2, ... Xn). 2. Los grupos aditivos Z y Zn son cíclicos, pues Z = (1) Y Zn =
(1).
Proposición 1.3 El subqrupo generado por un subconjunto no vacío
X de un grupo e es 3. El grupo multiplicativo Un = {z E e/ z" = 1} es cíclico, pues

{ Xle i . X2€2 X ,fi {1,- 1}} .

=( cos( -)2" + isen(-)).
2"
···· Xn€n /
ti '71+ , x, E
E u... E
Un
n n
Prueba: Se ve que
E u...'71+ , {1,- 1}} Definición 1.6 Sea G un grupo y x E e. El orden de x, denotado
X...:....{.
- Xl€¡ . X2€2 ... Xn€n /
n Xi E X ,fi E
por o(x), es el orden del subgrupo generado por X; es decir
es un subgrupo de G conteniendo a X, luego (X) ~ X.
Recíprocamente, dado X E X, existen z, EX, fi E {1,-1} tal
o(x) =1(x)l.
que
_ E"1 E2 En Ejemplo
X - Xl X2 ... Xn .

Como X ~ (X), z, E (X). Así, xiI E (X). Luego X E (X). Por lo 1. En Z, 0(1) = oo.
tanto X ~ (X). •
2. En z., o( 1) = n.
Definición 1.5 Un grupo e es
1. Finitamente Generado si existen ,xn E e tal que
3. En Un, o( cos(-)2" + isen( -))
2"
= n.
Xl, X2, ..• n n
4. En S3, o(r) = 3 Y o(s) = 2.

2. Cíclico si existe x E G tal que -

5. En GL2(lR) si A = (O -1)
1 O ,B = (O -1 _ ~ ) es fácil ver

G = (x) = {xk / k E Z}. que o(A) = 4, o(B) = 3 Y o(A B) = 00

 ,

14 15

Definición 1.7 Para un grupo abeliano G, el subgrupo Por ejemplo c.p(2) = 1,<p(3) = 2, c.p(4) = 2 Y c.p(6) = 2. Es fácil ver
que
T(G) = {x E G/orden de x es finito}

es llamado Subgrupo de Torsión de G. I con la multiplicación usual de Zn, es un subgrupo abeliano de Zn.
Ejemplo Más aún
T(Zn) = Z,,' T(C*) = U U"' T(Z) {a} y T(Z x Z71)
1
I I
/V(Zn) = c.p(n).
"EZ+
¡ Por ejemplo U(ZlÚ = {T, 5, 7, TI} es tal que

Proposición 1.4 Sea a E G tal que o(a) = n (n E Z+), entonces I

j
0(5) = 2, 0(7) = 2, o(TI) = 2.
¡ Esto muestra que U(Z12) no es cíclico (es abeliano y su orden es 4).
n= min{k E Z+ / ak = e} y (a) = {e,a,a2, •.. ,an-1}. ¡ Sea G un grupo y H ~ G. Definimos la relación en G por
i
Prueba: Como (a) = {am / m E Z} es finito, existen p, q E Z (p > q)
i x ~ y si y solo si .r¡;-ly E H
tal que aP = aq, de donde aP-q = e. Para r = min{k E Z+ /ak = e}
afirmamos que e, a, a2, ... ar-1 son todos distintos dos a dos y que
1
I la cual es de equivalencia (Verificarlo!) y
l
I, x = {y E G/y"" x} = xH
En efecto, si aP = o", donde a ~ q < p ~ r - 1, aP-q = e con I es llamada Clase Lateral de H que Contiene a x. En particular
a < p - q < r; 10 cual contradice la minimalidad de r . Por 10 tanto l H=eH.
e, a, a 2, ... , a r-l son diistint os d os a d os.
Ahora, para m en Z existe q, t e Z con a ~ l < r tal que m = ¡'q+l.
I¡ Definición 1.9 El cardinal de G/ ~ = {xH / x E G} es El Indice
Luego de H en G, y será denotado por (G : H), es decir
1
am = (ar)qal = al
I
es decir (a) ~ {e,a,a2, ... ,ar-l}.
Por 10 tanto (a) = {e,a,a2, ... ,ar-l}. Para cada x E G, la función f de H en xH definida por f(h) = xh
Así, ti = r = min{k E Z+/ak = e} y (a) = {e,a,a2, ... ,ar-l}. 11 I
I
es una biyección. Esto dice que
¡
¡ IHI = ~(xH)
Definición 1.8 La función c.p de Z+ en Z+ definida por
¡
I
l' , n=l i Teorema 1.1 (Teorema de Lagrange)
c.p n -
( ) - { card{k E Z / 1 ~ k < n, MCD{k,n} = 1}; n2:2 1 Para un subgrupo H del grupo finito G,IGI = IHI(G : H). En
particular, el orden y el índice de un subgrupo dividen al orden del
se llama Función de Euler.
I
!
grupo.
 16 17

Prueba: Corno ~{xH / x E e} = (e : H) y para cada x en e se Corolario 1.5 Todo grupo finito e de orden menor o igual que 5 es
tiene que ~(xH) = IHI se concluye que lel = (e: H)IHI • abeliano.

Observación (e : H) = ,,~II Prueba: Si lel = 1, e se reduce a {e}, el cual es obviamente abeliano.

Si lel = 2, 3 ó 5, por el corolario anterior e es cíclico. Por lo tanto
Corolario 1.1 Si e es un grupo finito ya E e, entonces o(a) Ilel· abeliano. Si lel = 4 tenemos dos casos:
(Por lo tanto alG1 = e )
L Si existe x E e con orden igual a 4, e = (x). Por lo tanto,
Prueba: Corno o(a) = l(a)1 y lel = l(a)l(e: (a), o(a)lllel· • abeliano.

Corolario 1.2 (pequeño Teorema de Fermat). Para todo a E 2. Si no existe en G un elemento de orden 4, entonces para todo x
Z - pZ con p primo en e, x2 = 1 equivalentemente x-1 = z , Luego, para a, b E e
tenemos que
aP-1 == 1( mod p )

Prueba: Si a E Z - pZ, a E Zp - {O} = Z; = {l, 2, ... ,(p - 1)}, Así, e es abeliano.

y como IZ;I = p - 1, entonces por el corolario anterior (iP-1 = l, es
decir aP-1 == 1( mod p ). • •
Corolario 1.3 (Teorema de Euler). Si a, n E Z+ (n > 2) Y Corolario 1.6 Sean H, K subgrupos del grupo finito e tal que H ~
MCD{ a, n} = 1, entonces K, entonces
(e: H) = (e: K)(K : H).
a<p(n) == 1( mod n )
Prueba:
Prueba: Corno MCD{a,n} = 1, a E U(Zn). Luego por el corolario
anterior (i'P(n) = l. Es decir (i'P(n) 1 ( mod n ), donde cp(n) = (e· K) , (K ' H)
, '.
= B,~
IKI IHI
= B = (e' H)
IHI .'
IU(Zn)l· •

Corolario 1.4 Todo grupo finito e de orden primo p es cíclico, •

Prueba: Para a E e - {e} consideramos el subgrupo (a), entonces 1.3 Ejercicios
por el teorema de Lagrange l(a)llleJ, y por hipótesis se tiene que
1(0:')1= lel, Por lo tanto L Determinese i, g E 53 tal que:
e= (a) = {e, a, 0:'2"", O:'p-l }, a) (Jg)2 =1 f2g2,

• b) (Jg)3 =1 f3g3,

• ~. - 0. __ ••
18
19

2. Determinese todos los elementos f E 83 tales que: 8. Sea G un grupo y supongamos que para todo a, b E G se tenga
(a b)i = ai bi para tres enteros consecutivos i. Pruébese que G
a) t? = e, f i- e. es un grupo abeliano.
b) f3 = e, f i- e. 9. En G = { (a, b) E ]R2 / a i- O } definimos al operación
k
3. Para a, b elementos del grupo G, pruebese que (ab)k = ak b ,
para todo k E Z, siempre que a y b conmutan.
(a, b) . (e, d) = (ae, ad + b); para todo (a, b), (e, d) E G.

Muestre que (G,·) es un grupo no abeliano. ¿Cuál es el ele-

4. Sea V = { e, I, g, h } el siguiente subconjunto de 84:
mento neutro de G? ¿Cuál es el inverso de (a, b)?

e = ( ~ 2
2 3
3 !) f=(~ 2 3
1 4 ~ ) la. Sea G un grupo tal que (ab)n = anbn, para
para algún entero n > 1. Pruebe que:
todo a, b E G Y

g = ( ~ 4
2 3
1 ~ ) = (! h
2
3
3
2 ~ ) (a) (a
(b) an
b)n-l = bn-1

bn-1 = bn-1
an-1.
ano
Pruebe que (V, o) es un grupo abeliano no cíclico. (e) (a b a-1 b-1 t(n-l) = e.
5. Si G es un grupo de orden par, pruebe que existe a E G tal 11. Muestre que 83 tiene 6 subgrupos.
que a i- e y a2 = e.
12. Considere el subconjunto D4 de 84 formado por los siguientes
6. Sea G un conjunto no vacío, cerrado respecto a un producto elementos:
asociativo "." si:

(a) Existe ed en G tal que a . ed = a, para todo a E G Y ( 2 3 4)

~ 2 3 4 '
(1.
2
2 3
3 4 ~ ) ,( 2
~ 4
3
1 ~ ),
(b) para cada a en G existe ad en G tal que a . ad = ed·

Pruebe que G es un grupo. (! 2 3

1 2 ~),(! 2 3
3 2 ~ ) ,( 2 3
4 )
~ 1 4 3 '

7. Si un conjunto finito G es cerrado respecto

ciativo y además satisface:
a un producto aso-
( 1 2
1 4
3
3 ~ ), ( 2 3
~ 2 1 !)
(a) Si ab = ac, entonces b = e. (a) Muestre que D4 ::; 84 (no abeliano).
(b) Si ba = ca, entonces b = e. (b) Halle el orden de cada elemento de D4'
(c) Muestre que D4 tiene 8 subgrupos no triviales.
Pruebe que G es un grupo.
20 21

13. Pruébese que cualquier subgrupo de un grupo cíclico es él 1.4 Subgrupos Normales y el Grupo Co-
mismo un grupo cíclico. ciente
14. Sea e = (a) un grupo cíclico finito y k E Z+. Pruebe que Definición 1.10 El subgrupo H de grupo e se dice que es un Sub-
grupo Normal de e, y lo denotamos por H <l e, si para todo g, h
k o(a)
o(a ) = MCD(o(a) , k) en e y H respectivamente se tiene que ghg-1 E H.

¿Cuántos generadores tiene un grupo cíclico finito? Proposición 1.5 Sea H un subgrupo del grupo e. Son equivalentes

15. Sea n E Z+ Y Un = {z E C* / zn = 1 }. Probar que: 1. H <le.

(a) Un ~ Um si y sólo si nlm. 2. Para todo 9 E e, gHg-1 ~ H.

(b) Un n u; = Ud, donde d =MCD(m,n). 3. Para todo 9 E e, gHg-1 = H.

16. Hallar todos los SUbgTUpOSde Z4, Z5, Z6, U3, U4 y Z2 X Z2. 4. Para todo 9 E e, gH = Hg.

17. Si H es un subgrupo finito de (C*,·), entonces existe n E Z+ Prueba:

tal que H = Un·
1) 2) Por definición.
18. Sean e = GL2(Q), A= (
O -1)
1 O Y B =
(O. 1) -1 -1 . 2)
==}

==} 3) Para 9 E G Y h E H demostraremos que H ~ gH g-1. Como

para todo h E H, g-1hg E H Y h = g(g-lhg)g-1, se tiene que
Muestre que o(A) = 4, o(B) = 3 Y o(AB) = oo.¿Cuál es el
H ~ gHg-1.
orden de BA?
3) ==} 4) Basta observar que gh = (ghg-1)g Y hg = g(g-1hg).
19. Calcular el centro y el subgrupo de conmutadores de (Z, +), ..
S3 y D4. 4) ==} 1) Sean 9 E ey h E H, entonces por 4.

20. Sean H = { (~ ~) / a, b, c E IR;ac i= O } Y existe h1 E H tal que gh = h1g

Luego
N = { (~ ~) / b E IR} Pruebe que:
ghg-1 = (gh)g-l = (h1g)g-1 = h1,

(a) H es un subgrupo de eL2(1R). es decir ghg-1 E H.

(b) N es un subgrupo de H.
(c) hnh-1 E N, para todo h E H, Y n EN. Ejemplos
•
-~
, .~- - -_.-
 ----~-- ~
,

22
23

1. Todo subgrupo de un grupo abeliano, es normal. como

2. {e} y e son siempre subgrupos normales de e.

3. Z(e) <Je, pues para 9 E eyhE Z(e) ocurre

y siendo H <J e
ghg-1
= (gh)g-l = (hg)g-l = se H.
Por lo tanto
4. Si H es un subgrupo de e,
Nc(H). H
Esto se debe a que
<J
para todo 9 E Nc(H), gH g-l = H. Luego, por la proposición
anterior, H <JNc(H). Más aún, Nc(H) es el "mayor" subgrupo esto es abH = xyH.
de e en el cual H es normal; pues si N es otro subgrupo de Ahora es fácil probar que e / ~ = {aH / a E e} con la operación
e tal que H <J N, entonces para ti E N, nHn-1 = H; es decir que acabamos de definir es un grupo. Por ejemplo, el elemento neutro
n E Nc(H). Por lo tanto N <;;;; Nc(H). de este grupo es H y el inverso de aH es a-I H.

5. Para un cuerpo I<, SLn(I<) <J eLn(I{), pues si A E SLn(I{) y Definición 1.11 Sea H a C, El grupo e/~ = {aH / a E e} con la
BE eLn(I<), entonces operación
I (aH)(bH) = abH, para todo a, b E e
det(BAB-1) = det(B) = det(B) = I
det(A) det(B)-1 det(B)-1 1. ¡

6. Para H { (~ ~) / a, b, c E lR; ac;¡f O} Y

I
í
es llamado Grupo Cociente de e por H, y se le denota por G/ H

¡ Observación

N = { (~ ~) /b E IR} es fácil ver que N ::; H ::; eL2(R). 1. Si e es abeliano y/ ó cíclico, e/ H también lo es.
Más aún, N <J H, pues
I
!
2. Si e es un grupo finito y H <J e, le/ HI = i~:.
(~~)(! ~)(~~)-1 = ~ (a
ac o
ax
c
+b) (:
o
- b )
a
j
Para x, y E e el elemento [x, y] = xyx-1y-1 es llamado el conmu-
1 ax) tador de x e y. Note que para todo g, x, y E e [x, y] = 1 si y solo
= ( o lC EN. si xy = yx; [x, y]-l = [y, x] y g[x, y]g-l = [gxg-1, gyg-I].
El grupo [ee] = ({[x, y] / x, y E e}) es llamado Grupo Con-
Si H es un subgrupo normal de e, para aH, bH E e/ ~ definimos mutador de e. Este grupo es abeliano si y sólo si [e e] = {l}.
(aH)(bH) = abH y afirmamos que esta operación esta bien definida
(es decir no depende de la elección de los representantes de las clases), Teorema 1.2 Sea e un qrupo y N un subg¡'upo de e, entonces
en efecto: Si aH = xH y bH = yH, entonces 1. [e el <J e y e/[e e] es abeliano.
h1 =: a-Ix E H Y h2 =: b-1y E H 2. Si N <J e y e/N es abeliatio, entonces [e el <;;;; N.
 25
24

3. El recíproco de 2) también es válido. Nota: 1) Y 2) dicen que el subgrupo conmutador de G es el "menor"

subgrupo normal de G tal que G/[GG] es abeliano.
Prueba: Para los subgrupos H y K de G se cumple la relación

1. Para 9 E G Y a E [GG], existen Xi, Yi E G tal que a = H UK ~ H K ~ (H U K)

[XIyr] ... [XnYn] luego
donde H K = {hk / h E H, k E K}, observe que (H U K) = H K si y
solo si H K :::;G pues como (H U K) es el menor subgrupo de G que
contiene a H U K Y
es decir gag-1 E [GG], para todo 9 E G Y a E [GG]. Esto es HuK~HK<G,
[GG] <l G.
tenemos que (H U K) ~ HK. Por lo tanto, (H U K) = HK.
Ahora si H =: [GG], para todo X, y E G tenemos que
Teorema 1.3 Si H, K son dos subqrupos de G, entonces
(xH)(yH) = (xy)H = (xy) [y-l , x-l]H = yxH = (yH)(xH)
H K < G si y solo si H K = K H.
es decir G/[GG] es abeliano.
Prueba: Si HK <.G, HK = (HK)-l = K-1H-1 = KH.
2. Como G/N es abeliano, para todo x, Y E G se cumple que
Recíprocamente, para x, y E H K existen li¡ E H Y k, E K tal
xyN = xNyN = yN xN = yxN que

entonces, (yx)-l(xy) E N. Luego, x-ly-lxy E N, así [xy] E

Luego, de
N. Por lo tanto [GG] ~ N.
xy-l = (h1k¡)(h2k2)-1 = hlkl(k:;lh:;l) =
3. Para 9 E G Y n E N, es claro que gng-1 = gng-1n-1n
[g, n]n E N, pues
= hl(klh3)k3 = hl(h4k4)k3 E HK, tenemos que HK < G. •
[g,n] E [GG] ~ N
Corolario 1. 7 Si los subqrupos H y K de G son tal que H <l K ó
K <l G, entonces H K < G.
Para a,b E G se ve que (ba)-l(ab) E N pues
Prueba: Basta probar que H K = K H. En efecto si w E H K,
entonces w = hk = k(k-1hk) E K H.
Recíprocamente si w E KH, w = kh = (khk-1)k E HK. Por lo
Luego, abN = baN. Es decir,
tanto HK = KH •
(aN)(bN) = (bN)(aN) Corolario 1.8 Si H y K son subqrupos normales de G, entonces
Por lo tanto, G/N es abeliano. • HK <l G.

t -.-----. \ .

t-
 --- - ----- ---1 --------1 ,

26 27

Prueba: Por el corolario anterior HK < G. Ahora para 9 E G, Corolario 1. 9 Sean H y K subgrupos de un grupo finito G. Si
hE H, k E K tenemos que H K es subgrupo de G, entonces

ghkg-1 = (ghg-1 )(gkg-1) E H K. (HK: H n K) = (HK: H)(HK: K).

Por lo tanto H K <J G.

• I Prueba:
Proposición 1.6 Si H, K son subgrupos de un grupo finito de G,
I IHKI/HK/
entonces
I (HK: H)(HK: K) ----
/H/ /K/
nHK = IHIIKI /HIIK/ /HK/
IHnKI"
Prueba: Como la función cp : H x K -+ H K definida por cp( h, k) = hk II /HnKIIH/IKI
IHK/
/HnKI = (HK: HnK).
es sobreyectiva, tenemos que
I
D
H x K = U cp-l(x).
Corolario 1.10 Sean H y K subgrupos de un grupo finito G. Si
xEHK
H K es un subqrupo de G, entonces
Esto es
IHIIKI = L gcp-l(x). I (HK: K) = (H: HnK).
xEHK

Por otro lado, para a E H n K y x = hk E H K, es claro que

I Prueba: Ya sabemos que (H K: H n K) = (H K: H)(H : H n K) y,
(ha-t, ak) E H x K y cp-l(ha-1, o:k) = hk = x. Luego tenemos
que .
Ii por el corolario anterior (H K : H n K) = (H K : H)(H K : K). Por
lo tanto·
I
{(ha-l,ak) / O: E HnK} e cp-l(x). (HK: K) = (H: HnK).

Recíprocamente, para (h1,k1) E cp-l(x), h1k1 = X = hk. Luego,

existe a = k1k-1 = h¡lh-1 E HnK tal que (h1,k1) = (ha-1,ak),
I
de donde
I 1.5 Homomorfismo de Grupos y el Teorema
Fundamental de Homomorfismos
finalmente Definición 1.12 Sean (G, o), (GI, o) dos grupos. Una función f de
I
G en G es un homomorfismo( de grupos) si y sólo sí fea . b) =
IHKI = L IHnKI = (ijHK)IHnKI·
II fea) • f(b), para todo a, bE G_
xEHK
1
• !
I
i
Ejemplos
28 29

1. id : G G definida por id(x)

---4 = x, para todo x E G es un Prueba:
homomorfismo. 1. e' f(e) = f(e) = f(e . e) = f(e)f(e), entonces f(e) = e'
2. f : G G' definida por f(x) = e', para todo x
---4 E G es un 2. e' = f(e) = f(x· x-I) = f(x)f(x-I). Análogamente,
homomorfismo, al cual llamaremos homomorfismo trivial
f(x-I )f(x) = e'. Por lo tanto
3. Sea N <JG. La función 1f: G G/N definida por 1f(x) = xN,
---4

para todo x E G es un homomorfismo, llamado Proyección

Canónica.
3. Como f(e) = e', Ker j es no vacío, y si x,y E Ker ] , entonces
1
4. Para cada 9 E G, Ig : G G definida por Ig{x) = gxg- para
---4
f(xy-I) = f(x)[f(y)¡-l = e'(e')-I = e'.
todo x E G es un homomorfismo.
Por lo tanto, K el' f :S G. Además, para 9 E G Y x E K el'(J)
5. Sea n E Z (n ~ 2) Y f :Z Un = ( wn) definida por
-+
se tiene que
f(k) = w~, para todo k E Z es un homomorfismo. Recordar
que f(gxg-I) = f(g)f(x)[f(g)¡-I = f(g)e'[J(g)¡-I = e'.
21f 21f
Wn = cos(-)
n
+ i sin(-).n
ASÍ, K er(J) <J G.
Proposición 1. 7 Sea f : G ---4 G un homomorfismo
I
de grupos, 4. No es difícil hacerlo.
entonces
5. Si H :S G, es fácil ver que f(H) :S G'. Veamos que
1. f(e) = e'. f-I(J(H)) = H· Ker(J).
En efecto, si x E f-I(f(H)), entonces f(x) E f(H). Luego
2. f(x-I) = [J(x)¡-l. existe n « H tal que f(x) = f(h). Así f(h-Ix) = e', es de-
3. K er f <J G, K er I = {x E G/ f (x) = e'}. cir h-Ix E Ker(J), por lo tanto x = h(h-1x) E H . Ker(J).
Reciprocamente si" x E H . K er(J), entonces x = ha: donde
4· 1ml:S G'. h E H Y f(a:) = e'. Luego f(x) = f(ha:) = f(h) E f(H). Así
x E f-I(J(H)).
5. Si H:S G, entonces f(H) :S GI Y f-I(J(H)) = H· Ker(J).
6. Como Ker(J) = f-l(el), f-I(K) 2 Ker(J) siempre que
6. Si K :S G , entonces f-l(K)
I
:S G, f-I(K) 2 Ker(J) y K:S G, Y no es dificil ver que que f-l(K) :S G. Veamos que
f(J-l(K)) = K n Irn] , f(J-I(K)) = K n 1mf. En efecto:

7. K el' f = {e} si y solo si f es inyectiva. Como f(J-l(K)) e K, tenemos que f(J-l(K)) e K n 1ml·
y si y E K n 1mf, entonces y = f(x) E K con x E G, luego
8. Si o(x) es finito, entonces o(J(x)) I o(x) x E f-I(K), por lo tanto y = f(x) E f(J-I(K)).

1 _\

f
 - -1 ----- -----1
31
30

7. Supongamos que f(x) = f(y), entonces f(y-1x) = e', así 3. Las imágenes de un subgrupo normal por u y u-1 son subgrupos
y-Ix E I<er f = {e}, por lo tanto x = y. Reciprocamente si normales.
x E Ker] , entonces f(x) = e' = f(e), luego por hipótesis
Prueba:
x = e.
1. La función j: G/I<er(J) ---+ e' definida por jex) = f(x), para
8. Sea o(x) =n E Z+, es decir z" = e. todo x = xI< er(J) E e/ I<er(J) está bien definida. En efecto,
Como f(xt = f(xn) = f(e) = e' ==} o(J(x)) I n. si las clases x = xI<er(J), y = yI<er(J) son iguales, entonces
x = yh para algún h E I<er(J). Luego j(x) = f(x) = f(yh) =
11
f(y) = j(Ti).
Ejercicio: Si a E G Ya 11l
= e, pruebe que o(a)lm.
Ahora veamos que f es un homomorfismo. En efecto:
Definición 1.13 Un homomorfismo f : G ---+ G' es un Isomor- Para todo x, y E G/ I<er(J) .
fismo si existe un homomorfismo 9 de G' en G tal que
j(x 1)) = j(xy) = f(xy) = f(x)f(y) = ](x)j(1)).
Además j es inyectiva,pues si j(x) = e', entonces f(x) = e',
Diremos que G y G' son Isomorfos si existe un isomorfismo entre luego x E I<er(J), es decir x = I<er(J). Por lo tanto
ellos. En este caso lo denotaremos por G ~ G'. e/I<er(J) ~ Lm f .
Observación 2. La función, : S(lmJ) ---+ So(e) definida por ,(I<) = t:' (K),
para todo I< E S(ImJ) satisface:
1. ~ es una relación de equivalencia en la categoría de los grupos.
,(u(H)) = f-l(J(H)) = H.Ker(J) = (HUI<er(J)) = (H) = H,
2. Si f : G ---+ G' es un isomorfismo, entonces para todo x E G se
cumple o(x) = o(J(x)). u(¡(H)) = u(J-l(k)) = f(J-l(I<)) = I< n 1mf = K,
para todo I< E S(ImJ) y HE So(e) es decir:
Teorema 1.4 (Teorema Fundamental de Homomorfismo de Grupos
TFHG) í'oU = 1dSo(G) Y Uo, = 1ds (1mJ)-
Si f : G ---+ G' es un homomorfismo de grupos, entonces
Por lo tanto, u es biyectiva con inversa igual a ~f.
1. G/I<er(J) ~ 1mf.
3. (a) Si I<er(J) ~ H <l G, probaremos que f(H) <l lmf. En
2. Si So(G) = {H / H ~ G, H:2 I<er!} y S(Imf) = {I< / I< < efecto:
1m!}, entonces la función Para 9 = f(x) E Lm] y n = f(h) E f(H) con x E G y
u: So(G) ---+ S(ImJ) definida por u(H) = f(H), VH E So b « H, ocurre que

gng-1 = f(x)f(h)[J(x)r1 E f(H).

es biyectiva.
 32 33

(b) Si K -sIrn] , probaremos que f-l(K) <l G. En efecto: 1. <pestá bien definida. En efecto:
Para 9 E G Y n E f-l(K), se tiene que Si gK = gK, entonces 9 = gk, k E K, luego gH = gkH = gH,
pues K ~ H.
f(gng-1) = f(g)f(n) [J(g)¡-l
2. Claramente ip es sobreyectiva.
donde f(n) E K y f(g) 1mf.
E Luego por hipótesis
gng-1 E f-l(K). Por lo tanto, f-l(K) es normal en G. 3. <pes un homomorfismo de grupos ya que
• HK K } <p(gK . gK) = <p(ggK) = ggH = gH . gH.
Corolario 1.11 Para H <l G Y K ~ G, se tiene que -¡¡ ~ H nK .
4. Ker(<p) = {gK/gH = H} = {gK/g E H} = H/K.
Prueba: Como H <l G, entonces H K ~ G Y H K = K H.
Claramente H
HK
<l H K, por tanto tiene sentido considerar el grupo
HK
Luego usando el TFHG se concluye la prueba.
•
cociente -¡¡. Luego <p= 1roi es un homomorfismo de K en -¡¡,
donde i es el homomorfismo inclución de K en H]( Y tt es la 1.6 Ejercicios
. , canornca
proyeccion ,. d e H K en -¡¡.
H K Ob serve que
1. Sea G un grupo y H un subgrupo de G. Si (G :H) = 2, pruebe
que H <l G.
Ker(J) = {k E K / kH = H} = {k E K / k E H} = K n H.
2. a) Sea e un grupo, H:S G Y N «c. Pruebe que HnN «n.
Por otro lado, si a E 4f entonces
b) Sean H, K subgrupos de un grupo finito e. Si IHI > ViCJ
a = hkH = k(k-1hk)H = kH = <p(k). y IKI > ViCJ,
pruebe que IH n KI > 1.
c) Sean H <le, K «c. Si HnK = {e}, pruebe que hk = kh,
Es decir, <pes sobreyectiva. Luego, por el TFHG se tiene que para todo h E H y k E K.
K HK
"" 3. ¿ Si H <l K y K <l G,"entonces H <l G? Justifique su respuesta.
HnK=-¡¡·

• .} 4. Sean A, B, C subgrupos de G. Si B
AB <lAC.
<l ey A <l e, pruebe que

Corolario 1.12 Para K ~ H ~ G con K <l e y H <l e se tiene que

5. Si H es el único subgrupo de G de orden n, pruebe que H <l G.

6. Sea e un grupo y Z(G) su centro.

a) Pruebe que si G/Z(G) es cíclico, entonces G es abeliano.

Prueba: Sea ip : G/K ~ G/H definida por <p(gK) = gH, para todo
9 E G, entonces: b) L El índice de Z(e) en e podrá ser un número primo ?

~ _ .. - ~ .. -------.---,
 .: ~
, ,

34 35

7. Dado e = {( ~ ~): a, b, e E IR, ac =1= O} Y el subgrupo 12. Sean e un grupo finito, n E íZ (n 2: 2), Y supong-
amos que (xy)n = xnyn, para todo x, y E G. Si
en = {z E e j z" = e} y en = {zn j z E e}, pruebe que en<J
N = { (~ :): b E IR}, pruebe que:
e, en <J e y lenl = (e: en).

a) N es un subgrupo normal de e. 13. Sean m, n E N tales que MCD(m, n) = 1 Y f : íZ --+ íZn x íZm
b) El grupo cociente ej N es abeliano. definida por f(k) = (k, le), para todo k E íZ. Pruebe que f
es un homomorfismo de grupos con Ker(J) = mn7l. Luego
8. Sea e un grupo finito y N <J e tal que (e : N) y INI son concluya que f es sobreyectiva. Más aún, 7lmn :::= 7ln x 7lm.
coprimos. Si x E e es tal que xlN1 = e, pruebe que x E N.
14. Sea f : e --+ e' un isomorfismo, H <J e y H' = f(H). Probar
9. Sean e un grupo y Aut( G) {f e--+ que ejH:::= ein:
e j f es un isomorfismo}. Para cada 9 E definimos t, e :
15. En cada caso determinar si ey J{ son isomorfos.
e --+ e por Ig(x) = gxg-1, para todo x E e. Consideremos
ahora el conjunto Int(e) = { Ig j 9 E G }. Pruebe que: a) e = 714 Y J{ = 712 X 7l2.

a) (Aut(e), o) es un grupo y Int(e) :s; Aut(e). b} e= (Q,+) Y J{ = (IR,+).

b) 1: e --+ Int(e) definida por l(g) = Ig, para todo 9 E e, e) e = 7ln Y J{ = Un.
es un homomorfismo de grupos. d) e = U(íZ16) y J{ = íZ2 X 7l4.
c) ejZ(e):::= Int(e). 16. Dados los grupos: 712 x 712 X íZ2, íZ2 X 7l4, 7lg, 712 X U4, D4, Us
y H2, decir cuáles son abelianos, cuáles son cíclicos, y cuáles
10. H es un subgrupo característico del grupo e, lo cual denotamos son isomorfos entre sí.
por H~ e, si cr(H) ~ H, para todo a E Aut(e), o equivalen-
temente si cr(H) = H, para todo o E Aut(G). Pruebe que: 17. Sea e un grupo finito y a E. ut(e) tal que cr(x) = x si y sólo
si x = e.
a) Z(e) y [e: Gl son subgrupos característicos de e.
a) Probar que Vg E e, existe x E e tal que 9 = cr(x)x-1.
b) Si H<lJ{ Y J{ <Je, pruebe que H «c.
b) Si además cr2
= id, probar que cr(g) = g-l, para todo
11. Si Homtó', e') = {J : G --+ G' j f es un homomorfismo }, 9 E e y que G es abeliano.
Pruebe que:
18. Probar que:
a) Hom(7ls, 7l7) = {O}.
b) Hom(Q,7l) = {O}.
c) No existe un homomorfismo sobreyectivo de 7l en 7l x 7l.
 36 37

Q* '"= U2.
c) Q+ Proposición 1.9 Sea G = ( a ) = { ak j k E Z } un grupo cíclico
infinito, entonces:

d) ~ ~ 51.
Un J. f : Z -+ G definida por f(k) = ak para todo k E Z, es un
isomorfismo.
Um
e) -U = U!!!..
'" .
siempre que mln. Es decir G ~ Z.
n n

2. G = (an) si y sólo si n = 1 ó n = -1.

1.7 Los Grupos Cíclicos
Prueba:
Recordemos que un grupo G es cíclico si existe x E G tal que
G = (x) = {xk j k E Z}.

I
1. Como f(kl + k2) = ak¡+k2 = ak1ak2 = f(k¡)f(k2) para todo
kl, k2 E Z, f es un homomorfismo sobreyectivo. Ahora, si
Proposición 1.8 .
f(k) = e, entonces ak = e, luego k = O. (Si k i 0, ten-
J. Los subgrupos de Z son (n) emos que ak = e y a-k = e, esto implica que existe n E Z+ tal
{kn j k E Z}, donde ti

0,1,2,3 ... que o(a) = ti contradicción!). Así f es un isomorfismo.

2. (n) ~ (m) si y solo si m
En este caso ((m) : (n)) = ;;.
Prueba:
I ti, 2. Por 1) f(k) = ak para todo k E Z, es un isomorfismo con
inversa g(ak) ::::'::k. Luego G = (an) si y sólo si Z = (n). Por lo
tanto G = (an) si y solo si n = 1 ó n = -1.

1. Vea la proposición (II. 1. 2).

•
Proposición 1.10 Sea G = ( a ) un grupo cíclico finito de or-
2. (n) ~ (m) {:=> n E (m) {:=> n = mk, k E Z ~ mi ti, den ri, entonces:
Por otro lado (n) ~ (m) ~ Z, y como Z es un subgrupo o·
abeliano, aplicamos el corolario 2 del TFHG y obtenemos que J. f : z,
-+ G definida por f( k ) = ak para todo k E z, es un
isomorfismo.
Zj (n) '"
(m) j (n) = Zj (m) Es decir G ~ Zn.

es decir 2. G = (ak) si y solo si MCD(k, n) = 1.

Zn
(m)j(n) ~ z., Prueba:
n ,
por lo tanto ((m) : (n)) = m. ASI ((m) : (n)) = ;;.
• 1. Como h : Z-+ G definida por h(k) = ak para todo k E Z, es
un homomorfismo sobreyectivo, por el TFHG Zj K er I, ~ G.

._~-
~oo
 --
------
.-i ,

38
39

Probaremos que I<er(J¡) = (n), así Zn = Zj(n) ~ G. En 2. Si dln, tomando H = (a;r) tenemos que H ~ G Y
efecto:
~ oCa) ·n n
k E I<er(Jd ~ ak = e ~ o(a)lk ~ k = o(a)a = na, =- = d
/H/ = o(ad) = MCD(o(a), njd) ::--:0-:-::--:----:--:-
MCD(n, njd) njd .
a E Z ~ k E (n). Es decir I<er(J¡) = (n).
Más aún, si I< ~ G con II<I = d, entonces por 1) tenemos que
2. G = (ak) n n
I< = (am) y II<I = -. Luego d = -. Es decir, I< = (ad) = H.
n
= (a) ~ o(ak) = oCa) ~ oCa) =
MCD(o(a), k) m m
oCa) ~ MCD(n, k) = 1.

• Ejemplo ( Los subgrupos de z, ) •

Proposición 1.11 Sea G = ( a ) un grupo cíclico finito de orden Como Zn es un grupo cíclico finito de orden n, para cada divisor
n. d de n existe un único subgrupo H de orden d, más aún H = ( ('J) ).
En particular los subgrupos de Z12 son:
1. Si {e} .¡:. H :s G entonces: H es cíclico, H = (am), m I
n y
donde
IH/
m
= ;;.
= min{ k E Z+ j ak E H }.
(Cn) = (O) = {O} ( C22)) = (6) ~ Z2 ( C32)) = (4) ~;

2. Si dln, entonces
H = ( a~ ).
existe un único H :s G de orden d. Más aún ( C4 2
)) = (3) ~ Z4 ( Cl)) = (2) ~ Z6 ( O n) = (1) ~ ;Z
- 12
Prueba: Recuerde que o(k) = MCD(12, k)'
1. Como H .¡:. {e} existe m = min{k E Z+ j ak E H}, luego
(am) e H. Recíprocamente si y E H,entonces y = a" con Teorema 1.5 (Homomorfismos de un Grupo Cíclico en Otro )
u E Z, y por el algoritmo de la división Sean G y G' dos grupos tal queG = (a) y b E G'.
existen q, rE Z tal que u = mq + r, O:S r < m. Si oCa) es infinito (ó oCa) finito y o(b)/o(a»), entonces existe un único
homomorfismo f : G -+ G' tal que fea) = b, Es decir f(ak) = bk
:s
Luego a" = aU(am)-q E H con O r < m. Por 10 tanto r = O para todo k E Z.
(debido a la minimalidad de m). Así y = a" = (am)q E ( am).
Es decir H = (am). Por otro lado existen q', r' E Z tal que Prueba: Sea f : G = (a) -+ G' definida por f(ak) = bk para todo
n = mq' + T' con O :s
r' < m, lo cual implica que e = a" = k E Z.
(am)q'ar'; por ende ar' = (am)-q' E H con O T' < m, luego :s
r' = O. así m/n. Finalmente 1. Si oCa) es infinito, entonces para todo e
E G existe un único
k E Z tal que c; = ak. (si c; = ak = a" con r, k E Z tendríamos
m oCa) n n
/H/ = oCa ) = MCD(o(a), m) = IVICD(n, m) = m que ar-k = e, entonces r = k. Porque?) Por lo tanto si oCa) es
infinito, f está bien definida.
 .,
1,_-

¡
:¡
I
r.
¡
40 I

2. Si o(a) es finito y o(b)lo(a), f está bien definida. En efecto: [

I 1. Basta observar que Zn es abeliano.

Si ~ = a =
a" con T, s E Z, entonces a
T = e, luego T - S = TS i
-
2. Como f : Zn = (1) --+ Zn es un automorfismo, entonces
o(a)a para algún a E Z. Ahora como o(b)lo(a), existe f3 E Z
tal que T - S = o(b)f3a. Por lo tanto bT- = [bo(b)],Bcr = e, esto
t z, = (J (1)). Es decir f (1) es un generador de por lo tanto z.,

I
S

el MCD(J(1),n) = 1, Y así f(1) E U(Zn). Luego podemos

es b = b". Es decir f está bien definida.
T
definir
3. Como f(aT aS) = f(aT+S) = bT+S = bTbs para todo T, s E Z, f r 'ljJ : (Aut(Zn), o) --+ (U(Zn),.)
es un homomorfismo de gTUpOS tal que f(a) = b. f ~ f(1)

que g : G --+ G' es un homo-

4. Para ver la unicidad supongamos
morfismo de grupos tal que g( a) = b, entonces I (a) 'ljJ es un homomorfismo
Sean l,g E Aut(Zn)
de grupos.
tal que f(1)
En efecto:
= r y g(1) = 8 (esto es,
f~ 'ljJ(J) =r y 'ljJ(g) = 8). Luego

Por lo tanto

Observación
f y g son iguales.

Sean G, G' dos grupos tal que G = (a) y b E G • Si

I
• I
t
!
'ljJ(gof) = g(J(1))

(b) 'ljJ es inyectiva.

= g(1+ ...

En efecto:
+1) = 8+ ... +8 =

Si 'ljJ(J) = 1, entonces f(1) = 1. Ahora, si k E Zn es tal

TS = 'ljJ(J)'ljJ(g)

o( a) es finito y o( b) no divide a o( a), entonces no existe un homo-

morfismo f : e -> el con las condiciones del teorema anterior; pues
de no ser aSÍ, tenemos que o( b) lo( a) .
I que f(k) = f(k1)

(e) 'ljJ es sobreyectiva.

= kf(1) = kI = k, entonces f = 1dzn·
En efecto:
Determinar H om(Z8, ZlO)'
Ejemplo
t Si m E U(Zn), existen a, f3 E Z tal que
b E Z.]o tales o(b) b =O y
_ ~omo
b = 5, ( pues
los el:!uentos que
0(0) = 1 Y 0(5) = 2 ), existen dos homomorfismo de
I 8 = 0(1) son
I! MCD(in, n) = 1 = am + f3n.
Definimos fm : Zn --+ Zn por fm(1) = m, pues o(m) In.
grupos de Z8 en ZlO. U~o sería el homomorfismo nulo h, y el otro
Por el teorema II. 5. 1 fm es un homomorfismo de grupos.
12 definido
lo tanto
por /2(1) = 5, esto es, h(k) = 5k para todo k E Z8. Por
I Ahora, si x E Zn, entonces

x = max + nf3x = max = fm(ax)

Hom(Z8,ZlO) = {h,h} = {k ~ O, k ~ 5k}.
Teorema 1.6 Para n E Z con n 2: 2, se tiene que ASÍ, fm es sobreyectiva. Mas aún f es inyectiva ya que si
f(a) = O, ma = O. Luego n I ma y como MCD(n, m) 1 =
1. Int(Zn) = {Id}. tenemos que n I a. ASÍ, a = O. Por lo tanto fm E Aut(Zn)
y 'ljJ(Jm) = fm(1) = m.
2. Aut(Zn) ~ U(Zn).

Prueba: •
. ~~-_._.
 , ,
-- --------{ ,

42
43
1.8 El Grupo de las Permutaciones
1. K er(T) <J G.
Proposición 1.12 (Teorema de Cayley) Todo Grupo G es
2. Ker(T) ~ H. Pues si b E Ker(T), bxH = xH para todo
isomorfo a un subqrupo de B(X) {f X ~
x E G, luego bH = H, así b E H.
X / f es una función biyectiva } para algún conjunto X.
3. Sea N <J G tal que N ~ H, entonces N ~ K er(T). En efecto:
Prueba: Para 9 E G, definimos Tg : G ~ G por Tg(x) = gx, para
Si n E N, entonces x-1nx E N, para todo x E G Y como
todo x E G. Es fácil ver que esta función está en B(X). Luego la
función N ~ H x-1nx E H, para todo x E G, luego nxH = xH, para
todo x E G. Así ti E f{el'(T). El
T: G ~ B(G) tal que T(g) = Tg, V 9 EG

es un homomorfismo. En efecto: Corolario 1.13 Sea H un subqrupo propio de G . Si H no contiene

Como T9¡92(X) = (glg2)X = gl(Tg2(x)) = Tg¡(Tg2(x)) = (Tg¡ o Tg2)(x) ningún subgrupo normal de G distinto de {e}, entonces G es isomorfo
cualesquiera que sean gl,g2,:r en G, tenemos que a algún subgrupo de B (G/ ~) .
T(glg2) = T9¡92 = T(gl) o T(g2), es decir T es un homomor-
fismo de grupos. Es más, T es Inyectiva, ya que para g E K eT(T) se Prueba: Como el homomorfismo T : G ~ B (G/ ~) definido por
tiene que Tg = idG. Luego gx = x para todo x E G, así 9 = e. Por T(g) = Tg tal que Tg(xH) = gxH, para todo x E G tiene por
lo tanto
G ~ Im(T) ::::;
B(G).
f{er(T) = {e}, entonces G ~ Im(T) ::::;
B(G/~).
•
Definición 1.14 Un grupo G es Simple si sus únicos subgrupos
11 normales son G y {e} (los triviales).

Proposición 1.13 Para un subgrupo propio H del grupo G, existe Corolario 1.14 Sea H un subgrupo propio del grupo finito G. Si
un homomorfismo T : G -v+ B(G/~) tal que ker(T)es el máximo (G: H)! < IGI, entonces G no .•es s,imple. Mas aún :J{e} 1= N <J
subgrupo normal de G contenido en H. G/N~ H.

Prueba: Para 9 E G definimos Tg : G/ ~ ~ G / ~ por Prueba: Si el homomorfismo T: G ~ B(G/~) definido como T(g) =
Tg(xH) = gxH, Vx E G. Como Tg está en B(G/~) (verifique!), en- Tg tal que Tg(xH) = gxH, para todo x E G fuese inyectivo, entonces
tonces
IGI = IIm(T)I::::; IB(G/~)I = (G: H)/!
T: G ~ B(G/~) definido por T(g) = Tg, Vg E G
lo cual no pude ser, pues contradice la hipótesis.
es un homomorfismo de grupos. Luego {e} 1= f{ eT(T) <J G Y f{ eT(T) ~ H.
Como las proposiciones: 9 está en K e¡'(T), Tg = idG/_
Y gxH = xH, Vx E G_ Son equivalentes, tenemos que Corolario 1.15 Sea H un subgrupo propio del grupo finito G. Si
K el'(T) = {g E G/ gxH = x H, Vx E G}. De esto obtenemos: IGI no divide a (G: H)!, entonces G no es simple. Mas aún 3{e} =f=.
N <JG/N <;;; H
 44 45

Prueba: Si el homomorfismo T : G ~ B (G/ ~) definido como T(g) = y será llamada órbita de a bajo (5. En particular, si X es finito
Tg tal que Tg(xH) = gxH, para todo x E G fuese inyectivo, entonces existe un entero t tal que X = al U a2 U··· U at, más aún, para cada
por el Teorema de Lagrange tenemos que 1 ::; i ::;t existe r, = min{k E Z / (5k(ai) = ai} tal que

ai = {ai, o-(ai), o-2(ai), ... ,o-ri-l(ai)}

IIm(T)1 I IB(G/~)I
Definición 1.15 Una permutación o- en Sn se llama r - cíclico si
es decir IGII (G : H)!. Esto contradice la .hipótesis. Luego, existen elementos distintos al,a2, ... ,ar E {1, 2, ... ,n} tal que
{e} #- Ker(T) <J G Y Ker(T) ~ H. 11
Las dos proposiciones anteriores nos muestran que el grupo de
permutaciones es muy importante, ya que todo grupo es isomorfo
a uno de sus subgrupos (del grupo de permutaciones) para algún para todo j E {1, 2, ,n} - {al,a2, ... ,ar} tal r- ciclo será de-
conjunto adecuado. notado por (al,a2, ,ar). El número r es llamado longitud del
La primera proposición usa un conjunto muy "grande", pero esto ciclo. Un 2-ciclo es llamado también una transposición.
es mejorado en la segunda proposición.
Observaciones:
Ejemplos
1. (ala2 ... ar) = (a2a3 ... arad = (aral ... ar-J).
1. Para un grupo G de orden 48 = 243, se verá mas adelante que
posee un subgrupo H de orden 24. Luego (G : H)! = 3! < 48 = Ejemplo Para
IGI. Ahora aplicando el corolario anterior tenemos que existe
un subgrupo normal N de G diferente de {e} y contenido en o-=(2123456789)ES
31864957 9
H. Por lo tanto, INI = 2,4,8 ó 16.
los ciclos son: (1 2 3), (48)) 6), (79)
2. Para un grupo G de orden 99 = 3211, se verá mas adelante Y las órbitas son: 1 = { 1, 2, 3 } = 2" = 3, '4 = { 4, 8, 5, 6 },
que posee un subgrupo H de orden 11. Luego (G : H)! = 9!. "7 = { 7, 9 } = 9. Más aún
Ahora como 99 no divide a 9!, por el corolario anterior existe
un subgrupo normal N de G de orden 11. (1 23) (485 6) (7' 9) = (21 2 3 4 5 6 7 8 9)
3 1 8 6 4 9 5 7
Sea X un conjunto no vacío y (5 E B(X). Para a, b E X definimos:
Definición 1.16 Sean 0:,13 E SnJ donde o: es un r-ciclo y 13 un s-
a r-» b si y sólo si existe i E Z : b = (5i(a) ciclo. Se dice que o: y 13 son disjuntos si y solo si para todo j E
{1, 2, oo., n} o:(j) = j ó f3(j) = j.
No es difícil ver que esta relación es de equivalencia en X. La clase
de equivalencia de a E X es: Ejemplo o: = (4856) y 13 = (7 9) son ciclos disjuntos de S9. Pero
'IjJ = (31 2) yo- = (1 45) no son ciclos disjuntos de Ss, pues 'IjJ(1) = 2
a={bEX / a ">:« b} = {(5i(a) / i E Z } y (5(1) = 4.

~..
 46
41
Teorema 1.7 Si CT E Sn - {id}, entonces CT es igual al producto de Definición 1.18 El conjunto An = {O" E Sn / O" es par} es un sub-
sus ciclos disjuntos de longitud mayor o igual que 2.
grupo de Sn, llamado Grupo Alternante de Grado n.
Prueba: Para X = {l, 2, ... , n} y el O" dado, X = a¡ Ua2··· Uat, Sea 't/J : Sn ~ ({ 1 ,-1 I.: ) definida por:
y por la observación 1 para a E { ai, O"(ai), 0"2(ai), ... , O"T;-¡(ai) }
tenemos que:
'Ij;(0") = {-1 s~ O" es impar
1 SI O" es par

y como para P, lE Sn tales que P es par e 1es impar, tenemos que:

es decir en Sn tenemos t ciclos disjuntos dos a dos, más aún O" es
igual a +1 =
'Ij;(p¡ P2) = 'Ij;(P¡) 't/J(P2) = (+1)(+1) = +1
-1 = 'Ij;(p¡ l¡) = 'Ij;(P¡) 'Ij;(l¡) = (+1)(-1) =-1
-1 = 'Ij;(l¡ Pd = 'Ij;(I¡) 'Ij;(P¡) = (-1)(+1) =-1
+1 ~ 'Ij;(l¡ 12) = 'Ij;(I¡) 'Ij;(h) = (-1)(-1)
• 'Ij; es un homomorfismo de grupos con K er( 'Ij;) = An. Por lo tanto
= +1

2. (a¡a2 ... ar) = (a¡ar)(a¡ar_¡) ... (a¡G3)(a¡ a2). An es un subgrupo normal de G. Luego
Es decir todo r-ciclo es igual a un producto de (r-1) transposi-
cienes; luego por el teorema anterior toda permutación es igual Sn ~ {1,-1} y
a un producto de transposiciones. An

3. La descomposición de una permutación como producto de 1.9 Ejercicios

transposiciones no es única. Por ejemplo
1. Hallar todos los subgrupos.de Z36, Zso y Z¡3 , y hacer el dia-
(a b) = (i b) (i a) (i b). grama reticular de los mismos.

Definición 1.17 Una permutación O" E Sn se llama Par si existe 2. a) Probar que Hom(Z, Zn) =F {a}.
una descomposición de O" en un número par de transposiciones. En b) Probar que Aut(Z) ~ lU2.
caso contrario la permuiacián se llama Impar. c) Hallar Hom(lUn, Z).

4. Sean P, E Sn una permutación par e I, E Sn una permutación d) Para un grupo finito G determine Hom(G,Z).
impar, entonces:
3. Determine los siguientes grupos
r, P2 es par
PI Ir es impar a) Hom(ZlQ, ZIS).
I, PI es impar
b) Hom(Z6, S3). ¿ Existen monomorfismos de Z6 en S3 ?
l¡ h es par
c) Hom(Z, S3).
48
49

d) Hom(2s, D4). 11. Sean

e) Hom(24, DÚ 2 3 4 5 6 7 8 9 10 11 2
(3 = ( ~ 12 8 11 6 7 5 3 2 11 )
4. Pruebe que Hom(2n, 2m) ~ 2d, donde d = MCD{ n, m}. 4 10
Y
5. Sean G, 9 dos grupos y H <l G. Pruebe que existe una cor-
respondencia biunívoca entre los homomorfismos inyectivos de 2 3 4 5 6 7 8 9 10 11
~= ( ~ 3 1 2)
G/ H en 9 y los homomorfismos de G en 9 que tienen como 4 6 8 5 10 12 11 9 7 2
núcleo a H.
elementos de 5¡2.
6. Para cada caso determine cuántos homomorfismos existen de
GenH a) Calcular (34~8.
b) Encontrar el orden y el signo de (34~8.
a) G = 53 y H = 22 X 22.
b) G = 53 Y H = 210· 12. Sea p un número primo y al, a2, ... , at E 5n \ {id} ciclos dis-
juntos tal que a¡ a2 ... o¿ tenga orden p. Pruebe que cada ai
c) G = 53 Y H = 53. tiene longitud p. .
d) G = 54 Y H = 22 X 22.
e) G = D4 Y H = 53.
a) Si u E Sn, muestre que UTU-¡ = (u(a¡)u(a2)··· u(ar)).
7. Determinar el grupo Aut(232).
b) Si (b¡ bz br) es un r-ciclo, muestre que existe u E S¿ tal
8. Si G es un grupo no abeliano de orden pq, donde p y q son que (b¡ b2 br) = UTU-¡.
primos distintos, entonces 2( G) = {e}. c) Si (b¡ b2 br) es un r-ciclo y r :S n - 2, muestre que existe
9. Si a, (3 E 5n son dos ciclos disjuntos, pruebe que a(3 = (3a. u E An tal que (b1b2·· ·br) = UTU-1.

10. Escriba las permutaciones siguientes como producto de ciclos 14. Calcule uau-¡ en los siguientes casos:
disjuntos, y calcule su orden
a) u = (135)(12), a = (1579).

a) (~ ! : ~~ )
;
7 8
7 9 ~
b) u
e)
=
u=
(579), a = (123)(34).
(12)(34), a = (123)(45).

b) (! ~!~~~~) 15. a) Encuentre

(56)(13).
una permutación u tal que u(12)(34)u-1

c) (123)(45)(16879)(15)
b) Muestre que no existe ninguna permutación u tal que
d) (12) (123) (12) o-(123)u-¡ = (13)(578).

,
 -'--'- .~
.. ..

50 51

16. ¿ Cuáles de las siguientes permutaciones son pares? Prueba: Definimos

a) (123)(12). 'P : GxX ~ X

(g, x) f-' 'P(g, x) = p(g)(x),
b) (12345)(123)(45).
e) (12)(13)(14)(15). tenemos que <p(g, 'P(g', x)) = p(g) (p(g')(x)) = [p(g)op(g')] (x) =
p(gg')(x) = 'P(gg', x) Y 'P(e, x) = p(e)(x) = idx(x) = x, para todo
d) (123 ... 17)(12)(231). s.s' E G y x E X.
De donde se cumple ii). Reciprócamente, para cada 9 en G la
17. Escribir los elementos de A4, y pruebe que existen elementos
de orden 2. función p(g) de X en X definida por

p(g)(x) = <p(g , x), Vx E X

18. a) Muestre que S7 no tiene elemento de orden 15.
b) Muestre que S7 no tiene elemento de orden mayor o igual es inyectiva, pues de p(g) (x) = p(g) (y) tenemos que 'P(g , x) -
a 13. 'P(g , y); luego
c) ¿ Tiene S7 elementos de orden 8 ? x = 'P(e,x) = 'P(g-I,'P(g,x)) = <p(g-I,'P(g,y))'P(e,y) = y.

19. Sean al, a2, ... ,at E S¿ ciclos disjuntos de longitudes Más aún, es sobreyectiva, pues para y en X existe x = 'P(g-l, y) en
rl, r2, ,1't respectivamente. Pruebe que el orden de X tal que
ala2 at es igual al MCM{rl, r2,· .. ,rt}.
p(g)(x) = 'P(g, x) = 'P(g, 'P(g-l, y)) = 'P(gg-l, y) = cp(e, y) = y.
20. Pruébese que el "mínimo" subgrupo de Sn que contiene a (12)
Luego, podemos definir la función p de G en B(X), ya que p(g) E
y (123 ... n) es Sn.
B(X) vs E G. Además, como para todo g, g' en G tenemos que

p(gg')(x) = <p(gg', x) = <p(g, <p(g', x)) = p(g)(p(g')(x)) = (p(g)op(g))(x)

1.10 Acción de un Grupo Sobre un Conjunto
para todo x E X entonces p(gg') = p(g)op(g') para todo g, g' en G.
Proposición 1.14 Sean G un grupo y X un conjunto no vacío. Las Es decir, p es un homomorfismo entre los grupos G y B(X). 11
siguientes proposiciones son equivalentes:
Definición 1.19 Sean G un grupo y X un conjunto no vacío. Se
i) Existe un homomorfismo de grupos p de G en B(X). dice que G actúa sobre X si alguna de las condiciones de la
proposición anterior se cumple.
ii) Existe una función 'P de G x X en X tal que
Notación: Si denotamos a 'P(g , x) por q.», es decir
a) 'P(gg' , x) = 'P(g , 'P(g' , x)), para todo g, g' E G Y
XEX. g.x = <p(g , x)
b) 'P(e , x) = x para todo x E X. Tenemos que la función· : G x X ---> G satisface:
 ,
!
¡
I
~
~
l
52 1 53
¡
¡
t
! Sea e un grupo que actua sobre X, x X,
a) (gg'),x = g.(g'.x), para todo g, g' E e

b) e.x = x, para todo x E X.

y x EX.
¡ Proposición
entonces
1.15 y E

i Uorb(x) = (e : E(x))
Si e es un grupo que actúa sobre X, para x, y en X definimos la
! Prueba: cp de orb(x) en {gE(x)jg E e} dada por cp(g.x) = gE(x),
relación "-' por
x "-' y -{:::=:} 3g E ejg.x =y ¡ para todo 9 E e está bien definida, pues si y = 9 . x = h· x, entonces

"-' es una relación de equivalencia en X, pues: (h-1g) . ~ = h-1 . (g. x) = h-1 . (h· x) = (h-1h) .x = e· x = x

• Como e.x = x, para todo x E e se tiene que x "-' x. I

¡ Luego h-1g E E(x), consecuentemente gE(x) = hE(x). Además cp
es inyectiva, pues si cp(g.x) = cp(h.x), entonces gE(x) = hE(x). Es
• Si 3g E ejg.x = y, entonces g-l.y = g-l.(g.x) = (g-lg).x = I
decir h-1g E E(x). Por lo tanto (h-1g) . x = x. Así
e.x = x. !;
¡
\
• Si 3 s.s' E e tal que g.x =y y g'.y = z , entonces ¡,
(g'g),x = g'.(g.x) = z, ¡ finalmente cp es sobreyectiva de manera obvia. Por lo tanto la

Definición 1.20 Sea e un grupo que actua sobre el conjunto X. I

"¡
proposición está probada.
Si e actua sobre X se dice también que X es un e - espacio, y
•

1. La clase de equivalencia de x en X se llama Orbita de x y se i el homomorfismo p de e

en B(X) se llama representación de e
i
denota por orb( x) en el grupo de permutaciones de X. Ejemplos

1. La función T de e en B(e) definida por T(g)(x) = gx \/g, x E

orb(x) = {y E X j x "-' y} = {g.x j 9 E e} ~ X !
f e, es una representación de e en el grupo de permutaciones
f~ de e
(ver el teorema de Cayley). Observe que
2. El estabilizador de x es el conjunto

E(x) = {g E e j g.X = x} ~ e
I y
orb(x) = {gx j 9 E e} = e

Afirmamos que E(x) es un subgrupo de e. En efecto. E(x) = {g E G j gx = x} = {e}

• e E E(x), entonces E(x) =f. <p. 2. Sea e un grupo y X = {H j H es un subgrupo de e}. La
í
• Si g, g'EE(x), entonces (gg').x = g.(g'.x) = x. Así gg' E E(x). función 1 de G en B(X) definida por I(g)(H) = gH g-l para
i todo 9 E G Y H E X es una representación de G en el grupo
• Si 9 E E(x), entonces g-l.x
luego g-l E E(x).
= g-l.(g.x) = (g-lg).x = e.x = x;
I de las permutaciones de los subgrupos de Note que e.
orb(H) = {gH g-l j 9 E e}

-- 't'----,- , 1--.1---.
f '1'
.1 .
t
t-
 , ,

54 55

es el conjunto de todos lo subgrupos conjugados a H y Proposición 1.16 Si e es un grupo de orden p", donde p es primo
y n ~ 1, entonces
E(H) = {g E e / gHg-1 = H} = Nc(H)
Iz(e)12 p.
es el mayor subgrupo de e en el cual H es normal. Luego, por
la proposición anterior tenemos que ~orb(H) = (e : Nc(H)), Prueba: Como (e : E(xd)lIel y (e : E(Xi)) > 1, pl(e : E(Xi)), y
es decir usando la ecuación de clases tenemos que pIIZ(e)l· Así, IZ(e)1 2 p.
fI
El número de subgrupos conjugados a H = (G : Nc(H))
Corolario 1.16 Si e es un grupo de orden p2, donde p es primo,
3. Si e es un grupo, la función 1 de e en B(e) definida por entonces es abeliano.
I(g)(x) = gxg-1, para todo x,g E e, es una representación de e e
e en el grupo de permutaciones de e (!Verifique!), donde Prueba: si IZ(e)1 = p, entonces I Z(e) I = p; o sea Z(e) es cíclico.

orb(H) = {gxg-1 / 9 E e}
Luego e es abeliano, lo cual es una contradicción. Por lo tanto,
IZ(e)1 = p2 Y e = Z(e). I!I
es la clase de conjugación de x y
Proposición 1.17 ( El Lema de Cauchy) Sea e un grupo finito.
E(x) = {g E e / gxg-1 = x} = {g E e / gx = xg} Si p Ilel, entonces existe x en e tal que o(x) = p
es el centralizador de x. Además, Observe que
Prueba: Si e = {e} no hay nada que probar. Supongamos que
orb(x) = {x} <=> x E Z(e) y E(x) = e <=> x E Z(C) lel > 1 Y que el lema vale para todo grupo de orden menor que ICI
(Hip. Inductiva). Como p I lel, entonces lel = p, 2p, 3p, ...
En particular, si e es finito, entonces
n
1. Silel = p entonces e ~ 7l p , por lo tanto existe x E e tal
e = t0orb(xi) que o(x) = p.
;=1
2. Sie abeliano y lel 2 kp k 2 2.
Luego
Sea y E e y y 1= e, luego:
n n n

lel = L ~orb(xi) = L ~01'b(x;) + L porb(x;) (a) Si H =: ( y ) S;; e, se tiene que 1 < I H I < lel·
i=l i=l
xiEZ(C)
1=1
Xi~Z(C)
(b) Si e = (y), entonces yP 1= e, y tomando H =: (y). se
tiene que
Por lo tantose tiene la ecuación de clases de conjugación.
_ p _ o(y) lel ICI
n
1< IHI - o(y ) - MCD(o(y) , p) MCD(lel,p) = P < lel·
lel = Iz(e)1 + L (e: E(xd)
1=1 Ahora si p divide al orden de H, existe x E H (por lo tanto
E(Xi)o¡fC
x E e) de orden p. Pero si p no divide al orden de H;
56
!¡ 57
¡
¡ J (G
G G G !
1) Si existe H::; G tal que p : H)
comop IIHIIHI = IGI tenemos quep IIHI y IHI < IGI· ¡

Luego por la hipótesis inductiva existe -Z E G/ H de orden

¡ Como IGI = IHI (G : H), tenemos que IHI = pm{3 con
= 1 y IHI < IGI·
I

MCD(p,{3)
p.

Si o(z) = T,

decir plT. Así T

entonces
= pa
-Zr = e en ~. Luego o(-Z)
para algún entero ex. Por lo tanto
I T, es II Luego por la hipótesis
que IKI = p":
inductiva existe J( ~ H (:. K < G)
-
tal

2) Si para todo H ~ G, p I(G : H)

(zoy = e donde z" está en G.

G no IGI > kp > 2.

I Como
k
3. Si
Si pIZ(G),
es abeliano y
ya está probado.
k
Supongamos que p no divide al
I
I• IGI = IZ(G)I + L (G: E(x;) )
i=1
orden de Z(G). Sabemos que ¡
¡ siendo E(Xi)
Xi~Z(G)

~ G , p I(G : E(Xi) para todo 1 ::; i ~ k. Luego

k
I IZ(G)I,
¡

IGI = IZ(G)I + ¿)G :E(Xi)) 1 p y por el lema de Cauchy existe N ::; Z(G) (por lo
i=1 tanto N <1 G) de orden p. Además como

Luego existe un Xi (j. Z(G) tal que p ¡J(G : E(Xi)) y como

IGI = (G : E(Xi)IE(Xi)1 se tiene que p I IE(x;)1 y E(x;) ~ G IGI
luego por la hipótesis inductiva existe X E E(Xi) (:. x E G ) de
orden p. Luego por la hipótesis inductiva existe un subgrupo K' de G/N

• de orden pn-1 y, como la proyección canónica 1í : G -7 G/N

es sobreye~tiva, existe "" subgrupo K de G tal que J( :2 N y
Corolario 1.17 Sea G un grupo finito y p un número primo. IGI = 1í(K) = K . Luego aplicando el TFHG tenemos que
pn para algún entero n si y solo si cada elemento de G tiene orden
K
igual a v,na potencia de p. N ~ (Tioi)(K) = 1í(i(K)) = 1í(K) = K'

1.11 Así
Los Teoremas de Sy low
IKI = IK'IINI = pn-1 .p = pn
Teorema 1.8 (1 er Teorema de Sylow) Si G es un grupo finito de Por lo tanto existe un subgrupo K de G de orden p":
orden pmb con p primo tal que p J b, entonces para cada O ::; n ::; m
existe un subgrupo K de G de orden pn.
•
Prueba: Si IGI = 1no hay nada que probar. Supongamos que IGI > Corolario 1.18 Sea G un grupo finito y p un número primo. Si
1, Y que el teorema es verdadero para todos los grupos de orden pm I IGI y pm+1 J IGI, existe un subgrupo H de G de orden pm.
menor que IGI ( Hipótesis Inductiva ).

... _.~ ._~ __ .... __ ~..... _0_ ... _._, .. ..------~-.......,.......---...~-.P-·-

 -------~.

, ,
59
58

Definición 1.21 Sea G un grupo finito de orden pmb, con p primo Luego

tal que p X b, l(x)IISI

(x)S::; Nc(S) y l(x)SI = IS n (x)I·························*
1. Un subgrupo H de G se llama p-subgrupo de G si el orden
de H es pk con 1 ::; k ::; m. Además como x (j. S, S n (x) es un subgrupo propio de (x). Por lo
2. Un subgrupo S de G se llama p-subgrupo de Sylow de G si tanto
l(x)1
el orden de S es p'":
Isn (x)1 > 1
Ejemplos: Y usando (*) tenemos que l(x)SI > ISI· Además l(x)SI es un p-
1. En S3 = (0:,(3/0:3 = (32 = 1,(30: = 0:2(3) se tiene que: subgrupo de G. Pero esto contradice que S sea un p-subgrupo de
(o:) = {1, 0:, 0:2} es el único 3-subgrupo de sylow de 53; mien- Sylow de G. Por lo tanto
2
tras que ((3) = {1, (3}, (0:(3) = {1, 0:(3}. Y (0:2(3) = {1, 0: (3} son
pnNc(S) = PnS.
los tres 2-subgrupos de Sylow de S3.

2. En Z36
,.
( 4 ) = { O, 4, 8, 12, 16, W, 24, 28, 32} es un 3-subgrupo Teorema 1.9 (2do Teorema de Sylow )
de sylow y ( 9 ) = {O, 9, 18, 27} es un 2-subgrupo de sylow Sea G un grupo finito de orden pmb, con p primo y MCD{p, b} =
Si S es un p-subgrupo de sylow de G y a E Aut(G), entonces 1. Si S es un p-subgrupo de Sylow y P un p-subgrupo de G, entonces
existe 9 E G tal que P <;;:; gSg-l. En particular todos los p-subqrupos
ereS) es un p-subgrupo de sylow de G.
En particular si 19 E INT(G), I9(S) = g5g-1 es un p-subgrupo de sylow de G son conjugados.
de sylow de G llamado el Conjugado de S. Demostraremos que
Prueba: Si X = { gSg-l / 9 E G }, Es fácil ver que 1 : P ~ S(X)
todos los subgrupos de sylow pueden ser obtenidos de este modo a
definida por I(a) = la donde la : X ~ X es la biyección dada por
partir de uno de ellos. Ia(g5g-1) = agSg-1a-1 es una representación de P. Observe que:
Proposición 1.18 Sea G un grupo finito de orden pmb, con p primo
y MCD{p, b} = 1. Si 5 es un p-subgrupo de Sylow de G y P un
p-subgrupo de G, entonces y
n

I P n Nc (5) = P n S I X = l±J orb(giSg;l).

i=l
1
Prueba: Como 5 <;;:; Nc(5) = { 9 E G / g5g- = 5 } se tiene que
Por lo tanto
P n S <;;:; P n N c( 5). n n
Si P n S s:; P n Nc(S), existe x E P n Nc(S) tal que x (j. S, así: 1
(G: Nc(S)) = ~{gSg-l lo E G} = I)orb(giSgi- ) = I)p : E(giSg;l))
l(x)1 = p 0:, (x) ::; Nc(S) y S <J Nc(S). i=l i=l
 60
61

Es decir En particular si P = S, tenemos

n n
(e: Na(S)) = I)p: pn(giSg;l)) (**) np = (e: Na(S)) = L(S: S n (giSg;l))
i=l i=l

Por otro lado S ~ Na(S) ~ e y (e: S) = (e: Na(S))(Na(S) : S) donde giSg;l es un representante de la orbita arb(giSg;l), luego
pmb podemos asumir que
y como p I(C : S) = - = b, tenemos que p I(C : Na(S)). Luego
pm
de (**) existe 1 ~ io ~ n tal que orb(glSg11) = arb(S)

por lo tanto

Así np = (S: SnS)+(s: Sn(g2Sgi1))+ ... +(S: Sn(gnSg;;l)) == 1( mod p)

• Si e es un grupo de orden pmb, con p primo y coprimo con b. •

El 1er teorema de Sylow demuestra que existen p-subgrupo de
Teorema 1.10 (3er Teorema de Sylow ) sylow. El 2do teorema dice que todos los p-subgrupos de Sylow son
Sea e un grupo finito de orden pmb, con p primo y MCD{p, b} = conjugados. Y el 3er teorema establece una relación aritmética para
1. Si np es el número de p-subgrupos de Sylow de e, entonces hallar el número de p-subgrupo de Sylow.

1.12 Ejercicios
Prueba: Sea S un p-subgrupo de Sylow de e, entonces por el 2do En todas las preguntas de esta lista e denota un grupo.
teorema de Sylow
1. Sea IGI < 00 y H::;. e. Si H es el único subgrupo de G de
-1 lel orden IH!, pruebe que H es un subgrupo normal de e.
np = U{ gSg / 9 E e } = (e : Na(S)) = INa(S)1
2. Si IGI = 100 Y H es un subgrupo de G de orden 25, pruebe que
Como S ~ Na(S) y I S I = pm , tenemos que I Na(S) I = H es un subgrupo normal de G.
p m k
, k 7J
E~. P or O tanto np -- p"'b
1 b asi' np lb .
"'k -- k'
Por otro lado de (**) (En la 'demostración de la propocición an- 3. Sea G un grupo y H ~ e. Si n = HgHg-1 / 9 E e}, pruebe
terior) que existe un subgrupo normal K de G tal que K ~ Na(H) Y
(G: K)ln!.
n

(e: Na(S)) = ¿)P: pn(giSg;l)) para todo P p-subgrupo de e 4. Sea G un grupo y H ~ G. Si n = HgH / 9 E G}, pruebe que
i=l existe un subgrupo normal K de G tal que K ~ H Y (G : K)ln!.

, t .----. ,~-_.
 ,
-i , ,

63
62

12. Pruebe que en un grupo de orden 48 hay un subgrupo normal

5. Sea p el menor primo que divide al orden de G. Si H ~ G tal
que (G : H) = p, pruebe que H es un subgrupo normal de G. de orden 16 ó de orden 8.

6. Si G es un grupo de orden 2p con p primo, pruebe que G ~ 7l2p

13. Si IGI = 30, pruebe que existe T <l G tal que ITI = 15.
Ó G ~ Dp, donde 14. Si G es un grupo de orden 56, pruebe que G no es simple.

Dp = ( x , y / x2 = yP = 1, xyx-1 = yp-l ). 15. Si G es un grupo de orden 36, pruebe que G no es simple.

16. Sean H y K subgrupos de G tales que HnK = {e}, H n K <J J(

7. Sea G un grupo de orden pq con p < q primos. pruebe que: y H n K <J H. Pruebe que H n K <J (H U K), y concluya que
(a) Existe un único H ~ G tal que IHI = q (:. H <l G ). H ~ Nc(H n K), K~ Nc(H n K).

(b) Si p l(q - 1), entonces G ~ Zpq. 17. Si IGI = p2q con p, q primos, pruebe que G no es simple (Sug-
erencia: considere los casos p = q, p < q, q < p).
8. Si IGI = p2 con p primo, pruebe que:
18. Si G es un grupo de orden 112 132, pruebe que G es un grupo
(a) G es abeliano y. abeliano.
(b) G ~ 7lp2 Ó G ~ z, x 7l p.
19. Si G es un grupo de orden 108, pruebe que G posee un subgrupo
9. Sea G un grupo de orden pq con p < q primos. pruebe que: normal de orden 9 ó de orden 27.

20. Si G es un grupo de orden 2n 3 (n 2 2), Muestre que G posee

(a) Si G es abeliano, entonces G es cíclico
un subgrupo normal de orden 2n Ó de orden 2n-l.
(b) Si G es no abeliano, entonces pl (q - 1) y

G ~ (x,y/xP = yq = 1,xyx-1 = yr, 1 < r < q,rP == 1( mod q))

10. Sea G un p-grupo de orden p3. Si G no es abeliano, pruebe

que:

(a) IZ(G)I =p
(b) Z(G) = [G , Gl
G
(c) Z(G) ~ xz; z;
11. Si G es un grupo de orden 30, pruebe que G tiene un subgrupo
normal de orden 5 ó de orden 3.
 '~~'-' ~... -. --'-~'-'-._" - ,,- ,.

Bibliografía

[1J Adilson Goncalvez, Introducáo a Álgebra,

Projeto Euclides, IMPA.

[2J I.N.Herstein, Algebra Abstracta,

Grupo Editorial Iberoamericano, 1988.

[3J Arnaldo Garcia & Yves Lequain, Álgebra: Um curso de In-

troducáo,
Projeto Euclides, IMPA, 1988.

[4J H. O'Brien, Estructuras Algebraicas lII,

Monografía Nro. 14 de la OEA

65

-------- _._--......-._---------------- ---