Álgebra Abstrata: Teoria e Aplicações

Procederemos por inducción sobre el orden de \(G\text{.}\) Si \(|G|=p\text{,}\) entonces un generador de \(G\) es el elemento requerido. Supongamos ahora que todo subgrupo de orden \(k\text{,}\) donde \(p \leq k \lt n\) y \(p\) divide a \(k\text{,}\) tiene un elemento de orden \(p\text{.}\) Supongamos que \(|G|= n\) y que \(p \mid n\) y consideremos la ecuación de clase de \(G\text{:}\)

Tenemos dos casos que considerar.

Caso 1. El orden de alguno de los subgrupos centralizadores, \(C(x_i)\text{,}\) es divisible por \(p\) para algún \(i\text{,}\) \(i = 1, \ldots, k\). En este caso, por la hipótesis de inducción, estamos listos. Como \(C(x_i)\) es un subgrupo propio de \(G\) y \(p\) divide a \(|C(x_i)|\text{,}\) \(C(x_i)\) contiene un elemento de orden \(p\text{.}\) Por lo tanto, \(G\) contiene un elemento de orden \(p\text{.}\)

Caso 2. Ninguno de los centralizadores tiene orden divisible por \(p\). Entonces \(p\) divide a \([G:C(x_i)]\text{,}\) el orden de cada clase de conjugación en la ecuación de clase; luego, \(p\) divide el orden del centro de \(G\text{,}\) \(Z(G)\text{.}\) Como \(Z(G)\) es abeliano, tiene un subgrupo de orden \(p\) por el Teorema Fundamental de los Grupos Abelianos Finitos. Por lo tanto, el centro de \(G\) contiene un elemento de orden \(p\text{.}\)

Procederemos por inducción sobre el orden de \(G\) una vez más. Si \(|G| = p\text{,}\) entonces estamos listos. Ahora supongamos que el orden de \(G\) es \(n\) con \(n \gt p\) y que el teorema es verdadero para todos los grupos de orden menor a \(n\text{,}\) donde \(p\) divide a \(n\text{.}\) Usaremos la ecuación de clase una vez más:

Supongamos primero que \(p\) no divide a \([G:C(x_i)]\) para algún \(i\text{.}\) Entonces \(p^r \mid |C(x_i)|\text{,}\) pues \(p^r\) divide a \(|G| = |C(x_i)| \cdot [G:C(x_i)]\text{.}\) Podemos aplicar la hipótesis de inducción a \(C(x_i)\text{.}\)

Por lo tanto, podemos suponer que \(p\) divide a \([G:C(x_i)]\) para todos los \(i\text{.}\) Como \(p\) divide a \(|G|\text{,}\) la ecuación de clase dice que \(p\) divide a \(|Z(G)|\text{;}\) luego, por el teorema de Cauchy, \(Z(G)\) tiene un elemento de orden \(p\text{,}\) digamos \(g\text{.}\) Sea \(N\) el grupo generado por \(g\text{.}\) Claramente, \(N\) es un subgrupo normal de \(Z(G)\) pues \(Z(G)\) es abeliano; por lo tanto, \(N\) es normal en \(G\) pues todo elemento en \(Z(G)\) conmuta con todo elemento en \(G\text{.}\) Ahora consideremos el grupo cociente \(G/N\) de orden \(|G|/p\text{.}\) Por la hipótesis de indicción, \(G/N\) contiene un subgrupo \(H\) de orden \(p^{r- 1}\text{.}\) La preimagen de \(H\) bajo el homomorfismo canónico \(\phi : G \rightarrow G/N\) es un subgrupo de orden \(p^r\) en \(G\text{.}\)

Ciertamente \(x \in N(P)\text{,}\) y el subgrupo cíclico, \(\langle xP \rangle \subset N(P)/P\text{,}\) tiene orden potencia de \(p\text{.}\) Por el Teorema de Correspondencia existe un subgrupo \(H\) de \(N(P)\) que contiene a \(P\) tal que \(H/P = \langle xP \rangle\text{.}\) Como \(|H| = |P| \cdot |\langle xP \rangle|\text{,}\) el orden de \(H\) debe ser una potencia de \(p\text{.}\) Pero, \(P\) es un \(p\)-subgrupo de Sylow contenido en \(H\text{.}\) Como el orden de \(P\) es la mayor potencia de \(p\) que divide a \(|G|\text{,}\) \(H=P\text{.}\) Por lo tanto, \(H/P\) es el subgrupo trivial y \(xP = P\text{,}\) es decir \(x \in P\text{.}\)

