<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathfrak {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">R</mi> </math></EquationSource> </InlineEquation> be any non-commutative prime ring of char <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathfrak {R}\ne 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">R</mi> <mo>≠</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathfrak {U}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">U</mi> </math></EquationSource> </InlineEquation> its Utumi quotient ring, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathfrak {L}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">L</mi> </math></EquationSource> </InlineEquation> a non-central Lie ideal of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathfrak {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">R</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathfrak {F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">F</mi> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathfrak {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">G</mi> </math></EquationSource> </InlineEquation> two non-zero <i>b</i>-generalized derivations of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathfrak {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">R</mi> </math></EquationSource> </InlineEquation>. Suppose that <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\([\mathfrak {F}(u^{n_{1}})u^{n_{2}}-u^{n_{3}}\mathfrak {G}(u^{n_{4}}), u^{n_{5}}]_{n}=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mo stretchy="false">[</mo> <mi mathvariant="fraktur">F</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>u</mi> <msub> <mi>n</mi> <mn>1</mn> </msub> </msup> <mo stretchy="false">)</mo> </mrow> <msup> <mi>u</mi> <msub> <mi>n</mi> <mn>2</mn> </msub> </msup> <mo>-</mo> <msup> <mi>u</mi> <msub> <mi>n</mi> <mn>3</mn> </msub> </msup> <mi mathvariant="fraktur">G</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>u</mi> <msub> <mi>n</mi> <mn>4</mn> </msub> </msup> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <msup> <mi>u</mi> <msub> <mi>n</mi> <mn>5</mn> </msub> </msup> <mo stretchy="false">]</mo> </mrow> <mi>n</mi> </msub> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> where <i>u</i> varies over <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\( \mathfrak {L}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">L</mi> </math></EquationSource> </InlineEquation>, fixed <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(n,n_{1},n_{2},n_{3},n_{4},n_{5}\in \mathbb {Z}^{+}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>,</mo> <msub> <mi>n</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>n</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>n</mi> <mn>3</mn> </msub> <mo>,</mo> <msub> <mi>n</mi> <mn>4</mn> </msub> <mo>,</mo> <msub> <mi>n</mi> <mn>5</mn> </msub> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mo>+</mo> </msup> </mrow> </math></EquationSource> </InlineEquation>. We describe all possibilities for the forms of <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathfrak {F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">F</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathfrak {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">G</mi> </math></EquationSource> </InlineEquation> and also give some affirmations about the structure of <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\mathfrak {R}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">R</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Consequently, we extend the results of Liu [<CitationRef CitationID="CR20">20</CitationRef>] and of Khan et al. [<CitationRef CitationID="CR14">14</CitationRef>].</p>

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

b-generalized derivations satisfying an Engel condition on Lie ideals

  • Basudeb Dhara,
  • Gurninder Singh Sandhu

摘要

Let \(\mathfrak {R}\) R be any non-commutative prime ring of char \(\mathfrak {R}\ne 2\) R 2 , \(\mathfrak {U}\) U its Utumi quotient ring, \(\mathfrak {L}\) L a non-central Lie ideal of \(\mathfrak {R}\) R and \(\mathfrak {F}\) F , \(\mathfrak {G}\) G two non-zero b-generalized derivations of \(\mathfrak {R}\) R . Suppose that \([\mathfrak {F}(u^{n_{1}})u^{n_{2}}-u^{n_{3}}\mathfrak {G}(u^{n_{4}}), u^{n_{5}}]_{n}=0\) [ F ( u n 1 ) u n 2 - u n 3 G ( u n 4 ) , u n 5 ] n = 0 where u varies over \( \mathfrak {L}\) L , fixed \(n,n_{1},n_{2},n_{3},n_{4},n_{5}\in \mathbb {Z}^{+}\) n , n 1 , n 2 , n 3 , n 4 , n 5 Z + . We describe all possibilities for the forms of \(\mathfrak {F}\) F and \(\mathfrak {G}\) G and also give some affirmations about the structure of \(\mathfrak {R}.\) R . Consequently, we extend the results of Liu [20] and of Khan et al. [14].