三角代数上的广义Jordan左导子

2016-01-16 03:05刘莉君

三角代数上的广义Jordan左导子

刘莉君

(陕西理工学院 数学与计算科学学院, 陕西 汉中 723000)

[摘要]运用算子论的方法研究三角代数上的广义Jordan左导子,证明了三角代数上的广义Jordan左导子是广义左导子,给出三角代数上广义左导子的一种表示定理及关于广义Jordan左导子的相关性质。

[关键词]三角代数;广义Jordan左导子;广义左导子

[文章编号]1673-2944(2015)04-0068-03

[中图分类号]O177.1

收稿日期:2015-01-06

基金项目:陕西省教育厅自然科学研究计划项目(2013Jk0571)

作者简介:刘莉君(1980—),女,陕西省城固县人,陕西理工学院讲师,硕士,主要研究方向为算子代数和算子理论。

设Γ是可交换环R上的一个代数,Z(Γ)为其中心。如果σ(xy)=σ(x)y+xσ(y)(∀x,y∈Γ),称线性映射σ:Γ→Γ是一个导子;如果σ满足σ(x2)=σ(x)x+xσ(x)(∀x,y∈Γ),则称它是一个Jordan导子;如果δ(xy)=xδ(y)+yδ(x)(∀x,y∈A),称线性映射δ:Γ→Γ是一个左导子;如果δ满足δ(x2)=2xδ(x)(∀x∈Γ),则称它是一个Jordan左导子;如果φ满足φ(xy)=xφ(y)+δ(x)y,其中δ是从Γ到自身上的Jordan左导子,则称φ是一个广义左导子;如果满足φ(x2)=xφ(x)+xδ(x),则称φ是一个广义Jordan左导子;显然,每个广义左导子都是广义Jordan左导子,但反之并一定成立。本文受文献[1-7]的启发,讨论了三角代数上的广义Jordan左导子,得出结论三角代数上的广义Jordan左导子都是广义左导子,从而推广了三角代数上的Jordan左导子的主要结果。

本文设A,B是交换环R上的具有单位元的代数,M既是左A-模又是右B-模(此时,称M是(A,B)-双边模)。如果

则称M是(A,B)-忠实双边模。

容易看出,满足矩阵加法、数乘与乘法运算,故Tri(A,M,B)为一个代数,称为三角代数[8]。

定理1设U=Tri(A,M,B)为三角代数,映射φ是从U到自身上的广义Jordan左导子,映射δ是从U到自身上的Jordan左导子,则对于任意的x,y,z∈U,有

(Ⅰ)φ(xy+yx)=xφ(y)+yφ(x)+xδ(y)+yδ(x);

(Ⅱ)φ(xyx)=xyφ(x)+2xyδ(x)+x2δ(y)-yxδ(x);

(Ⅲ)φ(xyz+zyx)=xyφ(z)+zyφ(x)+2xyδ(z)+2zyδ(x)+xzδ(y)+zxδ(y)-yxδ(z)-yzδ(x)。

证明(Ⅰ)因为映射φ是U上的一个广义Jordan左导子,因此就有φ(x2)=xφ(x)+xδ(x),则

(1)

另一方面,

(2)

由(1)和(2)式可得

(Ⅱ)在等式φ(xy+yx)=xφ(y)+yφ(x)+xδ(y)+yδ(x)中用xy+yx替代y可得

(3)

又因为映射δ是三角代数U到它自身上的Jordan左导子,故

(4)

综合(3)和(4)式可得

(5)

另一方面

(6)

由(5)和(6)式可得

(Ⅲ)在(Ⅱ)的等式中用x+z替代x可得

(7)

另一方面

(8)

由(7)和(8)式可得

证毕。

引理1[9]设U=Tri(A,M,B)为三角代数,如果映射δ是从U到它自身上的Jordan导子,则U上的每一个Jordan导子都是导子,即对于任意的x,y∈U,有

引理2设U=Tri(A,M,B)为三角代数,φ是从U到它自身上的一个线性可加映射,对于任意的x,y∈U,则有

(Ⅰ)若φ(x2)=φ(x)x,则φ(xy)=φ(x)y;

(Ⅱ)若φ(x2)=xφ(x),则φ(xy)=xφ(y)。

证明(Ⅰ)因为φ是从U到它自身上的一个线性可加映射且满足φ(x2)=φ(x)x,故

