Difference between revisions of "Cartan subalgebra"
(Importing text file) |
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
||
Line 18: | Line 18: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> E. Cartan, "Sur la structure des groupes de transformations finis et continus" , Paris (1894)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> N. Jacobson, "Lie algebras" , Interscience (1962) ((also: Dover, reprint, 1979))</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> C. Chevalley, "Theory of Lie groups" , '''1''' , Princeton Univ. Press (1946)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> , ''Theórie des algèbres de Lie. Topologie des groupes de Lie'' , ''Sem. S. Lie'' , '''Ie année 1954–1955''' , Ecole Norm. Sup. (1955)</TD></TR></table> | + | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> E. Cartan, "Sur la structure des groupes de transformations finis et continus" , Paris (1894) {{MR|}} {{ZBL|25.0638.02}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> N. Jacobson, "Lie algebras" , Interscience (1962) ((also: Dover, reprint, 1979)) {{MR|0148716}} {{MR|0143793}} {{ZBL|0121.27504}} {{ZBL|0109.26201}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> C. Chevalley, "Theory of Lie groups" , '''1''' , Princeton Univ. Press (1946) {{MR|0082628}} {{MR|0015396}} {{ZBL|0063.00842}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> , ''Theórie des algèbres de Lie. Topologie des groupes de Lie'' , ''Sem. S. Lie'' , '''Ie année 1954–1955''' , Ecole Norm. Sup. (1955) {{MR|}} {{ZBL|0068.02102}} </TD></TR></table> |
Line 26: | Line 26: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> N. Bourbaki, "Elements of mathematics. Lie groups and Lie algebras" , Addison-Wesley (1975) (Translated from French)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> J.E. Humphreys, "Introduction to Lie algebras and representation theory" , Springer (1972) pp. §5.4</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> J.-P. Serre, "Lie algebras and Lie groups" , Benjamin (1965) (Translated from French)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> N. Jacobson, "Lie algebras" , Dover, reprint (1979) ((also: Dover, reprint, 1979))</TD></TR></table> | + | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> N. Bourbaki, "Elements of mathematics. Lie groups and Lie algebras" , Addison-Wesley (1975) (Translated from French) {{MR|0682756}} {{ZBL|0319.17002}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> J.E. Humphreys, "Introduction to Lie algebras and representation theory" , Springer (1972) pp. §5.4 {{MR|0323842}} {{ZBL|0254.17004}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> J.-P. Serre, "Lie algebras and Lie groups" , Benjamin (1965) (Translated from French) {{MR|0218496}} {{ZBL|0132.27803}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> N. Jacobson, "Lie algebras" , Dover, reprint (1979) ((also: Dover, reprint, 1979)) {{MR|0559927}} {{ZBL|0333.17009}} {{ZBL|0215.38701}} {{ZBL|0144.27103}} {{ZBL|0121.27601}} {{ZBL|0121.27504}} {{ZBL|0109.26201}} {{ZBL|0198.05404}} {{ZBL|0064.27002}} {{ZBL|0064.03503}} {{ZBL|0046.03402}} {{ZBL|0043.26803}} {{ZBL|0039.02803}} {{ZBL|0063.03015}} {{ZBL|0025.30302}} {{ZBL|0025.30301}} {{ZBL|0022.19801}} {{ZBL|0019.19402}} {{ZBL|0018.10302}} {{ZBL|0017.29203}} {{ZBL|0016.20001}} </TD></TR></table> |
Revision as of 10:02, 24 March 2012
of a finite-dimensional Lie algebra over a field
A nilpotent subalgebra of which is equal to its normalizer in
. For example, if
is the Lie algebra of all complex square matrices of a fixed order, then the subalgebra of all diagonal matrices is a Cartan subalgebra in
. A Cartan subalgebra can also be defined as a nilpotent subalgebra
in
which is equal to its Fitting null-component (cf. Weight of a representation of a Lie algebra)
![]() |
where denotes the adjoint representation (cf. Lie algebra) of
.
Suppose further that is of characteristic zero. Then for any regular element
, the set
of all elements of
which are annihilated by powers of
is a Cartan subalgebra of
, and every Cartan subalgebra of
has the form
for some suitable regular element
. Each regular element belongs to one and only one Cartan subalgebra. The dimension of all the Cartan subalgebras of
are the same and are equal to the rank of
. The image of a Cartan subalgebra under a surjective homomorphism of Lie algebras is a Cartan subalgebra. If
is algebraically closed, then all Cartan subalgebras of
are conjugate; more precisely, they can be transformed into another by operators of the algebraic group
of automorphisms of
whose Lie algebra is the commutator subalgebra of
. If
is solvable, then the above assertion holds without the hypothesis that
be algebraically closed.
Let be either a connected linear algebraic group over an algebraically closed field
of characteristic zero, or a connected Lie group, and let
be its Lie algebra. Then a subalgebra
of
is a Cartan subalgebra if and only if it is the Lie algebra of a Cartan subgroup of
.
Let be a subalgebra of the Lie algebra
of all endomorphisms of a finite-dimensional vector space
over
, and let
be the smallest algebraic Lie algebra in
containing
(cf. Lie algebra, algebraic). If
is a Cartan subalgebra of
, then
is a Cartan subalgebra of
, and if
is a Cartan subalgebra of
and
is the smallest algebraic subalgebra of
containing
, then
is a Cartan subalgebra of
and
.
Let be a field extension. A subalgebra
of
is a Cartan subalgebra if and only if
is a Cartan subalgebra of
.
Cartan subalgebras play an especially important role when is a semi-simple Lie algebra (this was used by E. Cartan [1]). In this case, every Cartan subalgebra
of
is Abelian and consists of semi-simple elements (see Jordan decomposition), and the restriction of the Killing form to
is non-singular.
References
[1] | E. Cartan, "Sur la structure des groupes de transformations finis et continus" , Paris (1894) Zbl 25.0638.02 |
[2] | N. Jacobson, "Lie algebras" , Interscience (1962) ((also: Dover, reprint, 1979)) MR0148716 MR0143793 Zbl 0121.27504 Zbl 0109.26201 |
[3] | C. Chevalley, "Theory of Lie groups" , 1 , Princeton Univ. Press (1946) MR0082628 MR0015396 Zbl 0063.00842 |
[4] | , Theórie des algèbres de Lie. Topologie des groupes de Lie , Sem. S. Lie , Ie année 1954–1955 , Ecole Norm. Sup. (1955) Zbl 0068.02102 |
Comments
An element is called regular if the dimension of the Fitting null-component of the endomorphism
of
is minimal. "Almost-all" elements of
are regular in the sense that the condition of being regular defines a Zariski-open subset. The result that the Fitting null-component of
for
regular is a Cartan subalgebra holds for finite-dimensional Lie algebras over any infinite field [a4], p. 59.
References
[a1] | N. Bourbaki, "Elements of mathematics. Lie groups and Lie algebras" , Addison-Wesley (1975) (Translated from French) MR0682756 Zbl 0319.17002 |
[a2] | J.E. Humphreys, "Introduction to Lie algebras and representation theory" , Springer (1972) pp. §5.4 MR0323842 Zbl 0254.17004 |
[a3] | J.-P. Serre, "Lie algebras and Lie groups" , Benjamin (1965) (Translated from French) MR0218496 Zbl 0132.27803 |
[a4] | N. Jacobson, "Lie algebras" , Dover, reprint (1979) ((also: Dover, reprint, 1979)) MR0559927 Zbl 0333.17009 Zbl 0215.38701 Zbl 0144.27103 Zbl 0121.27601 Zbl 0121.27504 Zbl 0109.26201 Zbl 0198.05404 Zbl 0064.27002 Zbl 0064.03503 Zbl 0046.03402 Zbl 0043.26803 Zbl 0039.02803 Zbl 0063.03015 Zbl 0025.30302 Zbl 0025.30301 Zbl 0022.19801 Zbl 0019.19402 Zbl 0018.10302 Zbl 0017.29203 Zbl 0016.20001 |
Cartan subalgebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Cartan_subalgebra&oldid=21820