In the mathematical field of Lie theory, the radical of a Lie algebra
is the largest solvable ideal of 
Let k be a field and let
be a finite-dimensional Lie algebra over k. A maximal solvable ideal, which is called the radical, exists for the following reason.
Firstly let
and
be two solvable ideals of
. Then
is again an ideal of
, and it is solvable because it is an extension of
by
. Therefore we may also define the radical of
as the sum of all the solvable ideals of
, hence the radical of
is unique. Secondly, as {0} is always a solvable ideal of
, the radical of
always exists.
| This algebra-related article is a stub. You can help Wikipedia by expanding it. |
This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)