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 ). 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.
|||E. Cartan, "Sur la structure des groupes de transformations finis et continus" , Paris (1894) Zbl 25.0638.02|
|||N. Jacobson, "Lie algebras" , Interscience (1962) ((also: Dover, reprint, 1979)) MR0148716 MR0143793 Zbl 0121.27504 Zbl 0109.26201|
|||C. Chevalley, "Theory of Lie groups" , 1 , Princeton Univ. Press (1946) MR0082628 MR0015396 Zbl 0063.00842|
|||, 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|
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.
|[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://www.encyclopediaofmath.org/index.php?title=Cartan_subalgebra&oldid=21820