In mathematics, a complex Lie algebra is a Lie algebra over the complex numbers.
Given a complex Lie algebra , a real Lie algebra
is said to be a real formof
if the complexification
is isomorphic to
.
A real form is abelian (resp. nilpotent, solvable, semisimple) if and only if
is abelian (resp. nilpotent, solvable, semisimple).[1] On the other hand, a real form
is simple if and only if either
is simple or
is of the form
where
are simple and are complex conjugates of each other.[1]
Let be a complex Lie algebra that is the Lie algebra of a complex Lie group
. Let
aCartan subalgebraof
and
the Lie group corresponding to
; the conjugates of
are called Cartan subgroups.
Suppose is semisimple and there is the decomposition
given by a choice of a root system and positive roots. Then the exponential map defines an isomorphism from
to a closed subgroup
.[2] The Lie subgroup
corresponding to the Borel subalgebra
is closed and is the semidirect product of
and
;[3] the conjugates of
are called Borel subgroups.
![]() | This algebra-related article is a stub. You can help Wikipedia by expanding it. |