<p>In this paper we are going to show that derivations satisfying some identity carry a certain form. To prove this, we assume <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">R</mi> </math></EquationSource> </InlineEquation> is a prime ring with <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="92" /> </InlineMediaObject> <EquationSource Format="TEX">\(char(\mathcal {R})\ne 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>c</mi> <mi>h</mi> <mi>a</mi> <mi>r</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">R</mi> <mo stretchy="false">)</mo> <mo>≠</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {I}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">I</mi> </math></EquationSource> </InlineEquation> is a nonzero ideal of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">R</mi> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {U}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">U</mi> </math></EquationSource> </InlineEquation> is the Utumi quotient ring of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">R</mi> </math></EquationSource> </InlineEquation> with extended centroid <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {C}=\mathcal {Z}(\mathcal {U})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">C</mi> <mo>=</mo> <mi mathvariant="script">Z</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">U</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="96" /> </InlineMediaObject> <EquationSource Format="TEX">\(f(x_1,\ldots ,x_n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>x</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is any noncentral valued multilinear polynomial over <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation>. Suppose that <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">F</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq11.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation> are two generalized derivations and <i>d</i> is any non-zero derivation of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">R</mi> </math></EquationSource> </InlineEquation>. If <Equation ID="Equ36"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_Equ36.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="232" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned}\mathcal {F}^2(f(\zeta ))d(f(\zeta ))-\mathcal {G}(f(\zeta )^2) \in \mathcal {C}\end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msup> <mrow> <mi mathvariant="script">F</mi> </mrow> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>ζ</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mi>d</mi> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>ζ</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mi mathvariant="script">G</mi> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <msup> <mrow> <mo stretchy="false">(</mo> <mi>ζ</mi> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <mi mathvariant="script">C</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>for all <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="152" /> </InlineMediaObject> <EquationSource Format="TEX">\(\zeta =(\zeta _1,\ldots ,\zeta _n)\in \mathcal {I}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ζ</mi> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <msub> <mi>ζ</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>ζ</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mrow> <mi mathvariant="script">I</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {F}(x)=ax\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">F</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>a</mi> <mi>x</mi> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq15.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {F}(x)=xa\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">F</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>x</mi> <mi>a</mi> </mrow> </math></EquationSource> </InlineEquation> for any <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq16.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(x\in \mathcal {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <mi mathvariant="script">R</mi> </mrow> </math></EquationSource> </InlineEquation>, for some <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq17.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(a\in \mathcal {U}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>∈</mo> <mi mathvariant="script">U</mi> </mrow> </math></EquationSource> </InlineEquation> along with <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq18.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(a^2 =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>a</mi> <mn>2</mn> </msup> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and following one conclusion holds: <OrderedList> <ListItem> <ItemNumber>(1)</ItemNumber> <ItemContent> <p><InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq19.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {G}=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">G</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>;</p> </ItemContent> </ListItem> <ListItem> <ItemNumber>(2)</ItemNumber> <ItemContent> <p>there exists <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq20.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda \in \mathcal {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo>∈</mo> <mi mathvariant="script">C</mi> </mrow> </math></EquationSource> </InlineEquation> and a derivation <i>h</i> of <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq21.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">R</mi> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq22.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="129" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {G}(x)= \lambda x+h(x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">G</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>λ</mi> <mi>x</mi> <mo>+</mo> <mi>h</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq23.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(x\in \mathcal {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <mi mathvariant="script">R</mi> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq24.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="97" /> </InlineMediaObject> <EquationSource Format="TEX">\(f(\zeta _1,\ldots ,\zeta _n)^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>ζ</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>ζ</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> is central valued on <InlineEquation ID="IEq25"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq25.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">R</mi> </math></EquationSource> </InlineEquation>;</p> </ItemContent> </ListItem> <ListItem> <ItemNumber>(3)</ItemNumber> <ItemContent> <p><InlineEquation ID="IEq26"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq26.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">R</mi> </math></EquationSource> </InlineEquation> satisfies <InlineEquation ID="IEq27"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1240_Article_IEq27.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(s_4\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>s</mi> <mn>4</mn> </msub> </math></EquationSource> </InlineEquation>.</p> </ItemContent> </ListItem> </OrderedList></p>

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

Action of generalized derivations with central values in prime rings

  • Basudeb Dhara,
  • Sukhendu Kar,
  • Kalyan Singh

摘要

In this paper we are going to show that derivations satisfying some identity carry a certain form. To prove this, we assume \(\mathcal {R}\) R is a prime ring with \(char(\mathcal {R})\ne 2\) c h a r ( R ) 2 , \(\mathcal {I}\) I is a nonzero ideal of \(\mathcal {R}\) R , \(\mathcal {U}\) U is the Utumi quotient ring of \(\mathcal {R}\) R with extended centroid \(\mathcal {C}=\mathcal {Z}(\mathcal {U})\) C = Z ( U ) and \(f(x_1,\ldots ,x_n)\) f ( x 1 , , x n ) is any noncentral valued multilinear polynomial over \(\mathcal {C}\) C . Suppose that \(\mathcal {F}\) F and \(\mathcal {G}\) G are two generalized derivations and d is any non-zero derivation of \(\mathcal {R}\) R . If \(\begin{aligned}\mathcal {F}^2(f(\zeta ))d(f(\zeta ))-\mathcal {G}(f(\zeta )^2) \in \mathcal {C}\end{aligned}\) F 2 ( f ( ζ ) ) d ( f ( ζ ) ) - G ( f ( ζ ) 2 ) C for all \(\zeta =(\zeta _1,\ldots ,\zeta _n)\in \mathcal {I}^n\) ζ = ( ζ 1 , , ζ n ) I n , then \(\mathcal {F}(x)=ax\) F ( x ) = a x or \(\mathcal {F}(x)=xa\) F ( x ) = x a for any \(x\in \mathcal {R}\) x R , for some \(a\in \mathcal {U}\) a U along with \(a^2 =0\) a 2 = 0 and following one conclusion holds: (1)

\(\mathcal {G}=0\) G = 0 ;

(2)

there exists \(\lambda \in \mathcal {C}\) λ C and a derivation h of \(\mathcal {R}\) R such that \(\mathcal {G}(x)= \lambda x+h(x)\) G ( x ) = λ x + h ( x ) for all \(x\in \mathcal {R}\) x R with \(f(\zeta _1,\ldots ,\zeta _n)^2\) f ( ζ 1 , , ζ n ) 2 is central valued on \(\mathcal {R}\) R ;

(3)

\(\mathcal {R}\) R satisfies \(s_4\) s 4 .