<p>Let <i>H</i> be a ring with center <i>Z</i>. <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1241_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(f_{r}:H\rightarrow H\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mi>r</mi> </msub> <mo>:</mo> <mi>H</mi> <mo stretchy="false">→</mo> <mi>H</mi> </mrow> </math></EquationSource> </InlineEquation> (not always additive) is called a multiplicative reverse semiderivation if there exist a function <i>g</i> on <i>H</i> such that (i) <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1241_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="220" /> </InlineMediaObject> <EquationSource Format="TEX">\(f_{r}(t_{1}t_{2})=f_{r}(t_{2})t_{1} +g(t_{2})f_{r}(t_{1})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mi>r</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>t</mi> <mn>1</mn> </msub> <msub> <mi>t</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>f</mi> <mi>r</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>t</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <msub> <mi>t</mi> <mn>1</mn> </msub> <mo>+</mo> <mi>g</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>t</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <msub> <mi>f</mi> <mi>r</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>t</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, (ii) <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1241_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="220" /> </InlineMediaObject> <EquationSource Format="TEX">\(f_{r}(t_{1}t_{2})=f_{r}(t_{2})g(t_{1} )+t_{2}f_{r}(t_{1})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mi>r</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>t</mi> <mn>1</mn> </msub> <msub> <mi>t</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>f</mi> <mi>r</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>t</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mi>g</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>t</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <msub> <mi>t</mi> <mn>2</mn> </msub> <msub> <mi>f</mi> <mi>r</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>t</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and (iii) <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1241_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="145" /> </InlineMediaObject> <EquationSource Format="TEX">\(f_{r}(g(t_{1}))=g(f_{r}(t_{1}))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mi>r</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>g</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>t</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>g</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>f</mi> <mi>r</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>t</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, hold for all <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1241_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(t_{1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>t</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1241_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(t_{2}\in H\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>t</mi> <mn>2</mn> </msub> <mo>∈</mo> <mi>H</mi> </mrow> </math></EquationSource> </InlineEquation>. Based on this definition, we see that for all <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1241_Article_IEq7.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(b\in H\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>b</mi> <mo>∈</mo> <mi>H</mi> </mrow> </math></EquationSource> </InlineEquation> if <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1241_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\(f_{r}\left( b\right) \ne 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mi>r</mi> </msub> <mfenced close=")" open="("> <mi>b</mi> </mfenced> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> then <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1241_Article_IEq9.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(b\in Z\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>b</mi> <mo>∈</mo> <mi>Z</mi> </mrow> </math></EquationSource> </InlineEquation> when <i>H</i> is a prime ring. We also share the conditions under which we obtain <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1241_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="96" /> </InlineMediaObject> <EquationSource Format="TEX">\(\left[ f_{r}\left( s\right) ,s\right] =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfenced close="]" open="["> <msub> <mi>f</mi> <mi>r</mi> </msub> <mfenced close=")" open="("> <mi>s</mi> </mfenced> <mo>,</mo> <mi>s</mi> </mfenced> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1241_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(s\in H\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>∈</mo> <mi>H</mi> </mrow> </math></EquationSource> </InlineEquation>, when we choose the ring <i>H</i> as a semiprime ring.</p>

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

On multiplicative reverse semi-derivations on prime and semiprime rings

  • Evrim Guven

摘要

Let H be a ring with center Z. \(f_{r}:H\rightarrow H\) f r : H H (not always additive) is called a multiplicative reverse semiderivation if there exist a function g on H such that (i) \(f_{r}(t_{1}t_{2})=f_{r}(t_{2})t_{1} +g(t_{2})f_{r}(t_{1})\) f r ( t 1 t 2 ) = f r ( t 2 ) t 1 + g ( t 2 ) f r ( t 1 ) , (ii) \(f_{r}(t_{1}t_{2})=f_{r}(t_{2})g(t_{1} )+t_{2}f_{r}(t_{1})\) f r ( t 1 t 2 ) = f r ( t 2 ) g ( t 1 ) + t 2 f r ( t 1 ) and (iii) \(f_{r}(g(t_{1}))=g(f_{r}(t_{1}))\) f r ( g ( t 1 ) ) = g ( f r ( t 1 ) ) , hold for all \(t_{1}\) t 1 , \(t_{2}\in H\) t 2 H . Based on this definition, we see that for all \(b\in H\) b H if \(f_{r}\left( b\right) \ne 0\) f r b 0 then \(b\in Z\) b Z when H is a prime ring. We also share the conditions under which we obtain \(\left[ f_{r}\left( s\right) ,s\right] =0\) f r s , s = 0 for all \(s\in H\) s H , when we choose the ring H as a semiprime ring.