 Let formula_10 be a field and let formula_1 be a finite-dimensional Lie algebra over formula_10.There exists a unique maximal solvable ideal, called the "radical," for the following reason.Firstly let formula_13 and formula_14 be two solvable ideals of formula_1.