Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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!

share|improve this question

1 Answer 1

up vote 1 down vote accepted

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)$.

share|improve this answer
    
May I ask if $\cong$ in your case means isomorphic as $G$-modules, or just vector spaces? –  user71815 Jun 10 '13 at 17:24
    
@user71815 As vector spaces---both sides of the iso are $G$-modules, but with the trivial action of $G$ (they are precisely the trivial isotypic component of the space of all linear maps, thought of as a $G$-module via "conjugation"). –  S123 Jun 10 '13 at 18:49
    
@Steve : Can you kindly explain why $Hom_G (W_i\oplus W_i)$ is 1-dimensional by Schur's lemma? If the two copies of W_i are not $equal$, just $isomorphic$, then the lemma says that each element in $Hom_G(W_i\oplus W_i)$ is either zero map, or an isomorphism. But I can't see why that implies dimension is 1. –  mathmansujo Jun 15 '13 at 6:35
    
@usersujo, This uses the stronger version of Schur's lemma, depending upon the fact that the base field is algebraically closed. If $W$ is an irrep and $\alpha:W \rightarrow W$ is an automorphism, then (since our ground field is alg. closed) we may find an eigenvector $w \in W$ for $\alpha$ of eigenvalue $\lambda$. Since $\alpha$ commutes with the action of the group, the set of eigenvectors with eigenvalue $\lambda$ is actually a submodule of $W$, and must therefore be everything (by irreducibility). Thus $\alpha$ is just mult. by a scalar, which is what I claimed. Usually [contd] –  S123 Jun 16 '13 at 1:17
    
...this fact is also referred to as "Schur's lemma". It's completely standard. –  S123 Jun 16 '13 at 1:19

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.