(9)

在(9)式中用xy+yx替代y可得

(10)

又因为

(11)

由(10)和(11)式可得

(12)

再在(12)式中用x+z替代x可得

(13)

另一方面

(14)

由(13)和(14)式可得

(15)

由(12)式可得

φ(xyzyx+yxzxy)= φ[x(yzy)x+y(xzx)y]=

(16)

由(15)式可得

φ(xyzyx+yxzxy)= φ[(xy)z(yx)+(yx)z(xy)]=

(17)

综合(16)和(17)式就有

(18)

不妨设B(x,y)=φ(xy)-φ(x)y,则(18)式可写成B(x,y)zyx+B(y,x)zxy=0(∀x,y∈U)。又结合(9)式易证得B(x,y)=-B(y,x),即有B(x,y)z(yx-xy)=0,又因为任意的x,y,z∈U,故z(yx-xy)≠0,则B(x,y)=0,即φ(xy)=φ(x)y。证毕。

类似于结论(Ⅰ),同理可证结论(Ⅱ):若φ(x2)=xφ(x),则φ(xy)=xφ(y)成立。

定理2设U=Tri(A,M,B)为三角代数,如果线性可加映射φ是U上的一个广义Jordan左导子,则线性可加映射φ也是三角代数U上的一个广义左导子,即满足φ(xy)=xφ(y)+yδ(x)。

证明对于该定理分两种情况证明。

(1)若δ=0时,因为线性可加映射φ是U上的一个广义Jordan左导子,即有φ(x2)=xφ(x),故由引理2中(Ⅱ)可得φ(xy)=xφ(y)。因此线性可加映射φ是三角代数U上的一个广义左导子。

(2)若δ≠0时,因为φ,δ,φ都是U上的线性可加映射,故不妨设φ=φ-δ,因此就有

由引理2中(Ⅱ)可得φ(xy)=xφ(y),即(φ-δ)(xy)=x[(φ-δ)(y)],展开可得φ(xy)-δ(xy)=xφ(y)-xδ(y),又由引理1可知δ(xy)=δ(x)y+xδ(y),故

综上可知,三角代数上的每一个广义Jordan左导子都是三角代数上的广义左导子。证毕。

注由定理可知,三角代数上的广义Jordan左导子和广义左导子互相等价。

[参考文献]

[1]EBADIAN A.Left Jordan derivations on Banach algebras[J].Iran J Math Sci Inform,2011,6(1):1-6.

[2]LI Jian-kui,ZHOU Ji-ren.Jordan left derivations and some left derivable maps[J].Oper Matrices,2010,4(1):127-138.

[3]余维燕,邢福弟.三角代数上的广义Jordan导子[J].数学进展,2009,25(4):72-78.

[4]刘莉君.Banach代数上的高阶Jordan-triple导子系的广义Hyers-Ulam-Rassias稳定性[J].纯粹数学与应用数学,2011,27(5):643-649.

[5]刘莉君.关于三角代数上的导子系[J].陕西理工学院学报:自然科学版,2011,27(2):66-69.

[6]REHMAN N.On lie ideals and generalized Jordan left derivations of prime rings[J].Ukrainian Mathematics Journal,2014,65(8):1118-1125.

[7]JUNG Y S,PARK K H.Left Jordan derivations on Banach algebras and related mappings[J].Bull Korean Math Soc,2010,47(1):151-157.

[8]CHEUNG W S.Commuting maps of triangular algebras[J].Journal of the London Mathematical Society,2011,63(1):117-127.

[9]ZHANG Jian-hua,YU Wei-yan.Jordan derivations of triangular algebras[J].Linear Algebra and its Applications,2006,419(1):251-255.

[责任编辑:魏 强]

Generalized Jordan left derivation of triangular algebra

LIU Li-jun

(School of Mathematics and Computer Science, Shaanxi University of Teachnology,

Hanzhong 723000, China)

Abstract:By using operator theory methods to study generalized Jordan left derivation in triangular algebra, it is proved in the study that every generalized Jordan left derivation on a triangle algebra is a generalized left derivation on a triangle algebra. The study derives a representation theorem for the generalized left derivation and relevant property about generalized Jordan left derivation.

Key words:triangular algebra;generalized Jordan left derivation;generalized left derivation