Sage computations of $\mathfrak{sl}_2(k)$-Levi extensions

Abstract

In 2010, Snolb [9] studied the structure of nilpotent Lie algebras admitting a Levi extension. As a corollary of the results therein, it is shown that the classes of characteristically nilpotent or filiform Lie algebras do not admit Levi extensions. The paper ends by asking for the possibility of finding series of nilpotent Lie algebras in arbitrary dimension not being abelian or Heisenberg and allowing such extensions. Our goal in this work is to present computational examples of this type of algebras by using Sage software. In the case of nilpotent Lie algebras admitting $\mathfrak{sl}_2(k)$ as Levi factor special constructions will be given by means of Sage routines based on transvections over $\mathfrak{sl}_2(k)$-irreducible modules.