On Cartan subalgebras and Cartan subspaces of nonsymmetric pairs of Lie algebras (Q2839294)

Suppose that \(\mathcal{G}\) is a finite dimensional semisimple Lie algebra over a field \(\mathbb{F}\) of characteristic zero with Killing form \(\kappa.\) A subalgebra \(\mathcal{H}\) of \(\mathcal{G}\) is said to be reductive in \(\mathcal{G}\) if \(\mathcal{G}\) as an \(\mathcal{H}\)-module, via the adjoint representation, is completely reducible. For a proper subalgebra \(\mathcal{G}_1\) of \(\mathcal{G},\) the pair \((\mathcal{G},\mathcal{G}_1)\) is called a symmetric pair if there is an involution of \(\mathcal{G}\) whose set of fixed points coincides with \(\mathcal{G}_1.\) In the paper under review, the author considers a subalgebra \(\mathcal{G}_1\) which is reductive in \(\mathcal{G}\) and finds a sufficient condition under which NEWLINE\[NEWLINE\text{any Cartan subalgebra of \(\mathcal{G}_1\) is uniquely contained in a Cartan subalgebra of \(\mathcal{G}.\)}\tag{\(*\)} NEWLINE\]NEWLINE As he proves that condition is necessary to have \((*)\) if \(\mathbb{F}\) is algebraically closed. He next studies Cartan pairs which are the pairs \((\mathcal{G},\mathcal{G}_1)\) so that \(\mathcal{G}_1\) is reductive in \(\mathcal{G},\) the restriction of \(\kappa\) to \(\mathcal{G}_1\) is nondegenerate and that \((*)\) as well as two other specific conditions are satisfied. He proves that the class of symmetric pairs is properly contained in the class of Cartan pairs and extends some known facts on symmetric pairs to Cartan pairs.