Paper 2, Section II, I

Representation Theory | Part II, 2011

State Maschke's Theorem for finite-dimensional complex representations of the finite group GG. Show by means of an example that the requirement that GG be finite is indispensable.

Now let GG be a (possibly infinite) group and let HH be a normal subgroup of finite index rr in GG. Let g1,…,grg_{1}, \ldots, g_{r} be representatives of the cosets of HH in GG. Suppose that VV is a finite-dimensional completely reducible CG\mathbb{C} G-module. Show that

(i) if UU is a CH\mathbb{C} H-submodule of VV and g∈Gg \in G, then the set gU={gu:u∈U}g U=\{g u: u \in U\} is a CH\mathbb{C} H-submodule of VV;

(ii) if UU is a CH\mathbb{C} H-submodule of VV, then ∑i=1rgiU\sum_{i=1}^{r} g_{i} U is a CG\mathbb{C} G-submodule of VV;

(iii) VV is completely reducible regarded as a CH\mathbb{C} H-module.

Hence deduce that if χ\chi is an irreducible character of the finite group GG then all the constituents of χH\chi_{H} have the same degree.

Typos? Please submit corrections to this page on GitHub.