刘双双
(吉林师范大学 研究生院,吉林 长春 130103)
*-素环上同态或反同态的广义导子
刘双双
(吉林师范大学 研究生院,吉林 长春 130103)
摘要:R是2-扭自由*-素环,J是R的非零*-Jordan理想.F是R上具有非零伴随导子d的广义导子.若F(xy)=F(x)F(y)或F(xy)=F(y)F(x),x,y∈J,有d=0或R具有交换性.
关键词:*-素环;*-Jordan理想;导子;广义导子
0引言
Bell 和Kappe[4]证明了若素环R的导子d在R的非零理想上是同态或反同态,则在R上d=0.近期,Asma et al[1]得到素环的Lie理想上的这一结果.另外,Yenigul ,Argac[7]和Ashraf[2]分别在素环的σ-导子和素环的(σ,τ)-导子上证明了的上述结果.Asma Ali和Deepak Kumar[5]将这一结果推广到素环的广义(θ,Φ)-导子上.
本文中,我们将这一结果推广到*-素环上*-Jordan 理想的广义导子上.
本文将用到下面的基本交换子恒等式,:
1主要结果
引理1[[6]引理2]R是2-扭自由*-素环,J是R的非零*-Jordan理想.若aJb=a*Jb=0, 则a=0或或b=0.
引理2[[7]引理3]R是2-扭自由*-素环,J是R的非零*-Jordan理想.若J⊆Z(R),则R具有交换性.
引理3[[8]引理2.6]一个群不能是它的两个真子群的并.
定理1R是2-扭自由*-素环,J是R的非零*-Jordan理想.可加映射F:R→R
是具有伴随导子d的广义导子.
(i)若F是J上的同态映射,则d=0;
(ii)若F是J上的同态映射,则d=0或R具有交换性.
证明:(i)若F是J上的同态映射,
有F(xy)=F(x)y+xd(y)=F(x)F(y) x,y∈J
(1)
而F(xyz)=F(xy)z+xyd(z) x,y,z∈J
(2)
F(xyz)=F(x)F(yz)=F(x)F(y)z+F(x)yd(z)x,y,z∈J
(3)
比较(2)(3)得(F(x)-x)yd(z)=0 x,y,z∈J,即(F(x)-x)Jd(z)=0
用z*替代z得到(F(x)-x)Jd(z*)=0,而*与d可交换,则
(F(x)-x)Jd(z)*=0
由于R是*-素环,由引理1得F(x)-x=0或d(z)=0.当F(x)=x时,
xy=F(xy)=F(x)y+xd(y)x,y∈J
由上式得到xd(y)=0,i.e.Jd(y)=0.由于J≠0,所以d(y)=0 y∈J.
综上所述,d=0
(ii)若F是J上的同态映射,有F(xy)=F(x)y+xd(y)=F(y)F(x) x,y∈J
(4)
在(4)中用xy代替x,得到xyd(y)=F(y)xd(y) x,y∈J
(5)
在(5)中用zx代替x,得到zxyd(y)=F(y)zxd(y) x,y,z∈J
(6)
用z左乘(5)得到zxyd(y)=zF(y)xd(y) x,y,z∈J
(7)
综上所述,d=0或R具有交换性.
参考文献:
[1]Bell HE,Kappe LC.Rings in which derivations satisfy certain algebraic conditions[J],Acta.Math.Hungar,1989,53:339-346.
[2]Ali A,Rehman N,Shakir A.On Lie ideals with derivations as homomorphisms and anti-Homomorphisms[J].Acta Math.Hungar,2003,101:79-82.
[3]Yenigul M,Argac N.On prime and semiprime rings with α-derivation[J].Turk.J.Mah,1994,18:280-284.
[4]Ashrsf M,Rehman N,Quadri M A.On (σ,τ)-derivations in certain classes of rings[J].Rad.Mat,1999,9:187-192.
[5]Asma Ali,Deepak Kumar.Generalized derivations as homomorphisms or as anti-homomor-Phism in a prime ring[J].Hacettepe Journal of Mathematics and Statistics Volume,2009,38:17-20.
[6]Oukhttite L,Salhi S,Taoufip L.Commutativity conditions on derivations and Lie ideals in σ-prime rings[J].Beitrage Algebra Geom,2010,51:275-282.
[7]Oukhtite L.On Jordan ideals and derivations in rings with involution[J].Comment.Math.Univ.Carolin,2010,51:389-395.
[8]Huang S.Generalized derivations of prime rings,International Journal of Mathematics and Mathematical Sciences[J],Article ID,2007,6:85612.
[责任编辑:王军]
Generalized derivation of the homomorphism or anti-homomorphism on *-Prime ring
LIU Shuangshuang
(Graduate School,Jilin Normal University,Changchun 130103,China)
Abstract:In the present paper it is shown that:if R is 2-torsion free *-prime ring,J be a nonzero *-Jordan ideal.F is called a generalized derivation associated with a derovation d.If Either F(xy)=F(x)F(y)or F(xy)=F(y)F(x) for all x,y∈J,then d=0or R is commutative.
Key words:*-prime ring;*-Jordan ideal;derivation;generalized derivation
中图分类号:O153.3
文献标识码:A
文章编号:1672-3600(2016)03-0022-02
作者简介:刘双双(1990-),女,满族,吉林长春人,吉林师范大学硕士研究生,主要从事环论的研究.
收稿日期:2015-11-17