A universal conservative algebra (Q922629)

Consider a linear operator A and a bilinear operator B(x,y) in a vector space V over a field k. For \(a\in V\) put \([A,a]=A(a)\), \([B,a](x)=B(a,x)\), \([A,B](x,y)=A(B(x,y))-B(A(x),y)-B(x,A(y))\). A nonassociative algebra on V with multiplication M: \(V\otimes V\to V\), \(M(x,y)=xy\), is conservative if there exists a multiplication \(M^*: V\otimes V\to V\), \(M^*(x,y)=x*y\), such that for any elements a,b\(\in V\) \([[M,b],[[M,a],M]]=-[[M,a*b],M].\) Let J be the subspace of all elements a in V for which the map [M,a] is a derivation in V. A left quasi-unity is an element \(e\in V\) such that \(e(xy)=(ex)y+x(ey)-xy\) for all x,y\(\in V.\) Theorem. The associated multiplication \(M^*\) is unique up to a multiplication which maps \(V\otimes V\) to J. Moreover, J*V\(\subseteq J\), a*b\(\equiv -ba mod J\) if \(b\in J\); e*a\(\equiv a\), a*e\(\equiv 2a-ea mod J.\) Let U(n) be the space of all bilinear operators in an n-dimensional vector space V. For \(a\in V\) define the multiplication M(A,B) in U(n) by \(M(A,B)(x,y)=[A,a]B(x,y)-B([A,a](x),y)-B(x,[A,a](y))\). An algebra U(n) is conservative with \(M^*(a,b)=1/3 (M(A+A^ T,B)+M(2B^ T-B,A))\). An adjoint map ad from a conservative algebra V to a set of bilinear operators in V/J is defined by the formula \[ (ad a)(x,y)=(y*a)*x+y*(ax)- (y*x)*a. \] The main theorem states ad is a homomorphism from V to U(k), where \(k=n\) or \(k=n+1\), \(n=\dim V/J\). The kernel of ad is a maximal ideal contained in J. An algebra U(n) is a universal object in the category of conservative algebras V with no ideals in J and with some restrictions on dim J. There is given a multiplication table of the algebra U(n). As examples the author considers embeddings of noncommutative Jordan algebras and graded Lie algebras into U(n) for some n.