On diagonal nonconstant right-symmetric algebras of matrix type \(M_2(F) \) (Q6175226)

An algebra \(A\) is right-symmetric provided that the associator on \(A\) is right-symmetric; i.e., it is symmetric in the last two elements: \((x, y, z)=(x, z, y)\) for all \(x, y, z \in A,\) where \((x, y, z)=(xy)z - x(yz)\) is the associator of \(x, y,\) and \(z.\) This paper continues the papers of the author [Sib. Math. J. 61, No. 5, 859--866 (2020; Zbl 1477.17106); translation from Sib. Mat. Zh. 61, No. 5, 1077--1086 (2020); with \textit{I. P. Shestakov}, Sib. Math. J. 62, No. 1, 138--147 (2021; Zbl 1503.17004); translation from Sib. Mat. Zh. 62, No. 1, 173--184 (2021); Sib. Math. J. 63, No. 2, 326--335 (2022; Zbl 1497.17046); translation from Sib. Mat. Zh. 63, No. 2, 392--403 (2022)] on the right-symmetric algebras of matrix type; i.e., those including a matrix subalgebra whose unity is the unity of the initial algebra. In Section 1, the author defines the left action of \(M_2(F)\) (and the bimodule structure) on the right-module part, and in Section 2 he studies the product on the right-module part and gives some criteria for the right symmetry and simplicity of the algebras of distinguished type. Namely, let \((W; \circ)\) be an algebra over a field \(F\) which is also a right module over an associative algebra \(A\) and whose product satisfies \((x \circ y)\mathbf{A} = (x\mathbf{A}) \circ y\) for all \(x, y \in W\) and \(\mathbf{A} \in A.\) Fix some bilinear mapping \(\psi : W \times W \to A\) such that \(\psi(x\mathbf{A}, y) = \psi(x, y)\mathbf{A}\) for all \(x, y \in W\) and \(\mathbf{A} \in A.\) Let \(\partial: W \to A\) be a linear mapping. Consider the algebra \(E_{\psi,\partial}(W, A ):= W \oplus A,\) where \(W\) is a right module over \(A,\) \(A\) is a subalgebra, and the remaining products are defined by the rules\begin{center} \(\mathbf{A} \cdot a = a\mathbf{A} + [\mathbf{A}, \partial(a)],\) \ \ \(a \cdot b = a\partial(b) + a \circ b + \psi(a, b)\)\end{center} for all \(a, b \in W\) and \(\mathbf{A} \in A.\) Theorem 2.1. characterizes right-symmetric algebras \(E_{\psi,\partial}(W, A).\) Corollary 2.1 talks that if \((W; \circ)\) is a right-symmetric algebra over a field \(F\), and \(W\) is a faithful right module over an associative algebra \(A\), then \(E_{0,\partial}(W, A)\) is a right-symmetric algebra. Summarizing the above results, he obtains. Theorem 2.2. Let \(A\) be a finite-dimensional right-symmetric algebra of matrix type \(M_2(F)\) with diagonal idempotents and without constant bichains. Then \(A \cong E_{\psi,\partial}(W, M_2(F))\) for an algebra \(W\) and some mappings \(\psi : W \times W \to M_2(F)\) and \(\partial : W \to D_2(F),\) where \(D_2(F)\) is the subalgebra of diagonal matrices in \(M_2(F)\). Furthermore, \(W = \sum W_{\lambda},\) and every \(W_{\lambda}\) is a two-dimensional irreducible associative right module over \(M_2(F).\) Theorem 2.3. Let \(W\) be an algebra with a product \(\circ\), let \(W\) be a right module over a simple associative algebra \(A,\) and \(WA = W.\) Then \(E_{\psi,\partial}(W, A)\) is either simple or local. The algebra \(E_{\psi,\partial}(W, A)\) is local if and only if there exists a standard \(A\)-submodule of \(W\). In Section 3, he gives some various constructions of simple and local right-symmetric algebras whose right-module part is not an irreducible module over \(M_2(F)\).