Let be a finite group in which for some prime dividing the order of . Prove that if is the p-sylow subgroup of , then there exists a normal subgroup of with and .
All i can see is that the mapping is a homomorphism and the set and are normal and have trivial intersection.