路春雪

(吉林師范大學(xué) 研究生院,吉林 長春 130000)

沿著Posner[1]的研究路線,2018年,Emine[2]等證明了:設(shè)R是2-扭自由素環(huán),Z(R)是R的中心,U是R的非零平方封閉Lie理想,F,G是R上的廣義導(dǎo)子,d和h是其伴隨導(dǎo)子,對于u,v∈U,若F,G滿足以下條件之一:

(1)F(u)u=±uG(u);

(2)[F(u),v]=±[u,G(v)];

(3)[F(u),v]=±u°G(v).

則U?Z.

本文在Emine[2]的定理的基礎(chǔ)上將素環(huán)的Lie理想上廣義導(dǎo)子的性質(zhì)推廣到廣義(θ,θ)-導(dǎo)子上,并將條件稍加改變.證得了Lie理想在環(huán)的中心的性質(zhì).

1 預(yù)備知識(shí)

定義1設(shè)R是結(jié)合環(huán).若aRb=0,a,b∈R有a=0或b=0,則R為素環(huán).

定義2設(shè)R是環(huán),與環(huán)R中所有元素可交換的元素所構(gòu)成的集合叫做環(huán)R的中心,表示為Z(R).即Z(R)={r∈R|rx=xr,x∈R}.

定義3如果環(huán)R為2-扭自由素環(huán),則對任意的a∈R,若2a=0,則必有a=0.

定義4設(shè)R是結(jié)合環(huán),d:R→R是R上的可加映射.若對于任意的x,y∈R,有d(xy)=d(x)y+xd(y),則稱d為R上的導(dǎo)子.

定義5設(shè)R為結(jié)合環(huán),θ為R上的恒等自同構(gòu),若對于任意的x,y∈R,F為可加映射,有F(xy)=F(x)θ(y)+θ(x)d(y),則F是廣義(θ,θ)-導(dǎo)子.

定義6設(shè)R是環(huán),U是R的加法子群,如果對于任意的u∈U,r∈R均滿足[u,r]∈U,則稱U是R的Lie理想.

基本恒等式

[x,y]=xy-yx,x,y∈R.

x°y=xy+yx,x,y∈R.

[x,yz]=[x,y]z+y[x,z],x,y,z∈R.

[xy,z]=[x,z]y+x[y,z],x,y,z∈R.

(xy)°z=x(y°z)-[x,z]y=(x°z)y+x[y,z],x,y,z∈R.

x°(yz)=(x°y)z-y[x,z]=y(x°z)+[x,y]z,x,y,z∈R.

2 主要結(jié)果

引理1[3]R是2-扭自由素環(huán),Z(R)是R的中心,U是R的Lie理想,且U?Z(R).若存在a,b∈R滿足aUb=0,那么a=0或b=0.

引理2[4]R是2-扭自由素環(huán),Z(R)是R的中心,U是R的非零Lie理想,如果[U,U]=0,那么U?Z(R).

引理3[5]R是2-扭自由素環(huán),Z(R)是R的中心,U是R的平方封閉Lie理想,d是R上的非零(θ,θ)-導(dǎo)子.若d(U)?Z(R),則U?Z(R).

定理1R是2-扭自由素環(huán),Z(R)是R的中心,U是R的平方封閉Lie理想,F,G是R的廣義(θ,θ)-導(dǎo)子,d,h是其伴隨(θ,θ)-導(dǎo)子.若F(u)θ(u)=±θ(u)G(u),u∈U,則U?Z(R).

證明 假設(shè)U?Z(R).

由題設(shè)有

F(u)θ(u)=θ(u)G(u),u∈U.

對上式作線性化,有

F(u+v)θ(u+v)=θ(u+v)G(u+v),u,v∈U.

則

F(u)θ(v)+F(v)θ(u)=θ(u)G(v)+θ(v)G(u),u,v∈U.

(1)

