Description of some classes of Leibniz algebras (Q448369)

An algebra \(L\) is called Leibniz algebra if for any \(x, y, z \in L\) the so-called Leibniz identity \[ [x, [y, z]] = [[x, y], z] - [[x, z], y] \] holds true. Every Lie algebra is a Leibniz algebra, but the bracket in a Leibniz algebra need not be skew-symmetric. Let \(L\) be a Leibniz algebra and \(I=\langle [x,x] \, |\, x\in L\rangle\) be the ideal of \(L\) generated by all squares. Then \(I\) is the minimal ideal with respect to the property that \(G:=L/I\) is a Lie algebra. There is an approach to the classification of Leibniz algebras under the condition that the quotient algebra \(L/I\) is isomorphic to an a priori given Lie algebra. In the paper [\textit{B. A. Omirov} et al., Algebr. Represent. Theory 16, No. 5, 1507--1519 (2013; Zbl 1300.17004)], the quotient algebra \(L/I\) was supposed to be isomorphic to \(sl_2\) and in [``Leibniz algebras with associated Lie algebras \(sl_2\dot{+} R\) \((\dim R=2)\)'', \url{arxiv:1111.4631}], \textit{L. M. Camacho, S. Gómez-Vidal} and \textit{B. A. Omirov} considered the case when \(L/I\) is isomorphic to the direct sum of \(sl_2\) and a two-dimensional solvable Lie algebra. In this paper the authors describe the isomorphism classes of finite-dimensional complex Leibniz algebras whose quotient algebra \(L/I\) with respect to the ideal generated by squares is isomorphic to the direct sum of three-dimensional simple Lie algebra \(sl_2\) and a three-dimensional solvable ideal.