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?