1.6.46 Fields, Groups, Rings

condition: Show that if \(H-\) is an invariant subgroup of a finite group \(G\) and the index \([G: H]\) is coprime to \(p\), then any Sylow \(p-\) subgroup of the group \(G\) is contained in \(H\).