Enveloping algebras of triple systems and algebras (Q802717)

A triple system \(A\) is a linear space over a field \(k\) with a ternary multilinear multiplication \([x,y,z]\). Denote by \(R(A)\) the subspace in \(\Hom_ k(A,A)\) spanned by all maps \(R(y,z)\), where \(R(y,z)x=[x,y,z]\). Let \(N\) be a subspace in \(\Hom_ k(A,A)\) containing \(R(A)\), \(B=A\oplus N\). Define in \(B\) a multiplication \((x+n)(y+n')=xn'+R(x,y)\). Then \(A^ 2\subseteq N\), \(AN\subseteq A\), \(NA=N^ 2=0\). The algebra \(B\) is an \(\alpha\)-envelope of \(A\). It is standard if \(R(A)=N\). A system \(A\) is simple if and only if its standard \(\alpha\)-envelope is simple. Any nonassociative algebra \(C\) is a triple system with the multiplication \([x,y,z]=(xy)z\). Assume that \(A\) is (anti-) commutative. Then \(C\) is simple if and only if its standard \(\alpha\)-envelope (as a triple system) is simple. Let \(\mathrm{char}\,k\neq 3\) and \(A\) be an anticommutative triple system. Denote by \(M\) the Lie subalgebra of a Lie algebra \(\Hom_ k(A,A)(-)\) containing all operators \(R(y,z)\). Define in \(D=A\oplus M\) a new multiplication \[ (x+m)(y+m')=xm'-ym-(1/3)R(x,y)+mm'-m'm. \] \(D\) is a \(\beta\)-envelope of \(A\). \(D\) is standard if \(M\) is generated by all operators \(R(x,y)\). \(A\) is simple if and only if its standard \(\beta\)-envelope is simple. Let \(A\) be a Mal'cev algebra which is not a Lie algebra. Put in \(A\) \([x,y,z]=J(x,y,z)\). Then \(A\) is an anticommutative triple system. \(A\) is a simple Mal'cev algebra if and only if its standard \(\beta\)-envelope is simple.