\((\mathcal{T}_{\mathsf{Lie}})\)-Leibniz algebras and related properties (Q6561528)

For a Leibniz algebra \((L, [-, -])\), the authors define a new bracket \([-,-]_{\mathrm{lie}} : L \rightarrow L,\) as \([x, y]_{\mathrm{lie}} = [x, y] + [y, x],\) for all \(x, y \in L.\) A linear map \(d : L \rightarrow L\) on a Leibniz algebra \((L, [-, -])\) is said to be a Lie-derivation if for all \(x, y \in L,\) the following condition holds: \[d([x, y]_{\mathrm{lie}}) = [d(x), y]_{\mathrm{lie}} + [x, d(y)]_{\mathrm{lie}}.\]\N\NNote that any derivation is a Lie-derivation, but the converse is not true in general. In this work, \(D_{\mathrm{Lie}},\) denotes the class of Leibniz algebras \(L\) which satisfy the conditions \([L, L]_{\mathrm{Lie}} \neq L\) with a non-zero Lie-center. The authors introduce a subclass \((T_{\mathrm{Lie}})\) of \(D_{\mathrm{Lie}}\) with the special properties. A Lie-nilpotent Leibniz algebra is said to be pseudo-Lie abelian if \([L, L]_{\mathrm{Lie}} \neq L\) is one-dimensional and coincides with the Lie-center.\N\NIn this paper, necessary and sufficient conditions are obtained under which a non-Lie Leibniz algebra belongs to the class \((T_{\mathrm{Lie}})\) and the relationship of this class with pseudo-abelian Leibniz algebras is studied. It is proved that Lie-solvable Leibniz algebras of type \((T_{\mathrm{Lie}})\) are pseudo-Lie-abelian. Moreover, it is proved that under certain conditions, Leibniz algebras in the class \((T_{\mathrm{Lie}})\) have direct summands that are Lie-nilpotent Leibniz subalgebras and admit semi-simple Lie-derivations.