No label defined (Q4948657)

An algebra with involution \((A,^-)\) is called structurable if it satisfies the identity \[ [T_x,V_{x,y}]=V_{T_z(x),y}-V_{x,T_{\overline z}(y)}, \] where \(V_{x,y}(z)=(x\overline y)z+(z\overline y)x-(z\overline x)y\) and \(T_x(z)=xz+zx-z\overline x\). Every alternative algebra with involution and every Jordan algebra with identical involution is structurable. The author classifies irreducible structurable bimodules over finite-dimensional central simple structurable algebras generated by skew-symmetric elements. In particular, in the split case, the corresponding bimodules are either associative, or alternative with involution, or certain tensor products of bimodules with involution over composition algebras, or regular bimodules, or, finally, a certain 8-dimensional nonassociative bimodule over the matrix algebra \(M_3(F)\) or a 28-dimensional bimodule over the simple 35-dimensional structurable algebra \(T(C)\) related to a Cayley-Dickson algebra \(C\) [see the author's article in Algebra Logic 29, No. 4, 331-336 (1990; Zbl 0738.17001)].