Solution

ID: past-exam-of-the-lie-algebras-course-of-the-university-of-oxford/2011/2/ii/solution

In the simple module , weight occurs once if is even and never if is odd. Weight occurs once if is odd and never if is even. Thus each simple summand contributes exactly one to .
Complete reducibility of semisimple Lie algebra representations writes . Taking the two weight spaces commutes with this finite direct sum, so
The right side counts irreducible summands with multiplicity, independently of a chosen decomposition.

New to topics? Read the docs here!