Este es el ejercicio 5.6 de Álgebra, de Isaacs.
Deje GG ser un grupo finito con |G|>1|G|>1, y supongamos P⊆Aut(G) P⊆Aut(G) pp- subgrupo. Mostrar que existe alguna que no sea trivial Sylow qq-subgrupo QQ GG (para algunos prime qq) tal que σ(Q)=Qσ(Q)=Q todos los σ∈P σ∈P .
Puedo resolver el caso p∣|G| p∣|G| , pero no el otro.