<p>In this paper, the authors explored functional identities involving endomorphisms (<InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_938_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation>) and antiautomorphisms (<InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_938_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Xi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ξ</mi> </math></EquationSource> </InlineEquation>) on prime rings, focusing on their impact on commutativity. The results show that a prime ring <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_938_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\({\Re }\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℜ</mi> </math></EquationSource> </InlineEquation>, where the characteristic of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_938_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\({\Re }\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℜ</mi> </math></EquationSource> </InlineEquation> is not equal to two, with an antiautomorphism <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_938_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Xi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ξ</mi> </math></EquationSource> </InlineEquation> that is non-linear over the center <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_938_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(Z_{\Re }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>Z</mi> <mi>ℜ</mi> </msub> </math></EquationSource> </InlineEquation> of the ring <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_938_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\({\Re }\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℜ</mi> </math></EquationSource> </InlineEquation>, and an endomorphism <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_938_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation> satisfies commutativity under conditions such as <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_938_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="188" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma (\Xi (u)u) \mp [\Xi (u), u] \in Z_{\Re }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ξ</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>∓</mo> <mrow> <mo stretchy="false">[</mo> <mi mathvariant="normal">Ξ</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mi>u</mi> <mo stretchy="false">]</mo> </mrow> <mo>∈</mo> <msub> <mi>Z</mi> <mi>ℜ</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_938_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="188" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma (\Xi (u)u) \mp \Xi (u) \circ u \in Z_{\Re }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ξ</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>∓</mo> <mi mathvariant="normal">Ξ</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>∘</mo> <mi>u</mi> <mo>∈</mo> <msub> <mi>Z</mi> <mi>ℜ</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, or <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_938_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="172" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma (\Xi (u)u) \mp u\Xi (u) \in Z_{\Re }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ξ</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>∓</mo> <mi>u</mi> <mi mathvariant="normal">Ξ</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msub> <mi>Z</mi> <mi>ℜ</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>. Additionally, when <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_938_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation> is a non-identity endomorphism, commutativity follows if <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_938_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="172" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma (\Xi (u)u) - \Xi (u)u \in Z_{\Re }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ξ</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mi mathvariant="normal">Ξ</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mi>u</mi> <mo>∈</mo> <msub> <mi>Z</mi> <mi>ℜ</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>. Furthermore, <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_938_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\({\Re }\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℜ</mi> </math></EquationSource> </InlineEquation> is either commutative or can be embedded in (<InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_938_Article_IEq15.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(2 \times 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>×</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>) matrices over a field if <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_938_Article_IEq16.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="171" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma (\Xi (u)u) + \Xi (u)u \in Z_{\Re }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ξ</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi mathvariant="normal">Ξ</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mi>u</mi> <mo>∈</mo> <msub> <mi>Z</mi> <mi>ℜ</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>. Examples are provided to highlight the necessity of these conditions and to demonstrate the practical implications of the findings.</p>

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

Endomorphisms on prime rings with antiautomorphisms

  • Hafedh Alnoghashi,
  • Cihat Abdioğlu,
  • Mohd Arif Raza,
  • Nadeem ur Rehman

摘要

In this paper, the authors explored functional identities involving endomorphisms ( \(\Gamma \) Γ ) and antiautomorphisms ( \(\Xi \) Ξ ) on prime rings, focusing on their impact on commutativity. The results show that a prime ring \({\Re }\) , where the characteristic of \({\Re }\) is not equal to two, with an antiautomorphism \(\Xi \) Ξ that is non-linear over the center \(Z_{\Re }\) Z of the ring \({\Re }\) , and an endomorphism \(\Gamma \) Γ satisfies commutativity under conditions such as \(\Gamma (\Xi (u)u) \mp [\Xi (u), u] \in Z_{\Re }\) Γ ( Ξ ( u ) u ) [ Ξ ( u ) , u ] Z , \(\Gamma (\Xi (u)u) \mp \Xi (u) \circ u \in Z_{\Re }\) Γ ( Ξ ( u ) u ) Ξ ( u ) u Z , or \(\Gamma (\Xi (u)u) \mp u\Xi (u) \in Z_{\Re }\) Γ ( Ξ ( u ) u ) u Ξ ( u ) Z . Additionally, when \(\Gamma \) Γ is a non-identity endomorphism, commutativity follows if \(\Gamma (\Xi (u)u) - \Xi (u)u \in Z_{\Re }\) Γ ( Ξ ( u ) u ) - Ξ ( u ) u Z . Furthermore, \({\Re }\) is either commutative or can be embedded in ( \(2 \times 2\) 2 × 2 ) matrices over a field if \(\Gamma (\Xi (u)u) + \Xi (u)u \in Z_{\Re }\) Γ ( Ξ ( u ) u ) + Ξ ( u ) u Z . Examples are provided to highlight the necessity of these conditions and to demonstrate the practical implications of the findings.