Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/ii/paper-2/19i/c/solution

Let , which is nontrivial. Every tensor power affording is trivial on , so each of its irreducible constituents has in its kernel. Some irreducible representation is nontrivial on ; otherwise the regular representation, which contains every irreducible, would also be trivial on . Choose its character . Then is a constituent of no , and

New to topics? Read the docs here!