Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/ii/paper-4/19f/b/iii/solution
Past exam of the mathematics course of the University of Cambridge 2006 ii Paper 4 19F b iii Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Let be the central one-dimensional character of a proposed . Since is not cyclic, part (a) makes this one-dimensional character nonfaithful. Choose a nonidentity . It acts as identity on every tensor power and therefore on every summand. There is a one-dimensional character of with : decompose the finite abelian group into cyclic factors and choose a primitive one-dimensional character on a factor where has a nonidentity component. By part (b)(ii), some irreducible representation of has central one-dimensional character on . This cannot occur in any tensor power of , because acts nontrivially on it. Therefore no such tensor-generating irreducible exists.
New to topics? Read the docs here!