An Enquiry Concerning Human Understanding

Let p be a prime number and G be a group with p^a k elements, where a is a positive integer and p does not divide k. Suppose that P is a subgroup of G with p^a elements