Dejemos que $p$ sea un número primo y $G$ sea un grupo con $|G|=p^n$ . Demuestre que G contiene un elemento de orden $p$ .
Yo diría inmediatamente: "¡utiliza el teorema de Cauchy!", pero esta pregunta es de un curso que aún no lo ha introducido. ¿Hay otra forma de demostrarlo?
Está claro que cada elemento tiene un orden $p^r$ para algunos $r\leq n$ debido al teorema de Lagrange. ¿Cómo podemos proceder?