4.II.19F
In this question, all vector spaces will be complex.
(a) Let be a finite abelian group.
(i) Show directly from the definitions that any irreducible representation must be one-dimensional.
(ii) Show that has a faithful one-dimensional representation if and only if is cyclic.
(b) Now let be an arbitrary finite group and suppose that the centre of is nontrivial. Write for this centre.
(i) Let be an irreducible representation of . Show that , where is an irreducible representation of .
(ii) Show that every irreducible representation of occurs in this way.
(iii) Suppose that is not a cyclic group. Show that there does not exist an irreducible representation of such that every irreducible representation occurs as a summand of for some .