Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-4/1/i/solution

Use the defining property of the Frobenius complement: whenever . The induced character formula, extended linearly to any class function, is
For , a summand requires . The Frobenius intersection property forces . All remaining terms equal since is a class function on , so . At the identity,
Together these give
The zero identity value is essential: at nonidentity elements the intersection argument already gives the equality, whereas induction multiplies the identity value by the subgroup index.

New to topics? Read the docs here!