Paper 1, Section II, I
Part II, 2021
(a) What does it mean to say that a representation of a group is completely reducible? State Maschke's theorem for representations of finite groups over fields of characteristic 0 . State and prove Schur's lemma. Deduce that if there exists a faithful irreducible complex representation of , then is cyclic.
(b) If is any finite group, show that the regular representation is faithful. Show further that for every finite simple group , there exists a faithful irreducible complex representation of .
(c) Which of the following groups have a faithful irreducible representation? Give brief justification of your answers.
(i) the cyclic groups a positive integer ;
(ii) the dihedral group ;
(iii) the direct product .