<p>We describe mixed multilinear identities of degree&#xa0;<InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1587_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">$ 3 $</EquationSource> </InlineEquation> on right endomorphs of arbitrary algebras over a field&#xa0;<InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1587_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">$ F $</EquationSource> </InlineEquation> of characteristic not equal to&#xa0;<InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1587_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">$ 2 $</EquationSource> </InlineEquation>.As a consequence, we obtain irreducible bimodules over <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1587_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">$ M_{n}(F) $</EquationSource> </InlineEquation> in the variety defined by the monoassociativity identity and in the variety of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1587_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">$ (1,1) $</EquationSource> </InlineEquation>-algebras.We&#xa0;construct a broad class of right-symmetric bimodules, including irreducible right-symmetric <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1587_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">$ M_{n}(F) $</EquationSource> </InlineEquation>-bimodules.We introduce a class of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1587_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">$ \omega $</EquationSource> </InlineEquation>-right-symmetric algebras <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1587_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">$ {\mathcal{A}}_{\omega} $</EquationSource> </InlineEquation> with an&#xa0;<InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1587_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">$ \omega $</EquationSource> </InlineEquation>-identity, which generalizes the class of right-symmetric algebras, where <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1587_Article_IEq11.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="116" /> </InlineMediaObject> <EquationSource Format="TEX">$ \omega:{\mathcal{A}}\times{\mathcal{A}}\to F $</EquationSource> </InlineEquation> is a bilinear skew-symmetric form on <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1587_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">$ {\mathcal{A}} $</EquationSource> </InlineEquation>.We also describe the structure of finite-dimensional algebras <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1587_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">$ {\mathcal{A}}_{\omega} $</EquationSource> </InlineEquation>, in particular, simple algebras of this kind.We prove that the commutator algebra <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1587_Article_IEq14.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">$ {\mathcal{A}}^{(-)} $</EquationSource> </InlineEquation> of an arbitrary <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1587_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">$ \omega $</EquationSource> </InlineEquation>-right-symmetric algebra <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1587_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">$ {\mathcal{A}} $</EquationSource> </InlineEquation> is an <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1587_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">$ \omega $</EquationSource> </InlineEquation>-Lie algebra and that <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1587_Article_IEq14.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">$ {\mathcal{A}}^{(-)} $</EquationSource> </InlineEquation> is solvable of degree&#xa0;<InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1587_Article_IEq19.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">$ \leq 3 $</EquationSource> </InlineEquation> in the finite-dimensional case.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On Mixed Identities of Endomorphs, Bimodules, and \( \omega \)-Algebras

  • A. P. Pozhidaev

摘要

We describe mixed multilinear identities of degree  $ 3 $ on right endomorphs of arbitrary algebras over a field  $ F $ of characteristic not equal to  $ 2 $ .As a consequence, we obtain irreducible bimodules over $ M_{n}(F) $ in the variety defined by the monoassociativity identity and in the variety of $ (1,1) $ -algebras.We construct a broad class of right-symmetric bimodules, including irreducible right-symmetric $ M_{n}(F) $ -bimodules.We introduce a class of $ \omega $ -right-symmetric algebras $ {\mathcal{A}}_{\omega} $ with an  $ \omega $ -identity, which generalizes the class of right-symmetric algebras, where $ \omega:{\mathcal{A}}\times{\mathcal{A}}\to F $ is a bilinear skew-symmetric form on $ {\mathcal{A}} $ .We also describe the structure of finite-dimensional algebras $ {\mathcal{A}}_{\omega} $ , in particular, simple algebras of this kind.We prove that the commutator algebra $ {\mathcal{A}}^{(-)} $ of an arbitrary $ \omega $ -right-symmetric algebra $ {\mathcal{A}} $ is an $ \omega $ -Lie algebra and that $ {\mathcal{A}}^{(-)} $ is solvable of degree  $ \leq 3 $ in the finite-dimensional case.