Dado un grupo de orden $p^nq^2$ de dos números primos impares $p > q$, demostrar que el conmutador es un grupo de p.
Para resolver esta pregunta que es necesario probar que el conmutador no puede ser el % de pedidos $p^iq$, $p^jq^2$. Sé un teorema que establece que $G \diagup G'$ es abelian, pero no creo que conduce en cualquier lugar. La única manera de izquierda es inducción en $n$, pero no estoy seguro de cómo completar el paso de $n+1$.