Given an algebra $A$ with finite dimensional representation $V$ with action $\rho$, I want to prove the following statement:

  • If $W\subset V$ are finite dimensional representations of A, then $\chi_V=\chi_W+\chi_{W/V}$

I think you have to use the dimension theorem of quotient spaces, namely: $\dim(V/W)=\dim(V)-\dim(W)$, but then what? Can someone help me? Thank you

  • $\begingroup$ I still think the proof should be elementary and use the observation on the trace... but I'm too green at representation theory :) I had been thinking about semisimple algebras the whole time. $\endgroup$ – rschwieb Jan 15 '13 at 15:57
  • $\begingroup$ @rschwieb: in my opinion your answer was perfectly fine. But since you've deleted it, I've posted one myself in the same spirit. I hope you don't mind. $\endgroup$ – Marek Jan 15 '13 at 17:00
  • $\begingroup$ @Marek I think that I was stuck thinking in semsimple algebras, and I agree with Tobias that one cannot guarantee an invariant complement. $\endgroup$ – rschwieb Jan 15 '13 at 18:09

Pick a basis for $V$ such that first $k = \dim (W)$ vectors form a basis for $W$. In this basis, every element $\rho(g)$ is represented by the matrix $$\pmatrix{A & B \cr 0 & C}$$ where $A$ and $C$ are square matrices which represent $\rho$ restricted to $W$ and $V/W$ respectively and $B$ is a projector to $W$. Indeed, we have $$\pmatrix{A & B \cr 0 & C} \pmatrix{w \cr 0} = \pmatrix {Aw \cr 0}$$ for every $w \in W$. Similarly, for $u \in V / W$, which we can represent as $v + w$ with unique $v \in V$ and arbitrary $w \in W$, we have $$\pmatrix{A & B \cr 0 & C} \pmatrix{w \cr v} = \pmatrix {Aw + Bv \cr Cv}$$ and because $Aw + Bv \in W$ this is independent of the choice of $w$. Now, just take trace of this matrix and you're done (because trace does not depend on the choise of basis).

  • $\begingroup$ Ah, of course, you don't need a direct sum decomposition: you just need upper triangular matrices :) $\endgroup$ – rschwieb Jan 15 '13 at 18:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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