4.II.19G
(a) Let be a normal subgroup of a finite group , and let be an irreducible representation of . Show that either restricted to is isotypic (a sum of copies of one irreducible representation of , or else is induced from an irreducible representation of some proper subgroup of .
(b) Using (a), show that every (complex) irreducible representation of a -group is induced from a 1-dimensional representation of some subgroup.
[You may assume that a nonabelian -group has an abelian normal subgroup which is not contained in the centre of .]
Typos? Please submit corrections to this page on GitHub.