Paper 2, Section II, I
Part II, 2011
State Maschke's Theorem for finite-dimensional complex representations of the finite group . Show by means of an example that the requirement that be finite is indispensable.
Now let be a (possibly infinite) group and let be a normal subgroup of finite index in . Let be representatives of the cosets of in . Suppose that is a finite-dimensional completely reducible -module. Show that
(i) if is a -submodule of and , then the set is a -submodule of ;
(ii) if is a -submodule of , then is a -submodule of ;
(iii) is completely reducible regarded as a -module.
Hence deduce that if is an irreducible character of the finite group then all the constituents of have the same degree.