Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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.
Asi G/Z(G) tiene orden p y es cíclico, entonces G es abeliano utilizando el teorema G/Z. QED
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 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
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