Aplicaciones de los Teoremas de Sylow
Ferrario Julieta
NOTACIONES
Z§ _conjunto de mimeros naturales no negativos (0,1,2,---)
‘P mimeros primos
=) congruencia médulop
subgrupocielico generado pora
elemento neutro del grupo
E__grupogenerado pore
H es ciclico.
Lema 1.2. Todo grupo de orden primo es ciclico.
Teorema 1.3. Todo grupociclico es abeliano.
Teorema 1.4. Todo grupo ciclico finito de orden mes isomorfo al grupo aditivo Zn.
Teorema 1.5. El grupo Z,, x Z, es isomorfodZy, sii (p,q) =
Teorema 1.6. Sea G un grupo abeliano de orden pq.con (p,q) = 1 tal que a,b € Gon
lel = py [bl = entonces Ges ciclico deorden pq.
Teorema 1.7. Todo grupo abeliano finitamente generado Ges isomorfo al producto directo de
los grupos ciclicos de la forma
Zypu X Byia X vee X Dyge X Zao Z
1 1 PRELIMINARES
donde los p; € P , nonecesariamente distintos, y tambiénes isomorfoa
Em, X By oi X Zn, X ZeeZ
donde m, divide am...
Enambos casos el productoes tinico salvo el orden.
Corolario 1.8 (LAGRANGE). Sea H < G, G un grupo finito entonces |H| divide a |G. En
particular, se tiene que: |G| =[G : HH]
Definicién, El conjunto HK se lo denomina producto directo interno y se lo define como el
conjunto {hk h€ Hk € K}.
Observacién 1.1. Pordesgracia HK noes necesariamente un subgrupo de G.
Definicién, Sean Hy K dos subgrupos del grupo G. H es elcomplementode K sii G-= HK y
HOK=E.
Teorema 1.9. SiH y K:son subgruposde indice fnitode un grupo G tales que[G : H] y[G: K]
son primos relativos entonces G = HK.
Proposicién 1.10 (POINCARE). SiH y K son subgrupos de indice finito de un grupo G en-
tonces|G: HO Kes finito y[G: HOK] < |G: HIG: Ki]. Masatin (Gs HO.K] =[G:
HG: K]siiG =HK
Definicién. Dos subgrupos Hy K de un grupo G son conjugados si H = aKa~! para algun
a € G. Andlogamente, dos elementos ¢ y d en el grupo G son conjugados si c = ada™' para
alguna €G.
Teorema 1.11. Doselementos conjugados de un grupo finito tienenel mismo orden.
1
NVa€G. Selo
Definicién, Un subgrugo N de un grupo G es normal en G si aNa~
denotard: NAG.
Teorema 1.12. SiN selodenominala
unién oensamble de H y Ky se lo denotard HV.
Teorema 1.16. Sean Hy K subgrupos de un grupo Gcon H <\Gentonces: 1 PRELIMINARES 3
i TOKaKk
HaHVK
ii, WK=>HVK=KH
vii KdGy HK = E,entonceshk=khhe H,WkeK.
Lema 1.17. Sean HGy K aGtalesque HK
EyH\VK = GentoncesG ~ HX K.
Definicién. Un grupo Ges simple si no tiene subgrupos normales propios.
Definicién. Unaaccién de un grupo G en un conjunto S es una funcién de G x S a S donde
(g,8) + gs tal que:
es=5,VeeS
(ab)s
a(bs),Vs € S,Va,beG
Bajo estas condiciones § es unG-conjunto.
Ses unG-conjuntopor conjugacién si laaccion que actuaes (9,8) gsq-'.
Teorema 1.18. SiS es un G-conjunto, entonces laaccién induce un
donde A(S) es el conjunto de permutaciones de $,0 sea, A(S) = {
orfismot : G+ A(S),
= S,biyectivas}.
Corolario 1.19 (CAYLEY). Si G es un grupo entonces hay un monomorfismo G + A(S)
Entonces todo grupo es isomorfo aun subgrupo de un grupo de permutaciones. En particular
todo grupo es isomorfo a un subgrupo de S,, con n
Proposici6n 1.20. Sean H < Gy S = G/H. SiS es un G-conjunto entonces el niicleo del
morfismo inducidor : G—+ A(S)estd contenidoen H.
Teorema 1.21. Para cadan > 2A,<1S,, esde indice 2y|Au| = n!/2. Ademds A, esel nico
subgrupo de S,, de indice 2
Definiciones. Sea S unG-conjunto yseas € S. Se definen ladrbita des al conjuntoS
9 €G} yelgrupo de isotropia de s (o estabilizador des) G, = {9 € G: 9s
SiH < G, H un G-conjunto por conjugacién, a la drbitade 5, gsg7):9 €G}
se la denomina la clase de conjugacién de s, al conjunto de isotropta de s, Hy = {h © H:
hsh! = s} = {h € H: hs = sh} se lo denomina centralizador de s en H y se lo denotard
Cu(s). En particular cuando H = G, Ce(s) es simplemente centralizador de s en G y para
cada Q < G se define Co(Q) = {9 € G 49 = 99,¥4 € Q} como el centratizador de Q en
G. El nicleo de la accién que resulta ser \,-¢Calx) = {9 € G : gh = hg,¥h € G} selo
denomina centro de G y se lo denotard Z(G),
Si H actua por conjugacién en los subgrupos K de G ((g,K) ++ gKg~') al conjunto
Nu(i0) = {hs inH/hKh™ = K} se lo denomina normalizador de K en H, y en particular
cuando H = G, Ne( I) es elnormalizador de K.
{gs: 1 PRELIMINARES 4
Observaci6n 1.2. KG si
siiZ(G)=G.
Teorema 1.22. Sea Gun grupo y sea H € Syl,(G) . Entonces, six € G\H y|
algun natural n entoncesx ¢ Ng(H).
Lema 1.23. Sea $ un G-conjunto finito, donde |G|
[So. donde Sy = {s €.S: gs=s.¥g €G}.
Lema 1.24. SiG/Z(G)es un grupo ciclico entonces G esun grupo abeliano.
2(K) = G. Ademds, es claro que Z(G)1yH , Ch =< ba >, C", =< ab >, que son ci
den 2, K =< ab?a,ba > (conocido como grupo de Klein), C; =< a >. C!
Cl, =< ab >, C", =< ab? >, que son ciclicos de orden 3. {Por qué Ay no contiene un
subgrupo de orden 6?. Supongamos que existe H < A, de orden 6, éste serfa normal (por
el Lema 1.14) pues tendria indice 2 y todos sus elementos no triviales no pueden ser de or-
den 2 (pues en Ay solo hay 3 de ese orden). Asi H es un subgrupo normal que contiene al
menos un 3-ciclo, Si éste es (1 rz ag), también contendrd a su inverso (a1 x3 x2); CO-
mo (2ry ay)(ws a)(e1 2 4)(ar1 w2)(vy 4) = (wy v4 2g), también contendré a su inverso
(a x2 ar4)s como (23 g)(ar2 4)(03 2 g)(crs 3) 9 eg) = (cr £4 weg), también contendré
aeste y asu inverso (2 1r5 4). Vemos que tal subgrupo de orden 6 no puede existir, ya que
estarfa obligado a tener masde 6 elementos.
Sin embargo, vale la reofproca del Teorema de Lagrange para grupos de orden primo 0
potencia de un nimero primo. La existencia, la unicidad (que se da salvo conjugacién) y el
iniimero de tales subgrupos son los temas de los Teoremas de Sylow.
2.1 Los teoremas
‘Teorema 2.1 (PRIMER TEOREMA DE SYLOW). Sea Gun grupocon |G| =p"mconp €
Py (p,m) = 1, entonces paratodoi, 0 serdun subgrupo propio de G.
El eciproco es evidente por Lagrange (1.8), pues si G no tiene subgrupos propios entonces
Jos tinicos divisores de |G son 1 y él mismo, por lo tanto, |G es primo, .
Entoncesen la Tabladesimples marcamos los grupos simples de color rojo !:
273 [47576 [778797 10
TH [12 [13 [14 [15 [16 | 17 | 18 [19 | 20
21 [22 [23 [24 [25 | 26 | 27 | 28 | 29 | 30
SI [32 [33 [34 [35 [36 | 37 [38 [39 | 40
a1 [42 [43 [44 | 45 | 46 | 47 | 48 | 49 | 50
SI [52 [53 [54 [55 [56 [57 [58 [59] 60
GT | 62 | 63 [64 [65 | 66 | 67 [ 68 69 | 70
71 [72 [73 [74 [75 | 76 | 77 | 78 | 79 | 80
BI [82 [83 [84 [85 | 86 | 87 [88 [89 [ 90
91 [92 [93 [94 [95 | 96 [97 [98199 | 100,
Bnel Apéndice se encuentra la actorizaciénen némeros primos de todos los nimerosmenores ¢ igual a 100, 3. APLICACIONES 8
La siguiente Proposicién mostrard que ningtin grupo cuyo orden es de 1a forma pq, con
p @y ambos primos, no es simple. Ademés dard todos los grupos de dicho orden, salvo
isomorfismos.
Proposici6n 3.2. Sea Gun grupo tal que |G
= pq p> qyP.q € Pentoncesny = 1y2
© siq{ p—Lentonces @
© sig | p—1entonces hay solo dos grupos de orden pq: Zyq y el grupo no abeliano
generado por ay btales que |a| = p, |b| = 4, ba = ab donde s#, Ly sy 1.
Demost Como |G| = pa. por el Teorema de Cauchy (1.29) 3a,b € G (a 4b) tales
que [al = py |b] = 4. Sean P =< a >y Q =< b> entonces P y Qsondos subgrupos de G
ciclicos (pore! Lema 1.30).
Luego [G : P| = qy , porel Teorema 1.14, P .
Por el Tercer Teorema de Sylow (2.3) np =p 1 y np divide a |G
,4,Pq}- Analizamos estos cuatro casos posibles:
p t= 1—1/p¢Z entonces pquedadescartado.
‘gtambién lo descartamos porque como q < pes imposible que q = tp-+ Icon
o> sity = pq St = q—1/p €ZF entonces pq queda también descartado.
Por otro lado, aplicando nuevamente el Tercer Teorema de Sylow (2.3), 7g =, Ly nq divide
a|G| = pqentonces 3k €Z F tal que ny = kg +1 € {1,p,q,pq}. Analizamos estos cuatro
casos posibles:
ing =1& k =0, porlo tanto, ng = 1, es un caso posible.
& k= (p—1)/qEZé siig | p— 1, entonces nos queda otro caso posible.
G2 k= 1=1/q £25 entonces queda descartado.
pq k =p—1/q¢Z¢ también lo descartamos,
Ahora, entonces analizemos los dos tinicos casos no descartados:
© Sig{p—14n, =1= Q 4G(Corolario 1.33 (iii), Luego, como PQ = EF, porel
Lema 1.17,G ~ Px Qyademés P= Z,y Q~ Z, (Teorema 1,3) Px Q2 Zyy
(Teorema 1.4) pues (p,q) = 1, por lo tanto:
=P, enparticular, bab“! € P,y por
# Sig | p—1n, =p. Como PAG.Vg € G, gPg~
ser P de orden p, bab™! debe ser otro elemento de Pde orden p, de aqui que bab! = a’ 3. APLICACIONES 9
para alguns € 1-1 ,0 bien, ba = a*® paraalgun s € 1,1. Analizemos los dos casos
posibles des € I,1: $=, Ly s#, 1. Sis=, 1 = ba = ab= G es abelianoy luegoes
ciclico de orden pq (Teorema 1.5), por lo tanto:
[G=%n]
Si s#, 1, de larelacién ba = a*b, tenemos que ba’
para i = s, ba’ = a*"b, dedonde se deduce que
bia = a® bi con j € Ly q— Ltenemos que: }2-2ab-'
entonces a = b(b?-!ab "b= ass" * = a por lo tanto,
(Propiedad 1.1). Entonces G esta generado por a y btales que |a| = p, |b| = q.ba
donde s#, 1 y s!=, 1, yes claro que no es abeliano.
*‘b para toda i € 1,1 ,en particular
7 deduce que
-t) = git
a’ or induccién,
Observaci6n 3.1. Siq {tp — 1, Ges abelianoy ctelico.
Ena siguiente Tabla de simples se mostraran, con azul, cuales grupos no son simples, por
Ja Proposicién anterior:
10
20
[25 [26 [29 | 30 |
31 [32 [33 [34 [35 [36 | 37 [38 [39] 40
a [42 [43 [44 [45] 46 [47 [48] 49 [507
ST [5253 [54 [55] 56 | 57 [58 [59] 60
GI [62] 63 [64 [65 | 66 | 67 | 68 | 9] 70
71 [7273 [74 [75] 76| 7] 78 | 79] 80
BT [S285 [84 [85 [86 | 87 [88 | 89] 90
or [92 [93 [94 [95 [96 [97 [98 [99 | 100
Se daran ejemplos de algunos de dichos grupos,
BIE Ningun grupo de orden 15 = 3-5 essimple, SeaG de orden 15. Porel Primer
Teorema de Sylow (2.1), G tiene al menos un grupo de orden 5 y por el Tercer Teorema de
Sylow (2.3), el niimerode dichossubgruposes congruente con 1 médulo y dividea 15. Como
1, 6y 11 son lostinicos positivos menores que 15 queson congruentes con 1 médulo Sy entre
ellos sélo el ntimero 1 divide al 15, vemos entonces que G tiene solo un subgrupo de Sylow P
de orden 5, Pero paracada q € Gel subgrupo gP 47 tiene orden 5 (Teorema 1.11) y como P
erael tinico de orden esto fuerza aque gPg~! = P'Vg € G, de manera que P <1G (lo que
confirma el Corolario 1.33 (iii)). Porlo tanto G noes simple.
Encuanto ala Tabla de isomorfismos, por el Teorema 1.7 (los grupos abelianos finitos) y por
JaProposicién 3.2, se muestran estos resultados on los colores rosa y verde respectivamente. 3. APLICACIONES 10
ORDEN [CANTIDAD | GRUPOS
z T Za
3 1 Za
4 2
5 1
6 2
7 1
8 5
9 2
10 2 Zro,Ds
u 1 Za
12 5
13 1
14 2
15, 1
‘Veremos unos dle estos como ejemplo.
EJEMPLO: Determinemos todos los subgrupos de orden 10 = 2+5, salvo isomorfismo,
aplicando la Proposicisn anterior. Por los Teoremas 1.5 y 1.3, sabemos que todo grupo abeliano
de orden 10 es isomorfo a Zo. Supongamos que Ges no abeliano de orden 10, entonces no
tiene elementos de orden 10. Por la Proposicisn 3.2, G contiene un subgrupo normal HT de
ordenS y I debe ser efclico (Lema 1.2), Seaaun generador de 17. Entonees, G'/ H es de orden
2(Teorema 1.12) y, porlo tanto, G= HLIbH con € G\H. Por tanto, debemos tener b? € II.
Como todo elemento de 17, excepto e, tiene orden 5, entonces, si b? no fuera igual a e, tendria
orden 5, de modo que b tendria orden 10, Esto significaria que G serfa ciclico contradiciendo
nuestra hipstesis de que G no es abeliano, Asf,b? = e, Por tltimo, como H q, necesariamente n, = 1 y G contendria un subgrupo
normal de orden p?. :
EJEMPLO: Ningiin grupo de orden 20 = 2.3es simple. Sea Gun grupode orden 20, Por
el Tercer Teorema de Sylow, el niimero de 5-subgrupo de Sylow que G contiene es congruente
con 1 médulo 5 y divisor de 20, por lo tanto es slo 1. Entonces este 5-subgrupode Sylow vaa
Ver enel Apéndice los grupos diédricos D,, 3° APLICACIONES 12
sernormal (porel Corolario1.33), entonces G noes simple.
Los nuevos grupos no simples en la Tabla de simples son:
273 [47576 [778797 10
TT [42 [13 [14 [15 | 16 | 17 [18 [19 | 20
21 | 22 [23 [24 [25 | 26 | 27 [28 [29 | 30
BI [32 [33 [34 [35 [36 [37 [38 [39 | 40
41 [42 [43 [44 | 45 | 46 | 47 | 48 | 49 [50
51[52 [53 [54 [55 | 56 [57 | 58] 59 | 60
GT | 62 [63 [64 [65 | 66 | 67 | 68 [ 69 | 70
71 [72 [73 [74 [75 | 76 | 77 | 78 [79 | 80
BI [82 [83 [84 [85 | 86 [87 [88 [89 [90
91 [92 [93 [94 [95 | 96 [97 [98 199 | 100
EI siguiente resultado, nos propor
ordenes de la foma p? conp EP.
na una propiedad importante sobre los grupos cuyo
Teorema 3.4. Para todo grupo G tal que |G| =p2, con p EP. esabeliano.
Demostracién: Si G es un grupo ciclico entonces es abeliano, por el Teorema 1.2, SiG
no es ciclico, por Cauchy (Teorema 1,29) 3a € G tal que Jal = p, entonces IT =< a >es
un subgrupo de G cfclico de orden p (Lema 1.30), Como H 4 G, seab € G\H y definimos
K =< b>, entonces HK = E (puessinoic€ HA K,c Ze talque=H=K
contradiciendo la existencia del b € K\H lo cual implicaria que 7 = Gy por lo tanto G
ciclico). Por el Primer Teorema de Sylow (2.1) es un subgrupo normal de un subgrupo de
orden p? de G, estoes 1G, Luego Vg € G gH = Hg, en particular, para b tenemos que
ba = abentonces |K| = p(Teorema 1.11) y por el mismo argumento que antes JC
Este grupo recibe el nombre de grupo de cuaterniones *, Qs. Ahora supongamos que existe en
G\ Z(G) otto elementoa de orden 2. Si bes unelementode G'\ Z(G) de orden 4 (distinto de
ay H =
. Entonces Q
que es el grupo driédrico Dg, y
G=
que esel grupo Qh.
3, Sing =1y ns # 1: entonces el mtimero de 3-subgrupo de Sylow deG es necesariamente
ng = 4, Sean P € Syl(G) y S = G/P. Para cada s € S, por el Teorema 1.25,
|5|=[G: G,] =4 (recordemos queG, = {g € G: gs =s}), luego |5| =4.
Porel Teorema 1.18 |:
induce un morfismo 7: G+ A(S), que porlaProposicién
1.20, Nu(r) esté contenido en P. Entonces: Nu(r) = P 6 Nu(r) = E. Enel primer
caso tenemos que P <1G, por el Teorema 1.15, que es absurdo porque implicaria que
ng = 1. Entonees, Nu(r) = E, conlo cual resulta ser un monomorfismo, por lo tanto,
por Cayley (Corolario 1.19), Ges isomorfoa un subgrupo de S,, Porel Teorema 1.21, el
linico subgrupo de S; de orden 12 es Ay, porlotanto G~ Ay.
Con estos resultados se completa la Tabla de isomorfismos:
ORDEN [ CANTIDAD, GRUPOS
z T
3 1
4 2
5 1
6 2
7 1
8 5
9 2 Do, Z3 x Za
10 2 Zio,
in 1 Zu
12 5 2 X Ze, De, Qra» Aa
13 1
14 2
15 1 3. APLICACIONES 16
Lostres Teoremas que siguen nos sirve para clasificar los grupos cuyo orden son de la forma
parconp pq. y Como vimos antes, no existen tantos elementos
de orden q. Esto gfuerzaa que nq = r-
Finalmenteestudiemos los casos posibles de n,.: haciendoe! mismorazonamiento queen los
dos casos anteriores las tinicas posibilidades son: 4, ry qr. Que en cualquiera de los tres casos
tenemos que n, > @y el grupoestaobligadoa conteneral menos q(p—1 elementos de orden p.
Entoncesel grupo vaatener al menos pq(r—1)-+r(g—1)+q(p—1)-+1 =par-+rg—r—q+1
elementos distintos, pero esta cantidad es mayora |G| (pues rq > r +4). Porlo tanto, tenemos
query, ng On, esiguala 1. Siny = 1,sea P € Syl,(G) . Como |@/P| = grexiste H 1G/P
tal que [/| = r (por la Proposicién 3.2), HT = K/P con K <1G (por el Corolario 1.13) y
|| =pr. Entoneesexiste untinico RK tal que [| = r (porlaProposicién3.2). Como Res
normalen Ky K esnormal en G, tenemos R-<1G. El mismo razonamientose aplica si ng =
Luego en cualquiera de los casos se tiene siempre quer, = 1. PorlotantoG noes simple. lll
Coloquemos los nuevos grupos no simplesen la Tabla de simples:
| WR | 83
92 | [9 | 1a |
| Ba [87 [88 | 89 [90
96 [97 [98 [99 | ion |
2[3]a@][5 7[8 |@ [mo |
1 13 [aa | as | 17 [18 | 19 | 20
[Dam | Bar| 23 | 24 | se | a 27 [28 [29 | 30
31 [32 | ea | Bea | Bs | Te | 37 | RT | RT| 40
Ta | 44 | 45 | ae 7 | 48 | | 50
[Bm [ 52 [33 Ba | 56 [Ba | Ba | 59 | 60
61 | Wa | 63 [165 | 66 | 67 | 68 [ism | 70
7 [727 75 | 76 |i | 78 | 79 [ 80
85 |
[3s
aa
‘Veamos uno como ejemplo: 3. APLICACIONES 17
PIEMPLO. Ningdn grupo G de orden 30=2.3.5 es simple. Basta probar que solo existe
un solo p-subgrupo de Sylow para algtin p primo que divida a 30, por el Corolario 1.33. Por
el Tercer Teorema de Sylow, las posibilidades para el niimero de 5-subgrupo de Sylow son 1.6
6 y para 3-subgrupo de Sylow son 1 6 10, Pero si G tiene 6 5-subgrupo de Sylow , entonces
Ja interseccién de cualquiera par de ellos es un subgrupo orden que divide 5, por tanto, es .
Asi, cada uno contiene 4 elementos de orden 5 que no est en ninguno de los otros. De aqui,
G debe contener 24 elementos de orden 5. De manera andloga, si G tiene 10 3-subgrupo de
Sylow , tendré al menos 20 elementos de orden 3. Los dos tipos de subgrupos de Sylow juntos
requeririan un total de al menos 44 elementos de G. Asi,existe algtin subgrupo normal, yasea
de orden 503.
‘Teorema 3.7. Ningiin grupo de orden pq? conp,q €P es simple.
Demostracién: Sea G un grupo de orden p?4?, Si p = q se verd masadelante enel Teorema
3.10. Supongamos que p 1. Antesse dard otro
resultado:
Teorema 3.8. Sea G un p-grupoy sea A <1 Gdeorden p entonces AC Z(G), 3. APLICACIONES 18,
Demostracién: Hacemos actuar G en A por conjugacién: (g,a) ++ gag, Como G es un
p-grupo, sabemos que, pore! Lema 1.11, [A|=, [Aah donde Aq = {a € A: gag"! =a, Yg €
G}, y por lo tanto, p| Aol Ahora Ag = {a € A: ga = ag, Vg € G} = AN Z(G), asi
que [AM Z(G)Jes un miltiplo de p, pero como | yAN Z(G) < A, esto fuerza aque
AN Z(G) =A, conlocual AC Z(G). .
Teorema3.9. Sea Gun p-grupo finito, entonces G comtiene un subgrupo normal de orden p.
Demostracién: Porel Teorema anterior, tal subgrupo estard necesariamente en el centro de
G. Ademés sabemos, por el Teorema de Burnside (1,28), que Z(G) es no trivial y sera también
un p-grupo . Porel Teorema de Cauchy (1,29), Z(G) tendréal menos un elementode orden p;
sea aese elemento, Entonces A =< a > esun subgrupo de orden p y normal en G ya que est
en su centro, .
Mésatin:
Teorema 3.10. Sea Gun grupo de orden p" con p €P. Entonces para todo i 1,
el Teorema anterior nos garantiza que existe al menos un subgrupo normal de orden p, sea A
tal subgrupo, Hagamos induccién sobre. Para i = 1 es lo que se hizoen el Teorema anterior.
‘Veamos para i > 1: el cociente G/A es un p-grupo y de orden p"~* (por Lagrange y por el
Teorema 1.12). Porhipétesis inductiva, éste tendrd un subgrupo normal de orden p'1, queserd
de la forma N/A, para V un subgrupo normal en G y conteniendo a A (por el Corolario 1.13)
Como |V|= |N/A] |A| = p'!p = p',elsubgrupo N es el que estabamos buscando. .
‘Volquemos este resultado en la Tabla de simples:
3 [a [5 Do [iw]
1 13 [aa | as | 19 | 20
ul 23 | 24 [125 | 29 [ 30
[31 | 32 [1am | Ra | BS | | (Boi [40
41 43 | 44 [ 45 we | 50
(Bu 33 | 34 [BS 30 | 60
61 6 [165 1 | 70
7 7B 15 79 | 80
[IR | 83 89 | 90
(ar ai | BH | 5, 99 | Our |
El Lema quesigue es muy itil para determinar cuando un grupoes simple ono. 3 APLICACIONES 19
Lema 3.11. Si Hy K son subgrupo de un grupo finito G, entonces
|H\ IK]
HK| = :
HRY IH AK|
Demostracidn: Como MK < Kel grupo K es unién disjunta desus cosetsaderecha, ©
sea, lo podemos escribir como:
K=|(HoKy,
a
donde n =[K : 1K] =|K|H 2 K| (laiiltima igualdad vale por Lagrange) y Vi = 1,n,
kek.
Ademéscomo H(HOK) = H(yaque HK C Hentonces H(HOK) C Hysire H,
© =xaa'cona€ HK) tenemos que:
HK=(JHk,, i=1n, ki eK
a
Probemos queestaunién es también disjunta: si Hk; = Hkjentonces3h € Htalque ky = hk.
sea, = k:h5! € K entonces h € HM K, lo que implica que (HO K)k; = (HO. Kk y
como éstos son disjuntos tenemos que k; = kj. porlo tanto i = j. Entonces | | = n|H| =
AIK AO. .
{Por qué es muy titil? Por ejemplo, veamos que ningtin grupo de orden 48 es simple.
Primero: 48 = 2'+ 3. Por el Tercer Teorema de Sylow 2.3, G tiene uno o tres 2-subgrupo de
Sylow de orden 16. Si hay un solo subgrupo de orden 16 es normal en G.
Supongamos que hay tres subgrupos de orden 16 y sean Hy KC dos de ellos. Entonces
HO K debe serde orden 8, pues si 7) K fuera de orden menor o igual que 4 entonces por
el Lemaanterior, HK’ tendria al menos #242 = 644 elementos, contradiciendo el hecho de que
|G] =48. Por lo tanto, 17 Kes normal tanto en Hf como en K (porel Teorema 1.14). De
aqui, el normalizador de HK contiene Hy Ky debe tener orden un miltiplo de 16, mayor
a 1 ydivisorde 48, por lo tanto, debe ser 48. Asi HK debe ser normal en Gy porlo tanto G
noes simple
EJEMPLO. Veamos que ningun grupo de orden 72 es simple. Sea G de orden 72 = 2°?
Porel TercerTeorema de Sylow n3es 1.64. Sifuese 1 entoncesGserianosimple. Supongamos
que ng = 4. Sean P,Q € Syls(G) distintos. Luego PO Qes de orden 3, pues no puede ser
1, ya que por el Lema 3.11 || superaria al orden de G y tampoco puede ser 9 pues sino
implicaria que 17 = K.
Porel Teorema 1.14, como [H : 1K] =[ : HK)
entonces Hy K estan contenidosenel Ne(H 0K’).
Yaque [G : HK] =2y HK k y (p,m) = 1, entonces aplicando n — k veces el
Primer Teorema de Sylow 2.1, 3K <, G de orden p'" tal que 7 <1’, se sigue del Corolario
1.33(i) que K€ Syl,(G) , porlotanto HT CK € Syl,(G). .
Sea G un grupo de orden p", paracadar, 0 i,elementos. Asitendrfamos que
[S]=np=1 tp tutp Syl
Jocuales absurdo. a
En particular, para i = 2, tenemos que:
Lema 3.17. Sean Gun grupo finito y p EP tales quem, #,2 1. Entonces existen PR € Syl,(G)
tales que[P : POR) =p, y por tanto PO RP.
Demostracién: Sean § = Syl,(G) y P un S-conjunto por conjugacién sobre los subgrupos
de S. Para cada@ € S su érbita seréC1(Q) = {pQp™! : p € P} y su normalizador Np(Q) =
{p € P: pQp-! =Q} = PNNc(Q)-
Como cada Q es normal en su normalizador Nq(Q), este es su tinico p-subgrupo de Sylow
Y, por lo tanto, contendré a cualquier p-subgrupode Nq(Q). En particular PM Nq(Q) C Qy
entonces PM Ne(Q) = PQ. Entonces, porel Corolario 1.28, |C1(Q)| = [P : Ne(Q)] =
[P: PO Q]. Entonces la Férmula de Clase (1.27) es:
ny =|S|= > [P: No(Q= YP: Pn@
oa
IcQ\| 1 sii P= POQsii PC Q, pero también, por oto lado,
IexQ)| I sii Q)sii P-1Q, porlo
tno = Q. El cardinal de las érbitascon mas de un elemento serd de la forma p" con'r > 1,
yaque [C1(Q)] = L, 2 1, lo que contradice nuestra hipétesis. Por lo tanto, existe por lo
‘menos una érbita, R € S, con p elementos. Entonces Res tal que [P : PMR] = p (pues
ICR] =[P : PAR), y como pes el menor primo que dividea |PM RI, porel Teorema 1.14,
PORAP. :
Teorema 3.18. Si |G| = p2q°, p
. Pero six esdecir y b(xba!) = b(a(zya-!)x-!) = by =yb, absurdo, Observacién 3.2. La hipstesis p< q nose puede omitirSCOTT) Proposicién 3.19. Sean G un grupo finito, P € Syl,(G)y G. Entonces, 1. PN/N es unp-subgrupo de Sylow deG 2. PON esunp-subgrupode Sylow de N. Demosiracién: Para demostrar que un subgrupo H de un grupo Ges un p-subgrupo de Sylow , basta comprobar que F es un p-subgrupo y que [G' : H] noes divisible por p. 1. Por el Teorema de correspondencia (Sea NVTambién podría gustarte
