1.6.47 Fields, Groups, Rings

Condition: Show that in any group \( G \) an invariant subgroup \( K \) of order \( p^{a} \) is contained in every Sylow \( p \) - subgroup \( G \).