<p>An associative ring <i>A</i> gives rise to the Lie ring <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2844_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="200" /> </InlineMediaObject> <EquationSource Format="TEX">\(A^{(-)}=(A,[a,b ]=ab-ba).\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>A</mi> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mo stretchy="false">)</mo> </mrow> </msup> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo>,</mo> <mrow> <mo stretchy="false">[</mo> <mi>a</mi> <mo>,</mo> <mi>b</mi> <mo stretchy="false">]</mo> </mrow> <mo>=</mo> <mi>a</mi> <mi>b</mi> <mo>-</mo> <mi>b</mi> <mi>a</mi> <mo stretchy="false">)</mo> </mrow> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> The subject of isomorphisms of Lie rings <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2844_Article_IEq2.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(A^{(-)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>A</mi> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mo stretchy="false">)</mo> </mrow> </msup> </math></EquationSource> </InlineEquation> and [<i>A</i>,&#xa0;<i>A</i>] has attracted considerable attention in the literature. We prove that if the identity element of <i>A</i> decomposes into a sum of at least three full orthogonal idempotents, then any isomorphism from the Lie ring [<i>A</i>,&#xa0;<i>A</i>] to the Lie ring [<i>B</i>,&#xa0;<i>B</i>] is standard. For non-unital rings, the description is more intricate. Under a certain assumption on idempotents, we extend a Lie isomorphism from [<i>A</i>,&#xa0;<i>A</i>] to [<i>B</i>,&#xa0;<i>B</i>] to a homomorphism of associative rings <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2844_Article_IEq3.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="106" /> </InlineMediaObject> <EquationSource Format="TEX">\(\widehat{A\oplus A^{\textrm{op}}}\rightarrow B,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mrow> <mi>A</mi> <mo>⊕</mo> <msup> <mi>A</mi> <mtext>op</mtext> </msup> </mrow> <mo stretchy="true">^</mo> </mover> <mo stretchy="false">→</mo> <mi>B</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2844_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="166" /> </InlineMediaObject> <EquationSource Format="TEX">\(A^{\textrm{op}}=(A, a\cdot b= b\cdot a),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>A</mi> <mtext>op</mtext> </msup> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo>,</mo> <mi>a</mi> <mo>·</mo> <mi>b</mi> <mo>=</mo> <mi>b</mi> <mo>·</mo> <mi>a</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2844_Article_IEq5.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="146" /> </InlineMediaObject> <EquationSource Format="TEX">\(\widehat{A\oplus A^{\textrm{op}}}\rightarrow A\oplus A^{\textrm{op}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mrow> <mi>A</mi> <mo>⊕</mo> <msup> <mi>A</mi> <mtext>op</mtext> </msup> </mrow> <mo stretchy="true">^</mo> </mover> <mo stretchy="false">→</mo> <mi>A</mi> <mo>⊕</mo> <msup> <mi>A</mi> <mtext>op</mtext> </msup> </mrow> </math></EquationSource> </InlineEquation> is the universal annihilator extension of the ring <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2844_Article_IEq6.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="66" /> </InlineMediaObject> <EquationSource Format="TEX">\(A\oplus A^{\textrm{op}}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>⊕</mo> <msup> <mi>A</mi> <mtext>op</mtext> </msup> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> The results obtained are then applied to the description of automorphisms and derivations of Lie algebras of infinite matrices.</p>

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

On Lie Isomorphisms of Rings

  • Oksana Bezushchak,
  • Iryna Kashuba,
  • Efim Zelmanov

摘要

An associative ring A gives rise to the Lie ring \(A^{(-)}=(A,[a,b ]=ab-ba).\) A ( - ) = ( A , [ a , b ] = a b - b a ) . The subject of isomorphisms of Lie rings \(A^{(-)}\) A ( - ) and [AA] has attracted considerable attention in the literature. We prove that if the identity element of A decomposes into a sum of at least three full orthogonal idempotents, then any isomorphism from the Lie ring [AA] to the Lie ring [BB] is standard. For non-unital rings, the description is more intricate. Under a certain assumption on idempotents, we extend a Lie isomorphism from [AA] to [BB] to a homomorphism of associative rings \(\widehat{A\oplus A^{\textrm{op}}}\rightarrow B,\) A A op ^ B , where \(A^{\textrm{op}}=(A, a\cdot b= b\cdot a),\) A op = ( A , a · b = b · a ) , and \(\widehat{A\oplus A^{\textrm{op}}}\rightarrow A\oplus A^{\textrm{op}}\) A A op ^ A A op is the universal annihilator extension of the ring \(A\oplus A^{\textrm{op}}.\) A A op . The results obtained are then applied to the description of automorphisms and derivations of Lie algebras of infinite matrices.