<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\( \mathcal {G} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation> be a generalized matrix algebra over a commutative ring. We prove that, under some mild conditions, if <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\( \varphi : \mathcal {G} \rightarrow \mathcal {G} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo>:</mo> <mi mathvariant="script">G</mi> <mo stretchy="false">→</mo> <mi mathvariant="script">G</mi> </mrow> </math></EquationSource> </InlineEquation> is a linear map satisfying <Equation ID="Equ15"> <EquationSource Format="TEX">\( \varphi (p_n(x_1, x_2, ... ,x_n))=\sum _{i=1}^n p_n(x_1,..., x_{i-1},\varphi (x_i), x_{i+1},...,x_n) \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi>φ</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>p</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>x</mi> <mn>2</mn> </msub> <mo>,</mo> <mo>.</mo> <mo>.</mo> <mo>.</mo> <mo>,</mo> <msub> <mi>x</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <munderover> <mo>∑</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>n</mi> </munderover> <msub> <mi>p</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>.</mo> <mo>.</mo> <mo>.</mo> <mo>,</mo> <msub> <mi>x</mi> <mrow> <mi>i</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo>,</mo> <mi>φ</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>x</mi> <mi>i</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <msub> <mi>x</mi> <mrow> <mi>i</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo>,</mo> <mo>.</mo> <mo>.</mo> <mo>.</mo> <mo>,</mo> <msub> <mi>x</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </Equation>for any <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\( x_1, x_2,...,x_n \in \mathcal {G} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>x</mi> <mn>2</mn> </msub> <mo>,</mo> <mo>.</mo> <mo>.</mo> <mo>.</mo> <mo>,</mo> <msub> <mi>x</mi> <mi>n</mi> </msub> <mo>∈</mo> <mi mathvariant="script">G</mi> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\( x_1x_2=e\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>x</mi> <mn>1</mn> </msub> <msub> <mi>x</mi> <mn>2</mn> </msub> <mo>=</mo> <mi>e</mi> </mrow> </math></EquationSource> </InlineEquation>, where <i>e</i> is an arbitrary fixed point in <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\varphi =\delta +\gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo>=</mo> <mi>δ</mi> <mo>+</mo> <mi>γ</mi> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>δ</mi> </math></EquationSource> </InlineEquation> is a derivation on <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\( \mathcal {G} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\( \gamma : \mathcal {G} \rightarrow \mathcal {Z}(\mathcal {G}) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>:</mo> <mi mathvariant="script">G</mi> <mo stretchy="false">→</mo> <mi mathvariant="script">Z</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a linear map vanishing on <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(p_n(x_1, x_2,...,x_n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>p</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>x</mi> <mn>2</mn> </msub> <mo>,</mo> <mo>.</mo> <mo>.</mo> <mo>.</mo> <mo>,</mo> <msub> <mi>x</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(x_1x_2=e\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>x</mi> <mn>1</mn> </msub> <msub> <mi>x</mi> <mn>2</mn> </msub> <mo>=</mo> <mi>e</mi> </mrow> </math></EquationSource> </InlineEquation>. In addition, this result is applied to full matrix algebras, triangular algebras and nest algebras.</p>

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

On Lie derivations of generalized matrix algebras

  • Lei Liu,
  • Suqian Hou

摘要

Let \( \mathcal {G} \) G be a generalized matrix algebra over a commutative ring. We prove that, under some mild conditions, if \( \varphi : \mathcal {G} \rightarrow \mathcal {G} \) φ : G G is a linear map satisfying \( \varphi (p_n(x_1, x_2, ... ,x_n))=\sum _{i=1}^n p_n(x_1,..., x_{i-1},\varphi (x_i), x_{i+1},...,x_n) \) φ ( p n ( x 1 , x 2 , . . . , x n ) ) = i = 1 n p n ( x 1 , . . . , x i - 1 , φ ( x i ) , x i + 1 , . . . , x n ) for any \( x_1, x_2,...,x_n \in \mathcal {G} \) x 1 , x 2 , . . . , x n G with \( x_1x_2=e\) x 1 x 2 = e , where e is an arbitrary fixed point in \(\mathcal {G}\) G , then \(\varphi =\delta +\gamma \) φ = δ + γ , where \(\delta \) δ is a derivation on \( \mathcal {G} \) G and \( \gamma : \mathcal {G} \rightarrow \mathcal {Z}(\mathcal {G}) \) γ : G Z ( G ) is a linear map vanishing on \(p_n(x_1, x_2,...,x_n)\) p n ( x 1 , x 2 , . . . , x n ) with \(x_1x_2=e\) x 1 x 2 = e . In addition, this result is applied to full matrix algebras, triangular algebras and nest algebras.