I asked this question yesterday on the setting of an exercise problem (Ex 2.8) from Serre's book "Linear representations of Finite Groups" (I'm teaching myself representation theory…)
Now that that is sorted, I'm still stuck on the actual problem: Let $\rho: G\to GL(V)$ be a linear representation of a finite-dimensional complex vector space $V$, and suppose $V = W_1 \oplus \dotsb \oplus W_1 \oplus W_2 \oplus \dotsb \oplus W_2 \oplus \dotsb \oplus W_l \oplus \dotsb \oplus W_l$ is a decomposition into irrreducible representations, and let $V_i := W_i\oplus \dotsb \oplus W_i$.
Let $H_i$ be the vector space of linear mappings $h: W_i \to V_i$ such that $\rho_s h = h \rho_s$ for all $s\in G$.
Show that $\dim H_i = \dim V_i / \dim W_i$. [Hint: Use Schur's lemma.]
What I've got so far: if $h\neq0$ then $h(W_i)$ must be an irreducible subrepresentation of $\rho$ isomorphic to $W_i$, and such $h$ mapping to the same image form a one-dimensional subspace by Schur's lemma. For the given explicit decomposition $V_i := W_i\oplus \dotsb \oplus W_i$ with $k$ summands, let $h_\alpha$ send the first summand to the $\alpha$-th summand. These $h_\alpha$ are linear independent, but I wasn't able to show that they span…
Please give me some hints!
Best Answer
You are asked to compute the dimension of the vector space $\mathrm{Hom}_G(W_i,V_i)$ of $G$-module homomorphisms from $W_i$ to $V_i$; explicitly, this consists of linear maps $\phi$ from $W_i$ to $V_i$ such that for all $g \in G$ and $w \in W_i$ one has $\phi(g w)=g \phi(w)$. The right way to think about this is to use the fact that Hom is additive (in both variables, for any representations---this is the fact that a map to a direct sum is uniquely determined by its compositions with the projections, which can be arbitrary): $$\mathrm{Hom}_G(U,V \oplus W) \cong \mathrm{Hom}_G(U,V) \oplus \mathrm{Hom}_G(U,W),$$ so that $$\mathrm{Hom}_G(W_i,V_i)=\mathrm{Hom}_G(W_i,W_i \oplus \cdots \oplus W_i) \cong \mathrm{Hom}_G(W_i,W_i) \oplus \cdots \oplus \mathrm{Hom}_G(W_i,W_i) .$$ Now Schur's lemma implies that the dimension of $\mathrm{Hom}_G(W_i,W_i)$ is $1$, so the dimension you are after is just the number of summands---in other words, the quotient $\mathrm{dim} (V_i) / \mathrm{dim}(W_i)$.