<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathscr {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">R</mi> </math></EquationSource> </InlineEquation> be a prime ring of characteristic not equal to 2. Let <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathscr {Q}_r\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">Q</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation> be the Martindale quotient ring of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathscr {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">R</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathscr {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation> be the extended centroid of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathscr {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">R</mi> </math></EquationSource> </InlineEquation>. Suppose that <InlineEquation ID="IEq6"> <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 a non-central multilinear polynomial over <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathscr {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation> and define the set <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathscr {S}=\{f(r_1,\ldots ,r_n)|r_1, \ldots ,r_n \in \mathscr {R}\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">S</mi> <mo>=</mo> <mo stretchy="false">{</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>r</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>r</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <msub> <mi>r</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>r</mi> <mi>n</mi> </msub> <mo>∈</mo> <mi mathvariant="script">R</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathscr {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathscr {F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">F</mi> </math></EquationSource> </InlineEquation> be two generalized skew derivations of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathscr {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">R</mi> </math></EquationSource> </InlineEquation> associated with the automorphism <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation>. Let <i>g</i> and <i>h</i> be the associated skew derivations of <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathscr {F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">F</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\mathscr {G},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">G</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> respectively. We will provide the complete description of <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\mathscr {F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">F</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\mathscr {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation> under the assumption that the identity <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\mathscr {F}(X^2)=(\mathscr {G}(X))^2+\mathscr {G}(X)X+X\mathscr {G}(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">F</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>X</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">G</mi> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> <mo>+</mo> <mi mathvariant="script">G</mi> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> <mi>X</mi> <mo>+</mo> <mi>X</mi> <mi mathvariant="script">G</mi> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> holds for all <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(X \in \mathscr {S}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>∈</mo> <mi mathvariant="script">S</mi> </mrow> </math></EquationSource> </InlineEquation>. As an application of this result, we show that if there exists a non-zero skew-derivation <i>d</i> on <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\mathscr {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">R</mi> </math></EquationSource> </InlineEquation> satisfying <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(d(x^2)=d(x)^2+d(x)x+xd(x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>x</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>d</mi> <msup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> <mo>+</mo> <mi>d</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mi>x</mi> <mo>+</mo> <mi>x</mi> <mi>d</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(x\in \mathscr {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <mi mathvariant="script">R</mi> </mrow> </math></EquationSource> </InlineEquation>. Then <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(\mathscr {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">R</mi> </math></EquationSource> </InlineEquation> contains a non-zero central ideal.</p>

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

Pair of generalized skew derivation acting as a homoderivation

  • Ashutosh Pandey

摘要

Let \(\mathscr {R}\) R be a prime ring of characteristic not equal to 2. Let \(\mathscr {Q}_r\) Q r be the Martindale quotient ring of \(\mathscr {R}\) R and \(\mathscr {C}\) C be the extended centroid of \(\mathscr {R}\) R . Suppose that \(f(x_1,\ldots ,x_n)\) f ( x 1 , , x n ) is a non-central multilinear polynomial over \(\mathscr {C}\) C and define the set \(\mathscr {S}=\{f(r_1,\ldots ,r_n)|r_1, \ldots ,r_n \in \mathscr {R}\}\) S = { f ( r 1 , , r n ) | r 1 , , r n R } . Let \(\mathscr {G}\) G and \(\mathscr {F}\) F be two generalized skew derivations of \(\mathscr {R}\) R associated with the automorphism \(\alpha \) α . Let g and h be the associated skew derivations of \(\mathscr {F}\) F and \(\mathscr {G},\) G , respectively. We will provide the complete description of \(\mathscr {F}\) F and \(\mathscr {G}\) G under the assumption that the identity \(\mathscr {F}(X^2)=(\mathscr {G}(X))^2+\mathscr {G}(X)X+X\mathscr {G}(X)\) F ( X 2 ) = ( G ( X ) ) 2 + G ( X ) X + X G ( X ) holds for all \(X \in \mathscr {S}\) X S . As an application of this result, we show that if there exists a non-zero skew-derivation d on \(\mathscr {R}\) R satisfying \(d(x^2)=d(x)^2+d(x)x+xd(x)\) d ( x 2 ) = d ( x ) 2 + d ( x ) x + x d ( x ) for all \(x\in \mathscr {R}\) x R . Then \(\mathscr {R}\) R contains a non-zero central ideal.