Generators of a semi simple lie algebra must be traceless

Question

Consider a semi simple lie algebra. Show that if $T_a$ are the generators of a semi simple Lie algebra then $\text{Tr}T_a=0$.

Attempt: $[T_a, T_b] = ic^c_{ab}T_c \Rightarrow \text{Tr}[T_a, T_b] = ic^c_{ab}\text{Tr}(T_c) = 0$.

I also know that $g_{ab} = -c^c_{ad}c^{d}_{bc}\,\,(1)$. So since the l.h.s of the equation above is zero, I could multiply by another structure constant, thereby introducing the metric and then since the lie algebra is semi simple, multiply by the inverse of the metric and thus just have $\text{Tr}(T_a)$ on the l.h.s meaning it has to vanish.

That is my argument but I can't write it down because i don't see a way to introduce another structure constant because in the definition $(1)$, $d$ is contracted but in my expression $d$ is also contracted with the generator. So the placements of the indices mean I can't just multiply by another structure constant with the required indices without violating the summation convention.

Any hints on how to make progress? Thanks!

Answer 1

Every semisimple Lie algebra $L$ has a faithful representation to $\mathfrak{gl}_n(K)$, e.g., given by the adjoint representation $x\mapsto {\rm ad}(x)$. Because $L=[L,L]$ and because ${\rm ad}([x,y])=[{\rm ad}(x),{\rm ad}(y)]$ for all $x,y\in L$ it follows that ${\rm ad}(x)$ has trace zero for all $x\in L$. This holds for any faithful representation of $L$. Hence $L$, i.e., an isomorphic copy of it represented by matrices, consists of trace zero matrices. We have $L\hookrightarrow \mathfrak{sl}_n(K)$. Thus all elements have trace zero.

Edit: Suppose that the generators $T_a$ are already matrices. Then every $T_a$ is a sum of commutators $[T_b,T_c]$ because of $L=[L,L]$. Hence every $Tr(T_a)$ has trace zero, because all $[T_b,T_c]$ have trace zero, as you have shown.

Answer 2

Although Dietrich's answer is perfect; here's the completion of how you started (where only one simple step was missing)

$Tr[T_a, T_b] =i f_{ab}{}^c Tr[T_c] = 0 \quad (1)$

Then, because the Lie algebra is semi-simple, we indeed have a metric $g_{ab} = -f_{ac}{}^d f_{bd}{}^c$ which we can use to raise and lower Lie algebra indices. Now (1) has as free indices $a$ and $b$ so you can multiply it with $ g^{be} f_{de}{}^a $. Then do some raising and lowering of indices:

$g^{be} f_{de}{}^a f_{ab}{}^{c} Tr [T_c] = f_{de}{}^a f_{ca}{}^{e} Tr [T^c]= -g_{dc} Tr[T^c] = - Tr[T_d] = 0$