在式(1)中用2vu,u,v∈U替換v,因?yàn)镽是2-扭自由的,可得

F(u)θ(v)θ(u)+F(v)θ(u)θ(u)+θ(v)d(u)θ(u)=θ(u)G(v)θ(u)+θ(u)θ(v)h(u)+θ(v)θ(u)G(u)=0,u,v∈U.

(2)

式(1)右乘θ(u),可得

F(u)θ(v)θ(u)+F(v)θ(u)θ(u)=θ(u)G(v)θ(u)+θ(v)G(u)θ(u),u,v∈U.

(3)

聯(lián)立式(2)和式(3),可得

θ(v)d(u)θ(u)+θ(v)G(u)θ(u)=θ(u)θ(v)h(u)+θ(v)θ(u)G(u),u,v∈U.

即

θ(v)[G(u),θ(u)]+θ(v)d(u)θ(u)=θ(u)θ(v)h(u),u,v∈U.

(4)

在式(4)中用2vw,v,w∈U替換v,因?yàn)镽是2-扭自由的,可得

θ(vw)[G(u),θ(u)]+θ(vw)d(u)θ(u)=θ(u)θ(vw)h(u),u,v,w∈U.

θ(v)θ(w)[G(u),θ(u)]+θ(v)θ(w)d(u)θ(u)=θ(u)θ(v)θ(w)h(u),u,v,w∈U.

(5)

由式(4),可得

θ(w)[G(u),θ(u)]+θ(w)d(u)θ(u)=θ(u)θ(w)h(u),u,v,w∈U.

(6)

式(6)左乘θ(v),可得

θ(v)θ(w)[G(u),θ(u)]+θ(v)θ(w)d(u)θ(u)=θ(v)θ(u)θ(w)h(u),u,v,w∈U.

(7)

聯(lián)立式(5)和式(7),可得

[θ(u),θ(v)]θ(w)h(u)=0,u,v,w∈U.

(8)

對式(8)左右兩端取θ-1,可得

[u,v]wθ-1(h(u))=0,u,v,w∈U.

即

[u,v]Uθ-1(h(u))=0,u,v∈U.

(9)

由引理1,可得

[u,v]=0,u,v∈U或θ-1(h(u))=0,u∈U.

若

[u,v]=0,u,v∈U.

由引理2,可得,U?Z(R).與假設(shè)矛盾.

若

θ-1(h(u))=0,u∈U.

(10)

對式(10)左右兩端取θ-1,可得

h(u)=0,u∈U.

由引理3可得,U?Z(R).與假設(shè)矛盾.

綜上,U?Z(R).

證畢.

定理2R是2-扭自由素環(huán),Z(R)是R的中心,U是R的平方封閉Lie理想,F,G是R的廣義(θ,θ)-導(dǎo)子,d,h是其伴隨(θ,θ)-導(dǎo)子.若[F(u),θ(v)]=±[θ(u),G(v)],u,v∈U,則U?Z(R).

證明 假設(shè)U?Z(R).

由題設(shè)有

[F(u),θ(v)]=[θ(u),G(v)],u,v∈U.

(11)

在式(11)用2vu,u,v∈U替換v,因?yàn)镽是2-扭自由的,可得

[F(u),θ(vu)]=[θ(u),G(vu)],u,v∈U.

[F(u),θ(v)θ(u)]=[θ(u),G(v)θ(u)]+[θ(u),θ(v)h(u)],u,v∈U.

則

[F(u),θ(v)]θ(u)+θ(v)[F(u),θ(u)]=[θ(u),G(v)]θ(u)+[θ(u),θ(v)]h(u)+θ(v)[θ(u),h(u)],u,v∈U.

(12)

式(11)右乘θ(u),可得

[F(u),θ(v)]θ(u)=[θ(u),G(v)]θ(u),u,v∈U.

(13)

聯(lián)立式(12)和式(13),可得

