<p>Our aim is to prove the following result. Let the 2-torsion-free rings be <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\( \mathfrak {U} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">U</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\( \mathfrak {V} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">V</mi> </math></EquationSource> </InlineEquation>, such that both are semiprime or fulfill the conditions of Fact <InternalRef RefID="FPar1">A</InternalRef>, and let <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\( \mathfrak {R} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">R</mi> </math></EquationSource> </InlineEquation> be a 2-torsion-free faithful <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\((\mathfrak {U}, \mathfrak {V})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">U</mi> <mo>,</mo> <mi mathvariant="fraktur">V</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> bimodule possessing the property in case <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\( r \in \mathfrak {R} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>∈</mo> <mi mathvariant="fraktur">R</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\( \mathfrak {U}r = \{0\} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">U</mi> <mi>r</mi> <mo>=</mo> <mo stretchy="false">{</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> (resp. <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\( r\mathfrak {V} = \{0\} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mi mathvariant="fraktur">V</mi> <mo>=</mo> <mo stretchy="false">{</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>), then <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\( r = 0 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. If <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\( \mathfrak {J} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">J</mi> </math></EquationSource> </InlineEquation> is a Jordan biderivation that commutes on the triangular ring <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\( \mathfrak {P} = {Tri}(\mathfrak {U}, \mathfrak {R}, \mathfrak {V}) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">P</mi> <mo>=</mo> <mrow> <mi mathvariant="italic">Tri</mi> </mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">U</mi> <mo>,</mo> <mi mathvariant="fraktur">R</mi> <mo>,</mo> <mi mathvariant="fraktur">V</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\( \mathfrak {J} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">J</mi> </math></EquationSource> </InlineEquation> is zero. Moreover, we establish that every Jordan biderivation that commutes on a triangular ring under a specific setting is precisely a zero map.</p>

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

Jordan bi-derivation that commutes on a triangular ring

  • F. Shujat,
  • A. Al-Subhi,
  • A. Z. Ansari

摘要

Our aim is to prove the following result. Let the 2-torsion-free rings be \( \mathfrak {U} \) U and \( \mathfrak {V} \) V , such that both are semiprime or fulfill the conditions of Fact A, and let \( \mathfrak {R} \) R be a 2-torsion-free faithful \((\mathfrak {U}, \mathfrak {V})\) ( U , V ) bimodule possessing the property in case \( r \in \mathfrak {R} \) r R and \( \mathfrak {U}r = \{0\} \) U r = { 0 } (resp. \( r\mathfrak {V} = \{0\} \) r V = { 0 } ), then \( r = 0 \) r = 0 . If \( \mathfrak {J} \) J is a Jordan biderivation that commutes on the triangular ring \( \mathfrak {P} = {Tri}(\mathfrak {U}, \mathfrak {R}, \mathfrak {V}) \) P = Tri ( U , R , V ) , then \( \mathfrak {J} \) J is zero. Moreover, we establish that every Jordan biderivation that commutes on a triangular ring under a specific setting is precisely a zero map.