Solution

ID: past-exam-of-the-lie-algebras-and-representation-theory-of-symmetric-groups-course-of-the-university-of-oxford/2010/a/1/b/solution

Let be the quotient map. A full flag of ideals in lifts by inverse images to a flag from to , with dimensions increasing by one. Prepending supplies the required full flag in . Thus supersolubility lifts across a one-dimensional ideal.
Over , a nonzero soluble has a one-dimensional ideal: apply part (a) to its adjoint image acting on . A common eigenvector spans an adjoint-invariant line, which is an ideal. The quotient is soluble and has smaller dimension, so induction and the lifting result give a full flag of ideals. Therefore a soluble complex Lie algebra is supersoluble.
Conversely this implication needs no field restriction. If has a full flag, its first nonzero ideal is one-dimensional and abelian, and has a full flag. By induction is soluble, so some term of the derived series of lies in ; its next derived term is zero. Hence

New to topics? Read the docs here!