Definimos una biyección entre las clases de conjugación de \(N(K) \cap H\) por \(h^{-1}Kh \mapsto (N(K) \cap H)h\text{.}\) Para mostrar que esta función es una biyección, sean \(h_1, h_2 \in H\) y supongamos que \((N(K) \cap H)h_1 = (N(K) \cap H)h_2\text{.}\) Entonces \(h_2 h_1^{-1} \in N(K)\text{.}\) Por lo tanto, \(K = h_2 h_1^{-1} K h_1 h_2^{-1}\) o \(h_1^{-1} K h_1 = h_2^{-1} K h_2\text{,}\) y la función es inyectiva. Es fácil ver que es sobreyectiva; por lo tanto tenemos una biyección entre los \(H\)-conjugados de \(K\) y las clases laterales derechas de \(N(K) \cap H\) en \(H\text{.}\)

Sea \(P\) un \(p\)-subgrupo de Sylow de \(G\) y supongamos que \(|G|=p^r m\) con \(|P|=p^r\text{.}\) Sea

el conjunto de los distintos conjugados de \(P\) en \(G\text{.}\) Por el Lema 15.1.6, \(k = [G: N(P)]\text{.}\) Notemos que

Como \(p^r\) divide a \(|N(P)|\text{,}\) \(p\) no divide a \(k\text{.}\)

Dado cualquier otro \(p\)-subgrupo de Sylow \(Q\text{,}\) debemos mostrar que \(Q \in {\mathcal S}\text{.}\) Consideremos las \(Q\)-clases de conjugación de cada \(P_i\text{.}\) Claramente, estas clases de conjugación forman una partición de \({\mathcal S}\text{.}\) El tamaño de la parte que contiene a \(P_i\) es \([Q :N(P_i) \cap Q]\) por el Lema 15.1.6, y el Teorema de Lagrange nos dice que \(|Q| = [Q :N(P_i) \cap Q] |N(P_i) \cap Q|\text{.}\) Así, \([Q :N(P_i) \cap Q]\) divide a \(|Q|= p^r\text{.}\) Luego, el número de conjugados en cada clase de equivalencia de la partición es una potencia de \(p\text{.}\) Pero, como \(p\) no divide a \(k\text{,}\) una de estas clases de equivalencia solo contiene un único \(p\)-subgrupo de Sylow, digamos \(P_j\text{.}\) En este caso, \(x^{-1} P_j x = P_j\) para todo \(x \in Q\text{.}\) Por el Lema 15.1.5, \(P_j = Q\text{.}\)

Sea \(P\) un \(p\)-subgrupo de Sylow actuando en el conjunto de los \(p\)-subgrupos de Sylow,

por conjugación. De la demostración del Segundo Teorema de Sylow, el único \(P\)-conjugado de \(P\) es él mismo y el orden de las otras \(P\)-clases de conjugación es una potencia de \(p\text{.}\) Cada \(P\)-clase de conjuugación contribuye con una potencia positiva de \(p\) al valor de \(|{\mathcal S}|\) excepto la clase de \(\{ P \}\text{.}\) Como \(|{\mathcal S}|\) es la suma de potencias positivas de \(p\) y 1, tenemos \(|{\mathcal S}| \equiv 1 \pmod{p}\text{.}\)

Ahora consideremos la acción de \(G\) en \({\mathcal S}\) por conjugación. Como todos los \(p\)-subgrupos de Sylow son conjugados, solo puede haber una órbita bajo esta acción. Para \(P \in {\mathcal S}\text{,}\)

por el Lema 15.1.6. Pero \([G : N(P)]\) es un divisor de \(|G|\text{;}\) luego, el número de \(p\)-subgrupos de Sylow de un grupo finito divide al orden del grupo.