1 votos

Verificación de mi prueba de que $|G|=35$ tiene subgrupos normales de órdenes 5 y 7.

Deja $|G|=35$.

Quiero demostrar que G tiene un subgrupo normal de orden 5 y un subgrupo normal de orden 7.

Mi intento:

$|G|=35=5^17=7^15.$

$n_5( \text{el número de grupos de Sylow de 5})=(1+5k)|7$. Pero solo 7 y 1 dividen a 7 y $1+5k\neq 7 \forall k \geq 0$. Por lo tanto, concluimos que $n_5=1$

Ahora podemos notar que $|gHg^{-1}|=|H|$ Así que considerando que sabemos que el grupo de Sylow de 5 es un subgrupo de G, sabemos que $|gPg^{-1}|=|P|$ y dado que este es el único subgrupo de este orden, implica que $gPg^{-1}=P, \forall g\in G$ y por lo tanto P es normal.

De manera similar para $n_7$

$n_7=(1+7k)|5$ lo cual implica (por las mismas razones mencionadas anteriormente) que k=0 y $n_7=1$

Ahora utilizamos un argumento idéntico al anterior para mostrar que P también es normal aquí

Nota: He usado P tanto para el caso del subgrupo de Sylow de 5 como para el subgrupo de Sylow de 7 pero creo que el contexto es obvio.

2voto

Rybin Dmitry Puntos 66

La prueba es correcta. Aquí hay algunas notas:

  • la transición: Sylow $p$-subgrupo de un grupo finito $G$ es único $\Rightarrow$ es normal en $G$ es bueno recordar, porque es fácil y aún así muy crítico en la mayoría de los casos.
  • como consecuencia de la prueba hemos obtenido que cualquier grupo de orden $35$ es isomorfo a $C_{35}$ - grupo cíclico. Hay una generalización (no fácil y no obvia): cualquier grupo de orden $n$ es cíclico si y solo si $n$ y $\varphi(n)$ son coprimos.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X