Throughout this question, let G be a finite group, let p be a
prime, and suppose that H ≤ G is such that [G : H] = p.
Let G act on the set of left cosets of H in G by left
multiplication (i.e., g · aH = (ga)H). Let K be the set of elements
of G that fix every coset under this action; that is,
K = {g ∈ G : (∀a ∈ G) g · aH...