Question in the title, ie why is [tex] Tr(T_{a_1}T_{a_2}...T_{a_n}) [/tex] independent of which representation we choose, where the Ts are a matrix representation of the group generators.
For example, if you pick a positive integer m, there is a representation where every group element has trace m: this representation sends every group element to the identity matrix acting on an m-dimensional space.
And given any matrix representation [itex]\rho[/itex] of a group, one can construct a new representation [itex]\rho'[/itex] by
I think what I meant is that given a 2 different matrix reps of the same dimension, the casimirs are the same. But they can change when you change the dimension of the rep, thus they can be used to label reps. Thanks
Different representations with the same dimension can still have that trace be different. For example, consider
[tex]\rho'(g) = \rho(g)^2[/tex]
and
[tex]\rho'(g) = (\det g)^{-1}\rho(g)[/tex]
Anyways, I went to look up Casimir on wikipedia; if that's what you're talking about, then I think you are misunderstanding things. The Casimir invariant is an element of the universal enveloping algebra of the Lie algebra, and its representation under [itex]\rho[/itex] is a matrix.
Wikipedia states that by Schur's lemma, for any irreducible representation, [itex]\rho(\Omega)[/itex] is proportional to the identity matrix. That constant of proportionality can be computed with a formula involving traces; maybe that's what you're thinking of?
But is is their eigenvalues that label the reps. So I think what I really meant to ask is why can the eigenvalues of the casimirs can be used to label reps of different dimension.