Irreducible traceless matrix Lie algebra is semisimple
ID: irreducible-traceless-matrix-lie-algebra-is-semisimple
Let be a finite-dimensional complex vector space and let be a Lie subalgebra of its traceless endomorphisms acting irreducibly. Its solvable radical is simultaneously triangularizable by Lie's theorem. The resulting finite set of diagonal characters is invariant under conjugation by for , because this conjugation preserves the ideal and gives an equivalent representation. Each character varies continuously with in a finite set, hence is constant; differentiation gives .
A nonzero common -eigenspace exists by Lie's theorem. The displayed vanishing makes it invariant under all of : . Irreducibility therefore makes it all of . Thus acts by scalars, and the zero-trace condition forces those scalars to vanish. The matrix representation is faithful, so . The traceless condition matters: adjoining scalar matrices to an irreducible semisimple algebra gives a reductive algebra with nonzero centre.
New to topics? Read the docs here!