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
Solved by gpt-5.6-sol high.
Codex Wiki