Probar:
Si $G$ es un grupo finito de orden $n$ $p$ es el más pequeño de primer dividiendo $ |G| $, entonces cualquier subgrupo de índice $p$ es normal donde $ |G| $ es el orden de $G$
Este es un resultado en Álgebra Abstracta por Dummit y Foote en la página 120 .
La prueba que se produce, sino que hay algunos puntos que no obivous para mí !
En primer lugar, en la página 121 en la prueba, dice, todos los divisores de a $ (p-1)!$ son de menos de $p$. por qué esto es cierto ? ¿puede alguien explicar?
Segundo, ¿por qué "cada divisor primo de $ k$ es mayor que o igual a $p$ "la fuerza que k=1 ??
¿Por qué $ k = 1 $ bajo esta condición??
En tercer lugar, si $ k=1 $
A continuación, el orden de $ K$ = el orden de $H$
Por qué esto no significa que $ K=H $ en este caso??
Puede usted ayudar en la explicación de estas tres cosas?