# Weyl's theorem on complete reducibility

In algebra, Weyl's theorem on complete reducibility is a fundamental result in the theory of Lie algebra representations. Let ${\displaystyle {\mathfrak {g}}}$ be a semisimple Lie algebra over a field of characteristic zero. The theorem states that every finite-dimensional module over ${\displaystyle {\mathfrak {g}}}$ is semisimple as a module (i.e., a direct sum of simple modules.)[1]
Weyl's original proof (for complex semisimple Lie algebras) was analytic in nature: it famously used the unitarian trick. Specifically, one can show that every complex semisimple Lie algebra ${\displaystyle {\mathfrak {g}}}$ is the complexification of the Lie algebra of a simply connected compact Lie group ${\displaystyle K}$.[2] (If, for example, ${\displaystyle {\mathfrak {g}}=\mathrm {sl} (n;\mathbb {C} )}$, then ${\displaystyle K=\mathrm {SU} (n)}$.) Given a representation ${\displaystyle \pi }$ of ${\displaystyle {\mathfrak {g}}}$ on a vector space ${\displaystyle V,}$ we can first restrict ${\displaystyle \pi }$ to the Lie algebra ${\displaystyle {\mathfrak {k}}}$ of ${\displaystyle K}$. Then, since ${\displaystyle K}$ is simply connected,[3] there is an associated representation ${\displaystyle \Pi }$ of ${\displaystyle K}$. We can then use integration over ${\displaystyle K}$ to produce an inner product on ${\displaystyle V}$ for which ${\displaystyle \Pi }$ is unitary.[4] Complete reducibility of ${\displaystyle \Pi }$ is then immediate and elementary arguments show that the original representation ${\displaystyle \pi }$ of ${\displaystyle {\mathfrak {g}}}$ is also completely reducible.
We now explain briefly the role that the quadratic Casimir element ${\displaystyle C}$ has in the proof. Since ${\displaystyle C}$ is in the center of the universal enveloping algebra, Schur's lemma tells us that ${\displaystyle C}$ acts as multiple ${\displaystyle c_{\lambda }}$ of the identity in the irreducible representation of ${\displaystyle {\mathfrak {g}}}$ with highest weight ${\displaystyle \lambda }$. A key point is to establish that ${\displaystyle c_{\lambda }}$ is nonzero whenever the representation is nontrivial. This can be done by a general argument [6] or by the explicit formula for ${\displaystyle c_{\lambda }}$. We now consider a very special case of the theorem on complete reducibility: the case where a representation ${\displaystyle V}$ contains a nontrivial, irreducible, invariant subspace ${\displaystyle W}$ of codimension one. Let ${\displaystyle C_{V}}$ denote the action of ${\displaystyle C}$ on ${\displaystyle V}$. Since ${\displaystyle V}$ is not irreducible, ${\displaystyle C_{V}}$ is not necessarily a multiple of the identity, but it is a self-intertwining operator for ${\displaystyle V}$. Then the restriction of ${\displaystyle C_{V}}$ to ${\displaystyle W}$ is a nonzero multiple of the identity. But since the quotient ${\displaystyle V/W}$ is a one dimensional—and therefore trivial—representation of ${\displaystyle {\mathfrak {g}}}$, the action of ${\displaystyle C}$ on the quotient is trivial. It then easily follows that ${\displaystyle C_{V}}$ must have a nonzero kernel—and the kernel is an invariant subspace, since ${\displaystyle C_{V}}$ is a self-intertwiner. The kernel is then a one-dimensional invariant subspace, whose intersection with ${\displaystyle W}$ is zero. Thus, ${\displaystyle \mathrm {ker} (V_{C})}$ is an invariant complement to ${\displaystyle W}$, so that ${\displaystyle V}$ decomposes as a direct sum of irreducible subspaces:
${\displaystyle V=W\oplus \mathrm {ker} (C_{V})}$.