You are on page 1of 3

ALUMNO: HERNANDEZ ORTEGA PEDRO MATRICULA: ES1410900455

Sea p un grupo de orden p2. Como cada p – grupo es no trivial, entonces el centro de Z(P) de
P es no trivial lo cual implica que |𝑍(𝑃)| puede ser p ó p2, si es p2 entonces P = Z(P) por tanto
P es abeliano, pero en el caso que sea p entonces P/Z(P) es un grupo de orden p. Como los
grupos de orden primo p son cíclicos  P/Z(P) es cíclico.

El centro de un p – grupo no puede ser trivial.

𝑆𝑖 𝑍(𝐺 ) = 𝑝2 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑍(𝐺 ) = 𝑝 𝑙𝑜 𝑐𝑢𝑎𝑙 𝑖𝑚𝑝𝑙𝑖𝑐𝑎 𝑞𝑢𝑒 𝐺/𝑍(𝐺 )

Asi G/Z(G) tiene orden p y es cíclico, entonces G es abeliano utilizando el teorema G/Z. QED

Como S4 tiene 24 elementos entonces un 2 – subgrupo de Sylow tiene orden 8. Si el subgrupo


H de S4 generado por (1 2 3 4) y (1 3) tiene orden 8 por lo tanto es un grupo de Sylow de esta
manera es un 2 – subgrupo de Sylow tal que (1 3) perteneces al normalizador de un subgrupo
generado por (1 2 3 4) lo cual implica que H tiene orden 8 asi H es isomorfo a D 4.

{𝑒(1, 2,3,4) = 𝑇 , (1,3)(2,4) = 𝑇 2 , (1,4,3,2) = 𝑇 3 , (2,4) = 𝑆(1,4)(2,3) = 𝑆𝑇


𝑃=
(1,3) = 𝑆𝑇 2 , (1,2)(3,4) = 𝑆𝑇 3 }

Donde t2 > 1 ya que t2  3 entonces t2 = 3, es decir S4 tiene 3, 2 – subgrupos de Sylow, y por el


teorema de Sylow son conjugados
Ahora, sean

𝑄 = (1,4)𝑃(1,4)−1 = {𝑒(4,2,3,1), (4,3)(2,1), (4,1,3,2), (2,1), (1,4)(2,3), (4,3), (4,2)(3,1)}

𝑅 = (1,2)𝑃(1,2)−1 = {𝑒(2,1,3,4), (2,3)(1,4), (2,4,3,1), (1,4), (2,4)(1,3), (2,3), (1,2)(3,4)}

como segundo y tercer 2 – subgrupo de Sylow de S4. ASi P, Q, R son los tres 2 – subgrupos de
Sylow S4

Supongamos que G es cíclico y que se encuentra generado por g2 y como tiene orden p, y que
es conmutativo esto implica que el subgrupo generado por g 2 es normal.

Si G no es cíclico entonces el orden de cada elemento divide 2p así el orden puede ser 2 ó p.

Si g es un elemento de orden p y H un subgrupo cíclico generado por g entonces H es normal


por tanto G/H tendrá solo dos clases laterales, es decir G = H + xH , x  G. Dado que
G = Gx-1 =Hx-1 + xHx-1 entonces xHx-1 = H por tanto H no se interseca con Hx-1.

Si no existe elemento de orden p entonces cada elemento tiene orden 2 y G es abeliano generado
por elementos de orden 2 por tanto el orden de G es una potencia de 2 tal que |𝐺 | = 2𝑝, por lo
que no todos los elementos pueden tener orden 2, de esta manera debe de existir al menos un
elemento de orden p. QED

Supongamos que G es un grupo de orden 45 = 32 ∙ 5 con un subgrupo normal P de orden 3 2,


entonces G es abeliano y por el cociente G/C G(P) es isomorfo a un subgrupo de Aut(P) y tiene
orden 6 que en función de P es cíclico o abeliano primario, respectivamente, por otra parte ya
que el orden de P es el cuadrado de un numero primo, P es un grupo abeliano por tanto
𝑃 ≤ 𝐶𝐺 (𝑃). De lo anterior resulta que 𝐶𝐺 (𝑃) es divisible por 9 es decir |𝐺/𝐶𝐺 (𝑃)| es 1 ó 5. De
manera general esto implica que |𝐺/𝐶𝐺 (𝑃)| = 1 es decir 𝐶𝐺 (𝑃) = 𝐺 𝑦 𝑃 ≤ 𝑍(𝐺 ) ya que 𝐺/𝑍(𝐺 )
es cilcico por tanto G es un grupo abeliano. QED
REFERENCIAS

1) PDF. Recuperado de

http://personales.unican.es/olazabaj/Docencia/T_Grupos/Apuntes/sylow.pdf

2) PDF. Recuperado de

http://lic.mat.uson.mx/tesis/110TesisMendivil.PDF