ALUMNO: HERNANDEZ ORTEGA PEDRO MATRICULA: ES1410900455

Sabemos que el orden de S5 es 120 = 23 ∗ 3 ∗ 5

Los 3 – subgrupos de Sylow deben ser cíclicos de orden 3 generados por 3 – ciclos. Puede haber
1, 4, 7, 10, 13, 16, 19,22, 25, 28, 32, 34, 37, 40, pero solo 1, 4, 10, 40 son divisores de 40 asi de
esta manera los 3- subgrupos de Sylow son

{(1 2 3), (1 2 4), (1 2 5), (1 3 4), (1 3 5), (1 4 5), (2 3 4), (2 3 5), (2 4 5), (3 4 5)}

Sea G de orden 5, por el primer teorema de Sylow G tiene al menos un grupo de orden 5 y por
el tercer teorema de Sylow el número de dichos grupos es congruente con 1 modulo 5 y divide
a 5.
Como 1, 6 y 11 son los únicos números positivos menores que 15 que son congruentes con 1
modulo 5 solo el 1 divide a 15, vemos entonces que G tiene solo un subgrupo de Sylow P de
orden 5. Pero para cada g  G el subgrupo gPg-1 tiene orden 5 y como P era el único de orden
5 entonces gPg-1 = P ∀𝑔 ∈ 𝐺 de manera que 𝑃 ⊲ 𝐺, por lo tanto el grupo de orden 15 es cíclico.
QED
Sea G es un 2 – subgrupo de Sylow de S4. Si G tiene un elemento de orden p 2 (simetrías),
entonces G es cíclico y por tanto abeliano isomorfo a Z4. En el caso de que G no tenga elementos
de orden p2, entonces por el teorema de Cauchy se tiene que contiene un elemento “a” de orden
p. Sea A el subgrupo cíclico generado por “a”.

De aquí que A sea de orden p, por lo que A no es todo G, además por el primer teorema de
Sylow es normal a G. Sea “b” un elemento de G tal que 𝑏 ∉ 𝐴. El orden del elemento divide al
orden de G y no es p2, por tanto es también de orden p.

Denotamos como B al subgrupo cíclico generado por b, análogamente B también es normal a G

Entonces 𝐴 ∩ 𝐵 = {𝑒}, ya que si no fuera así un elemento 𝑐 ∈ 𝐴 ∩ 𝐵, distinto de “e” generaría
tanto a A como A B de donde A = B. Así tenemos que AB es un subgrupo de G y de simetría del
cuadrado, por lo que AB = G. Además por el, estos subgrupos son normales en G. Por tanto
estos subgrupos cumplen que G es el producto directo de A y B, por tanto es isomorfo a ℤ2 × ℤ2
por tanto comparte grupos. QED

Dado un primo “z” que divide al orden de G, denotemos con nz al número de z – subgrupos de
Sylow de G, entonces basta demostrar que n q = 1 o nr = 1, utilizando reducción al absurdo.

Si tanto nq como nr fueran mayores que 1 entonces del teorema de Sylow se desprende que

𝑛𝑞 > 𝑟 𝑦 𝑞𝑢𝑒 𝑛𝑟 = 𝑝𝑞

Además como G tiene al menos u p – subgrupo de Sylow entonces lo que sigue es que G tiene
más de 𝑟(𝑞 − 1) elementos de orden q, exactamente 𝑝𝑞(𝑟 − 1) elementos de orden r y al menos
𝑝 − 1 de orden p. Lo cual implica que el número de elementos del grupo G seria al menos

𝑟(𝑞 − 1) + 𝑝𝑞(𝑟 − 1) + (𝑝 − 1) + 1 = 𝑟(𝑞 − 1) + 𝑝𝑞𝑟 + 𝑝(1 − 𝑞 ) = 𝑝𝑞𝑟 + (𝑞 − 1)(𝑟 − 𝑝) > 𝑝𝑞𝑟

Lo cual es claramente es absurdo, en consecuencia nq = 1 o nr = 1. Como consecuencia dos

q - subgrupos de Sylow de G son conjugados entre si, el hecho de que nq = 1 o nr = 1 implica
de inmediata que o el q – subgrupo de Sylow es normal o el r – subgrupo de Sylow de G lo es.
Ahora si nq = 1 , denotemos con Hq al q – subgrupo de Sylow de G. Luego, si Ir es uno de los
r – subgrupos de Sylow de G, de la normalidad de Hq en G se sigue que

𝐻 ∶ 𝐻𝑞 𝐼𝑟 = { ℎ𝑘 ∶ ℎ ∈ 𝐻𝑞 , 𝑘 ∈ 𝐼𝑟 }

es un subgrupo normal de G.

Analogamente si nr = 1 , denotemos con Hr al r – subgrupo de Sylow de G. Luego, si Iq es uno

de los q – subgrupos de Sylow de G, de la normalidad de Hr en G se sigue que

𝐻 ∶ 𝐻𝑟 𝐼𝑞 = { ℎ𝑘 ∶ ℎ ∈ 𝐻𝑟 , 𝑘 ∈ 𝐼𝑞 }

es un subgrupo normal de G. QED

REFERENCIAS

1) PDF. Recuperado de:

http://www.mate.unlp.edu.ar/~demetrio/Monografias/Materias/EA/5.%20Aplicaciones%20de%2
0los%20teoremas%20de%20Sylow%20-%20J.%20Ferrario%20-%202004.pdf

2) PDF. Recuperado de

http://www.dim.uchile.cl/~mkiwi/ma31a/05/apunte.pdf