Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-102/2/c/ii/solution

Let and let be its defining irreducible representation. Set
Since and ,
If is central, commuting with every gives for all , so faithfulness of the defining representation gives . Commuting with every then gives for all ; irreducibility and nontriviality give . Thus .
The nonzero abelian subspace is a proper ideal of a Lie algebra, so is not simple. It is not a direct product of simple Lie algebras either, because such a product is semisimple and has no nonzero solvable ideal, whereas is one.

New to topics? Read the docs here!