θ(v)[F(u),θ(u)]=[θ(u),θ(v)]h(u)+θ(v)[θ(u),h(u)],u,v∈U.

(14)

在式(14)中用2wv,w,v∈U替換v,因?yàn)镽是2-扭自由的,可得

θ(w)θ(v)[F(u),θ(u)]=[θ(u),θ(w)]θ(v)h(u)+θ(w)[θ(u),θ(v)]h(u)+θ(w)θ(v)[θ(u),h(u)],

u,v,w∈U.

(15)

式(14)左乘θ(w),可得

θ(w)θ(v)[F(u),θ(u)]=θ(w)[θ(u),θ(v)]h(u)+θ(w)θ(v)[θ(u),h(u)],u,v,w∈U.

(16)

聯(lián)立式(15)和式(16),可得

[θ(u),θ(w)]θ(v)h(u)=0,u,v,w∈U.

(17)

對式(17)左右兩端取θ-1,可得

[u,w]vθ-1(h(u))=0,u,v,w∈U.

(18)

即

[u,w]Uθ-1(h(u))=0,u,v,w∈U.

由引理1,可得

[u,w]=0,u,w∈U或θ-1(h(u))=0,u∈U.

若

[u,w]=0,u,w∈U.

由引理2,可得,U?Z(R).與假設(shè)矛盾.

若

θ-1(h(u))=0,u∈U.

(19)

對式(19)左右兩端取θ-1,可得

h(u)=0,u∈U.

由引理3可得,U?Z(R).與假設(shè)矛盾.

綜上,U?Z(R).

證畢.

定理3R是2-扭自由素環(huán),Z(R)是R的中心,U是R的平方封閉Lie理想,F,G是R的廣義(θ,θ)-導(dǎo)子,d,h是其伴隨(θ,θ)-導(dǎo)子.若[F(u),θ(v)]=±θ(u)°G(v),u,v∈U,則U?Z(R).

證明 假設(shè)U?Z(R).

由題設(shè)有

[F(u),θ(v)]=θ(u)°G(v),u,v∈U.

(20)

在式(20)用2vu,u,v∈U替換v,因?yàn)镽是2-扭自由的,可得

[F(u),θ(vu)]=θ(u)°G(vu),u,v∈U.

[F(u),θ(v)]θ(u)+θ(v)[F(u),θ(u)]=(θ(u)°G(v))θ(u)+(θ(u)°θ(v))h(u)-θ(v)[θ(u),h(u)],u,v∈U.

(21)

式(20)右乘θ(u),u∈U,可得

[F(u),θ(v)]θ(u)=(θ(u)°G(v))θ(u),u,v∈U.

(22)

聯(lián)立式(21)和式(22),可得

θ(v)[F(u),θ(u)]=(θ(u)°θ(v))h(u)-θ(v)[θ(u),h(u)],u,v∈U.

(23)

在式(23)中用2wv,w,v∈U替換v,因?yàn)镽是2-扭自由的,可得

θ(w)θ(v)[F(u),θ(u)]=θ(w)(θ(u)°θ(v))h(u)+[θ(u),θ(w)]θ(v)h(u)-

θ(w)θ(v)[θ(u),h(u)],u,v,w∈U.

(24)

式(23)左乘θ(w),可得

θ(w)θ(v)[F(u),θ(u)]=θ(w)(θ(u)°θ(v))h(u)-θ(w)θ(v)[θ(u),h(u)],u,v,w∈U.

(25)

聯(lián)立式(24)和式(25),可得

[θ(u),θ(w)]θ(v)h(u)=0,u,v,w∈U.

由定理2的證明可得

U?Z(R).

證畢.

3 結(jié) 語

本文研究了2-扭自由素環(huán)的Lie理想上的廣義(θ,θ)-導(dǎo)子的性質(zhì),對進(jìn)一步研究廣義(θ,θ)-導(dǎo)子有一定幫助.