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!