Si se le da un número entero positivo $n$ un grupo $G$ de orden $n$ y un divisor $d$ de $n$ ¿En qué casos podemos estar seguros de la existencia de un subgrupo $H$ de $G$ de orden $d$ ?
¿Cuál es la situación en el caso del grupo simétrico en $m$ o para el grupo de alternancia?
¿Cuál es la declaración más general en cada caso?