Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-102/1/i/solution

A simple Lie algebra is a nonabelian Lie algebra whose only Lie algebra ideals are zero and the whole algebra. Assume ; is not simple. We prove the assertion by the matrix-unit extraction lemma for special linear ideals, avoiding any classification theorem.
Let be a nonzero ideal in the special linear Lie algebra and . If an off-diagonal entry is nonzero, two commutators with the matrix unit give
so . If is diagonal and nonscalar, choose unequal diagonal entries; again supplies a matrix unit. A nonzero scalar matrix cannot have zero trace over , so these cases cover every nonzero .
Once , its bracket with gives , and puts the reverse unit in . Bracketing with the other off-diagonal matrix units generates every off-diagonal unit: for a third index , and ; using the reverse unit fills the remaining row and column, then fills the others. Opposite pairs generate every trace-zero diagonal matrix. These vectors span , so

New to topics? Read the docs here!