A realization of Cartan extensions (Q735904): Difference between revisions

A grading of a Lie algebra \(L=\oplus^\infty_{k=-\infty} L_k\) over an arbitrary field \(K\) is called transitive, if the subalgebra \(L^- =\oplus^{-1}_{k=-\infty} L_k\) is generated (as a Lie algebra) by the homogeneous component \(L_{-1}\) and \([L_{-1}, a] \neq 0\) for every nonzero element \(a\in L^+ = \oplus^\infty_{k=0} L_k\). An algebra \(L\) is called transitive if the grading under consideration is clear from the context. In particular, a Lie algebra \(L^- =\oplus^{-1}_{k=-\infty} L_k\) is transitive if it is generated by \(L_{-1}\). Let \(L\) be a Lie algebra with transitive grading. A maximal Lie algebra \(R=\oplus^\infty_{-\infty} R_k\) with transitive grading such that \(R_k = L_k\) for all \(k < 0\) and \(R_k \supseteq L_k\) for all \(k\geq 0\) is called a Cartan extension of \(L\). Here the author continues his previous article [Russ. Math. 41, No. 11, 20--30 (1997); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1997, No. 11, 22-32 (1997; Zbl 0956.17020)] giving some proofs omitted there and considering in detail simple examples of known Cartan extensions.