Simple and semisimple structurable algebras (Q1814497): Difference between revisions

A structurable algebra was defined by \textit{B. N. Allison} [in Math. Ann. 237, 133-156 (1978; Zbl 0368.17001)] as a unital algebra with an involution, satisfying the operator identity \[ [T_ z,V_{x,y}]=V_{T_ zx,y}-V_{x,T_{\overline z}y}, \] where \(V_{x,y}(z)=(x\overline y)z+(z\overline y)x-(z\overline x)y\), \(T_ z=V_{z,1}\). In the cited paper simple central finite dimensional structurable algebras over a nonmodular field were classified. Later on \textit{R. D. Schafer} [in J. Algebra 92, 400-412 (1985; Zbl 0552.17001)] proved that every semisimple finite dimensional structurable algebra over a nonmodular field is isomorphic to a direct sum of simple algebras. The author in his previous paper [Algebra Logika 29, No. 4, 491-499 (1990; see the preceding review)] has shown that Allison's list of simple structurable algebras is incomplete: there is one more simple structurable algebra \(T(C)\) of dimension 35. Now the author generalizes the results of Allison and Schafer to algebras over an arbitrary field \(F\) of characteristic \(\neq2,3,5\). Let \(A\) be a finite dimensional structurable algebra over \(F\). If \(A\) is simple, then \(A\) is isomorphic to either one of the algebras from Allison's list or to the algebra \(T(C)\); if \(A\) is semisimple, then \(A\) is isomorphic to a direct sum of simple algebras.