On anticommutative algebras for which \([R_a,R_b]\) is a derivation (Q2662749)

In the paper under review the authors consider nonassociative algebras \(A\) with the property that the commutator \([R_a,R_b]\) of two right multiplications \(R_a\) and \(R_b\), \(a,b\in A\), is a derivation of \(A\). Commutative algebras with this property appear in the literature under the names ``Lie triple algebras'' and ``almost Jordan algebras''. The anticommutative algebras with this property are called CD algebras. Low-dimensional nilpotent CD algebras were classified in a series of papers: [\textit{H. Abdelwahab} et al., Rocky Mt. J. Math. 50, No. 5, 1541--1559 (2020; Zbl 07274818); \textit{H. Abdelwahab} et al., Int. J. Algebra Comput. 29, No. 6, 1113--1129 (2019; Zbl 1473.17086); \textit{I. Kaygorodov} and \textit{M. Khrypchenko}, J. Algebra Appl. 20, No. 11, Article ID 2150198, 19 p. (2021; Zbl 1505.17003)]. In the paper under review the authors continue the study of CD algebras over an arbitrary field of characteristic different from 2 and 3. The first result shows the place of the variety of CD algebras among other varieties of nonassociative algebras. In particular, the authors establish the strict inclusions \[ \text{Lie}\subset\text{Malcev}\cap\text{Sagle}\subset\text{CD}\subset\text{Binary Lie and CD}\subset\text{Almost Lie} \] and the equalities \[ \text{Malcev}\cap\text{CD}=\text{Sagle}\cap\text{CD}=\text{Malcev}\cap\text{Sagle}, \] \[ \text{Binary Lie}\cap\text{Almost Lie}=\text{CD}. \] Recall that Sagle algebras satisfy the identity \[ J(x, y, z)w = J(w, z, xy) + J(w, y, zx) + J(w, x, yz), \] where \(J(x, y, z) = (xy)z + (zx)y + (yz)x\) is the Jacobiator. The property ``almost Lie'' has several meanings in the literature. In the paper under review almost Lie algebras satisfy the identity \(J(x, y, z)w = 0\). \par It follows from the proof that CD algebras are central extensions of Lie algebras. As central extensions should be described by second degree cohomology, the authors introduce a ``CD cohomology'' \(H^2_{\text{CD}}(\cdot,\cdot)\), extending the usual Chevalley-Eilenberg cohomology \(H^2(\cdot,\cdot)\), responsible for such central extensions. the CD analogue of the Second Whitehead lemma follows from [\textit{A. N. Grishkov}, Math. USSR, Izv. 17, 243--269 (1981; Zbl 0468.17007); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 44, 999--1030 (1980)]: If \(L\) is a simple finite-dimensional Lie algebra over a field of characteristic zero and \(M\) is a finite-dimensional \(L\)-module, then \(H^2(L,M)=H^2_{\text{CD}}(L,M)=0\). The authors conjecture that the same holds for CD algebras over a filed of positive characteristic different from 2 and 3 and support the conjecture by computer calculations for algebras of small dimension. \par The paper concludes with a discussion with suggestions for further investigations of CD algebras.