The Frattini argument for Lie algebras (Q2557756)

The Frattini argument shows that, if \(N\) is a normal subgroup of a group \(G\) and if \(S\) is an intravariant subgroup of \(N\), then \(G=\mathcal N_G(S)N\). Unfortunately, there appears to be no completely satisfactory Lie algebra analogue of the concept of an intravariant subgroup. We get around this difficulty by considering ways in which intravariant subgroups arise, and investigating the analogous situations for Lie algebras. We show, subject to suitable conditions on \(N\) and \(\mathfrak X\) that if \(N\) is an ideal of the Lie algebra \(L\) and \(S\) is an \(\mathfrak X\)-projector of \(N\), then \(L=N+\mathcal N_L(S)\). In particular, this holds if \(S\) is a Cartan subalgebra of \(N\).