that g* has the same derived algebra as g itself and that every ideal in g is also an ideal in t*. Let g be any algebraic Lie algebra. Denote by b the radical of g (i.e., the largest solvable ideal in g) and by n the largest ideal of g composed only of nilpotent matrices. By Levi's theorem, g is the direct sum of t and of a semi-simple subalgebra J. It can be proved that f is the direct sum of ...