On the construction of reductive Lie-admissible algebras (Q1105686)

Let \(L\) be a Lie algebra over a field of characteristic 0 and \(H\) a subalgebra of \(L\). The pair \((L,H)\) is called a reductive pair if there is a subspace \(M\) of \(L\) such that \(L=M\oplus H\) and \([M,H]\subseteq M\). For a nonassociative algebra \((A,{}^*)\) we shall denote by \(A^-\) the anticommutative algebra defined on the underlying vector space \(A\) by means of the new multiplication \([x,y]^*=x^*y-y^*x\). Then \(A\) is called a ``reductive Lie-admissible algebra'' if there is a subalgebra \(D\) of the Lie algebra of derivations of \(A^-\) and a bilinear mapping \(\delta\colon A\times A\to D\) such that \((L,A^-)\) is a reductive pair, where \(L=A^- \oplus D\), with multiplication given by \[ [x+d,y+d'] = ([x,y]^*+d(y)- d'(x))+(\delta (x,y)+[d,d']) \] (see \textit{A. A. Sagle} [Can. J. Math. 23, 325--331 (1971; Zbl 0193.34104)]). Now, let \((A,{}^*)\) be a nonassociative algebra, \(D\) a subalgebra of the Lie algebra \(\operatorname{Der}(A)\), \(f\colon A\otimes A\to D\) a \(D\)-homomorphism and \(f^-\colon A\otimes A\to D\) the \(D\)-homomorphism given by \(f^-(x\otimes y)=f(x\otimes y-y\otimes x)\). Then \(B=A\oplus D\), with multiplication \((x+d)(y+d')=xy+d(y)-d'(x)+f(x\otimes y)+[d,d']\), is a nonassociative algebra with \(D\subseteq \operatorname{Der}(B)\). Then it is proved that \(A\) is a reductive Lie-admissible algebra, with \(D\) as associated Lie subalgebra of derivations of \(A^-\) and \(f^-\) as associated bilinear mapping, if and only if \(A\) becomes a general Lie triple system under the Lie multiplication \([x,y]^*\) in \(A^-\) and the ternary composition \([x,y,z]^* = f^-(x\otimes y)(z)\). This is used to construct reductive Lie-admissible algebras \((A,{}^*)\) of dimension 7 with associated \(D = \text{sl}(3)\), motivated by the seven dimensional color algebra constructed by \textit{G. Domokos} and \textit{S. Kövesi-Domokos} [J. Math. Phys. 19, 1477--1481 (1978; Zbl 0384.17001)], and reductive Lie-admissible algebras of dimension 8 with associated \(D=G_2\). Known nonassociative algebras arise in these constructions.