Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/ii/paper-4/19f/c/solution

Let , extend to by zero outside , and choose coset representatives . Then with . Each summand has squared -norm
since is irreducible. Pointwise Cauchy-Schwarz inequality gives . After summing and dividing by ,
The are nonnegative integers by part (b). This proves the character induction norm bound without an assumption that is normal.

New to topics? Read the docs here!