Suppose K is a normal subgroup of a finite group G and S is ap-Sylow subgroup of G. Prove that K intersect S is ap-Sylow subgroup of K. So I know that K is a unique p-sylow group by definition, is that enough to prove that the intersection of K with S is a p-sylow subgroup of K?