Generalized standard algebras (Q2539442)

An algebra \(A\) over a field \(F\) of characteristic not two is called generalized standard if it satisfies five conditions: \[ (x,y,x) =0,\tag{1} \] \[ H(x,y,z)x=H(x,y,xz), \tag{2} \] \[ (x,y,wz) + (w,y,xz) + (z,y,xw) = ix, (w,z,Y) + (x,w,[y,z]), \tag{3} \] (4) if \(F\) has characteristic 3, then \((x,y,x^2)=0\) and (5) \([L_x,L_y] + [L_x,R_y] + [R_x,R_y]\) is a derivation of \(A\), where \((x,y,z)\) is the associator \((xy)z -x(yz)\), \([x,y]\) is the commutator \(xy-xy\), \(L_x\) \((R_x)\) is left (right) multiplication by \(x\), and \(H(x,y,z)=(x,y,z)+ (y,z,x)+(z,x,y)\). These include alternative algebras and standard algebras (see the author [Pac. J. Math. 29, 203--223 (1969; Zbl 0196.06101)]). The first theorem is that nil implies nilpotent \((A\) is always finite-dimensional), so that we have a radical, i.e., the maximal nilpotent (= nil = solvable) ideal. The author shows that semisimple means direct sum of simple ideals, and each simple algebra is either an alternative algebra or a commutative Jordan algebra (and hence known). The Peirce decomposition is used for this, and also used together with a discussion of solvability to prove the Wedderburn principal theorem by a structure-lifting argument.