Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/ii/paper-2/19h/solution

For a complex irreducible representation, every central element acts as a scalar by Schur lemma. If the representation is faithful, these scalars embed in . Every finite subgroup of is cyclic: if its order is , all its elements satisfy , and the th roots of unity form a cyclic group. Thus is cyclic.
The trivial group satisfies the conclusion immediately. Otherwise let be a finite -group with cyclic centre, and decompose a faithful representation as a direct sum of irreducibles using Maschke's theorem. The nontrivial cyclic -group has a unique subgroup of order . Some component does not kill , since otherwise the whole representation would kill it. If that component had a nontrivial kernel , the kernel would be a normal subgroup and the allowed intersection theorem gives . Every nontrivial subgroup of cyclic contains , contradicting the choice of component. That irreducible component is faithful.
Finally the regular representation is faithful, since left multiplication by a nonidentity element does not fix the basis vector at the identity. A cyclic centre therefore supplies a faithful irreducible component of it. The first argument proves the converse, giving a finite -group has a faithful irreducible complex representation exactly when its centre is cyclic.

New to topics? Read the docs here!