Let
be a Lie algebra. Since the sum of any two solvableideals of
is in turn solvable, there is a unique maximal solvable ideal of any Lie algebra. This ideal is called the radical of
. Note that
has no solvable ideals, and is thus semi-simple. Thus, every Lie algebra is an extension of a semi-simple algebra by a solvable one.
