He estado luchando en esto un poco, $S_4$ no es cíclica por lo hace las cosas un poco más difícil. Sé por Lagrange existe un subgrupo de G con orden 6. Realmente encontré algunos ejemplos. Luego encontrado por la investigación que cada grupo de orden 6 es precisamente el $S_3$. Estoy pudiendo ver por qué esto es importante, por lo tanto no prueban el titular actual de esta cuestión. Cualquier ayuda es apreciada.