Binary \((-1,1)\)-bimodules over semisimple algebras (Q6587486)

Let \(F\) be a field of characteristic different of 2 and 3 and consider the standard notations: \begin{center} \([x,y]=xy-yx,\) and \((x, y, z)=(xy)z-x(yz).\) \end{center} An algebra over \(F\) is called right alternative if it satisfies \begin{center} \((x, y, z)= -(x, z, y).\) \end{center} A right alternative algebra is called a \((-1,1)\)-algebra if it satisfies \begin{center} \((x, y, z) + (y, z, x) + (z, x, y)=0.\) \end{center} A \((-1,1)\)-algebra is called strictly if it satisfies \begin{center} \([[x, y], z] = 0.\) \end{center} A right alternative algebra is called a binary \((-1,1)\)-algebra if it satisfies \begin{center} \([(x, x, y), y] = 0.\) \end{center} The variety of alternative algebras is the intersection of varieties of left and right alternative algebras. The variety of associative algebras is the intersection of alternative and \((-1,1)\)-algebras. Each \(2\)-generated subalgebra in a binary \((-1,1)\)-algebra is a \((-1,1)\)-algebra.\N\NNow, let \(A\) be an algebra from a variety \(\Omega\) and \(M\) be a vector space. We say that \(M\) is a \(\Omega\)-bimodule over \(A\), if there are two bilinear maps \(A \times M \to M\) and \(M\times A \to M,\) such that these two bilinear maps together with the original multiplication on \(A\) and zero multiplication on \(M\) (i.e. \(MM=0\)) gives the structure of an \(\Omega\)-algebra on the direct sum of vector spaces \(A+M\). \(A\)-bimodule \(M\) is called weak alternative if for any \(a \in A\) and \(m \in M\) we have \((a,a,m)=0.\)\N\NThe paper is about a study of \(\Omega\)-bimodules for various types of algebras. Namely, the author proved the following theorems.\N\NTheorem 1. Let \(A\) be a unital simple noncommutative alternative algebra, and \(M\) be a unital weak alternative binary \((-1,1)\)-bimodule over \(A\). Then \(A\) is alternative.\N\NTheorem 2. Each irreducible binary \((-1,1)\)-bimodule over a unital simple alternative algebra is alternative.\N\NTheorem 3. Let \(A\) be a finitely generated unital simple noncommutative alternative algebra, \(M\) be a unital binary \((-1,1)\)-bimodule over \(A\). Then \(M\) is alternative.\N\NTheorem 4. Each strictly \((-1,1)\)-bimodule over a finite-dimensional semisimple commutative associative algebra over an algebraically closed field \(F\) is associative.\N\NTheorem 5. Let \(A=A_1 \oplus \cdots \oplus A_k\) be the direct sum of simple alternative algebras, \(e_i\) be the unity of \(A_i\), \(M\) be a unital binary \((-1,1)\)-bimodule over \(A\). Then \(A\)-bimodule \(M\) is alternative if and only if \(M\) is alternative as \(A_i\)-bimodule for each \(i.\)\N\NTheorem 6. Let \(A\) be a unital right alternative algebra and \(A\) contains a subalgebra \(S\) isomorphic to matrix algebra of order \(n\) and \(A\) is an associative \(S\)-bimodule. Then \(A \cong E \otimes S,\) where \(E\) is an associative commutative algebra.\N\NIn the last part of the paper, the author gives some examples of irreducible \((-1,1)\)-bimodules.