Question

Let |G| = n < ∞, H be a subgroup of G, and assume that the number n does
not divide the factorial of the index of H in G. Prove that there exists a normal
subgroup N not equal {e} of G contained in H.

Answer 1

(Hint: Consider the natural left action of the group G on the left coset space X = G/H.)