The semisimple part of the algebra of derivations of a solvable Lie algebra (Q1809704)

Every semisimple Lie algebra is isomorphic (via adjoint representation) to its algebra of derivations. As for nilpotent Lie algebras, the situation is quite different: In view of a construction due to Y. Benoist, for every natural number \(p\geq 3\) there exists a \(p\)-step nilpotent Lie algebra \({\mathfrak N}({\mathfrak S},p)\) whose algebra of derivations has a prescribed Levi factor \({\mathfrak S}\) [cf. C. R. Acad. Sci., Paris, Sér. I 307, 901-904 (1988; Zbl 0664.17007)]. The main theorem of the paper under review is a nice variant of the above fact. Namely, one uses a semidirect product of \({\mathfrak N}({\mathfrak S},p)\) with one of its invertible derivations to prove the following statement: ``For every semisimple Lie algebra \({\mathfrak S}\) and every \(q\geq 3\) there exists a \(q\)-step solvable Lie algebra \({\mathfrak R}\) (depending on \({\mathfrak S}\) and \(q\)) such that \({\mathfrak R}\) is non-nilpotent and \({\mathfrak S}\) is isomorphic to the Levi factor of the algebra of derivations of \({\mathfrak R}\).'' (All the constructions of the paper are carried out for finite dimensional Lie algebras over some commutative field of characteristic 0).