陳 明，易 陽，唐玉玲，陳良云

(東北師范大學(xué) 數(shù)學(xué)與統(tǒng)計學(xué)院，長春130024)

0 引言

李三系最早出現(xiàn)在Cartan對黎曼幾何的研究中.在[1]中，Jacobson首先介紹并利用了李三系的概念來研究在三元交換子[[u；v];w]下封閉的結(jié)合代數(shù)的子空間.Lister在[2]中證明了特征為0的李三系的結(jié)構(gòu)理論.至于Hom-型代數(shù)的一 些結(jié)果也已由文獻(xiàn)[3-6]給出在[7]中，Yan介紹了Hom-李三系的概念.Hom-李三系是李三系的推廣，它經(jīng)典的三元Jacobi恒等式由兩個線性映射扭曲生成.李三系是Hom-李三系的特殊情形其中兩個扭曲映射都取成恒等映射.

在[8]中Leger和Luks研究了李代數(shù)的廣義導(dǎo)子代數(shù)，得到了廣義導(dǎo)子代數(shù)和它們的子代數(shù)的一些重要性質(zhì).特別地，他們研究了廣義導(dǎo)子代數(shù)的結(jié)構(gòu)并且描述了李代數(shù)滿足的特殊條件.同時他們還指出了李代數(shù)的擬導(dǎo)子和上同調(diào)之間存在的某種聯(lián)系.對于更一般的非結(jié)合代數(shù)的廣義導(dǎo)子代數(shù)，請讀者參考[9-20].

1 預(yù)備知識

定義1.1[7]Hom-李三系(T，[.，.，.]，α=(α1，α2))是由域F上的向量空間T，三線性映射[.，.，.]：T×T×T→T和兩個線性映射αi：T→T對于i= 1，2 (被稱為扭曲映射)組成，使得對于任意x，y，z，u，v∈T，滿足

(1)[x，x，z]=0，

(2)[x，y，z]+[y，z，x]+[z，x，y]=0，

(3)[α1(x)，α2(y),[z，u，v]]=[[x，y，z]，α1(u) ，α2(v)]+[α1(z)，[x，y，u]，α2(v)]+

δ[α1(z)，α2(u)，[x，y，z]].

特別地，若α=α1=α2保持括積(i.e.a[x，y，z]=[α(x)，α(y)，α(z)]，?x，y，z∈T)，則稱(T，[.,.,.]，α)為保積Hom-δ-李三系.

定義1.2Hom-δ- 李三系(T，[.,.,.]，α=(α1,α2)，δ)是由域F上的向量空間T.三線性映射[.,.,.]：T×T×T→T和兩個線性映射αi∶T→T對于i=1，2(被稱為扭曲映射)組成，使得對于任意的x，y，z，u，u∈T，有

(1) [x，y，z]=-δ[y，x，z]，δ=±1，

(2) [x，y，z]+[y，z，x]+[z，x，y]=0，

(3) [a1(x) ，a2(y),[z，u，v]]=[[x，y，z]，α1(u)，α2(v)]+[α1(z)，[x，y，u]，α2(v)]+

δ[α1(z)，α2(u)，[z，x，y]]=0.

定義1.3令(T，[.，.，.]，α，δ)是保積的Hom-δ李三系且定義由T上的線性映射D構(gòu)成的End(T)的如下子空間U，

U={D∈End (T)|Dα=αD}，

和

[D1，D2]=D1D2-D2D1，

對任意的D1，D2∈U.

定義1.4令(T，[.，.，.]，α，δ)是保積的Hom-δ李三系.線性映射D∶T→T被稱為T的ak-m-導(dǎo)子(這里k∈N，k≥0)，使得任意的x，y，z∈T滿足：

Dα=αD，

δm[D(x)，αk(y)，αk(z)]+δm[αk(x)，D(y)，αk(z)]+δm[αk(x)，αk(y)，D(z)]=D([x，y，z|)，(1-1)

δ=±1.

記Derαk，m(T)為所有αk-m-導(dǎo)子所構(gòu)成的集合，則Der(T)=⊕k≥0Derαk，m(T)提供換位子和下述映射：

Der(T)是U的Hom-δ-子代數(shù)且被稱為T的導(dǎo)子代數(shù).

定義1.5自同態(tài)D∈End(T)被稱為T的αk-m-廣義導(dǎo)子，若存在三個自同態(tài)D′，D″，D?∈End(T)使得對于任意的x，y，z∈T滿足：

Dα=αD，D′α=αD′，D″α=αD″，D?α=αD?，

δm[D(x)，αk(y),αk(z)]+δm[αk(x),D′(y)，αk(z)]+δm[αk(x),αk(y)，D″(z)]=D?([x，y，z])，?x，y，z∈T，δ=±1.

定義1.6自同態(tài)D∈End(T)被稱為αk-m-擬導(dǎo)子，若存在自同態(tài)D′∈End(T)使得對于任意的x，y，z∈T滿足：

Dα=αD，D′α=αD′，

δm[D(x)，αk(y)，αk(z)]+δm[αk(x)，D(y)，αk(z)]+δm[αk(x)，αk(y)，D(z)]=D′([x，y，z]) .

令GDerαk,m(T)和QDerαk,m(T)分別是αk-m-廣義導(dǎo)子和αk-m-擬導(dǎo)子的集合.那么

GDer(T)=⊕k≥0,m≥0GDerαk,m(T)，

QDer(T)=⊕k?0,m≥0QDerαk,m(T).

驗證GDer(T)，QDer(T)都是U的Hom-δ-子代數(shù)是容易的.

定義1.7若C(T)=⊕k≥0,m≥0Cαk,m(T)，Cαk,m(T)由D∈End(T)組成，其中D∈End(T)且對任意的x，y，z∈T，δ=±1滿足：

Dα=αD，

δm[D(x)，αk(y)，αk(z)]=δm[αk(x)，D(y)，αk(z)]=δm[αk(x)，αk(y)，D(z)]=D([x，y，z])，

則C(T)被稱為T的αk-m-型心.

定義1.8若QC(T)=⊕k≥0QCαk(T)，其中QCαk(T)∈End(T)組成，且對任意的x，y，z∈T滿足：

Dα=αD，

[D(x)，αk(y)，αk(z)]=[αk(x)，D(y)，αk(z)]=[αk(x)，αk(y)，D(z)]，則QC(T)被稱為T的αk-擬型心.

定義ZDer(T) ：=⊕k≥0,m≥0ZDerαk,m(T),這里ZDerαk,m(T)由D∈End(T)組成，且對任意的x，y，z∈T滿足：

Dα=αD，

[D(x)，αk(y)，αk(z)]=D([x，y，z])=0，

則ZDer(T)被稱為T的αk-m-中心導(dǎo)子.

容易驗證：

ZDer(T)?Der(T)?QDer(T)?GDer(T)?End(T).

2 廣義導(dǎo)子代數(shù)和Hom-δ-子代數(shù)

性質(zhì)2.1令(T，[.,.,.]，α，δ)是保積Hom-δ-李三系則下面結(jié)論成立：

(1)GDer(T)，QDer(T)和C(T)都是U的Hom-δ-子代數(shù)；

(2)ZDer(T)是Der(T)的Hom-δ-理想.

證(1)假設(shè)D1∈GDerαk,m(T),D2∈GDerαs,n(T)，對任意的x，y，z∈T，有

=[(D1α)(x)，αk+1(y)，αk+1(z)]

=α[D1(x)，αk(y)，αk(z)]

[D1D2(x)，αk+s(y)，αk+s(z)]

且

[D2D1(x),αk+s(y),αk+s(z)]

于是對任意的x,y,z∈L,有

[[D1，D2](x)，αk+s(y)，αk+s(z)]

類似地，QDer(T)是U的Hom-δ-子代數(shù).

則[D1,D2]∈Cαk+s,m+n(T)，于是C(T)是U的Hom-δ-子代數(shù).

(2)假設(shè)D1∈ZDerαk(T),D2∈Derαs,n(T),對任意的x,y,z∈T,有

[D1，D2]([x，y,z])=D1D2([x，y,z])-D2D1([x，y,z])

=δnD1([D2(x)],αs(y),αs(z)])+δnD1([αs(x),D2(y),αs(z)])+

δnD1([αs(x),αs(y),D2(z)])-D2([D1(x),αk(y),αk(z)])=0,

且

[[D1，D2](x),αk+s(y),αk+s(z)])

=[D1D2(x),αk+s(y),αk+s(z)])-[D2D1(x),αk+s(y),αk+s(z)]

=D1([D2(x),αs(y)，αs(z)])-δnD2[D1(x),αk(y)，αk(z)])+

[αsD1(x),D2(αk(y))，αk+s(z))]+[αsD1(x),αk+s(y),D2(αk(z))]=0.

則[D1,D2]∈ZDerαk+s,m+n(T)，于是ZDer(T)是Der(T)的Hom-δ-理想.

引理2.2令(T，[.，.，.]，α，δ)是乘法的Hom-δ李三系，則

(1)[Der(T),C(T)]?C(T).

(2)[QDer(T),QC(T)]?QC(T).

(3)[QC(T),QC(T)]?QDer(T).

(4)C(T)?QDer(T).

(5)D(Der(T))?Der(T),對任意的D∈C(T).

證(1)假設(shè)D1∈Derαk，m(T),D2∈Cαs,n(T),對任意的x,y,z∈T,有

[D1，D2]([x，y,z])

=D1D2([x，y,z])-D2D1([x，y,z])

=δnD1([D2(x),αs(y)，αs(z)])-δmD2([D1(x),αk(y)，αk(z)])-

δmD2([αk(y)，D1(y),αk(z)])-δmD2([αk(x)，αk(y)],D1(z)])

=δm+n[D1D2(x)，αk+s(y)，αk+s(z)]+δm+n[αk(D2(x))，αs(D1(y))，αk+s(z)]+

δm+n[αk(D2(x))，αk+s(y),D1(αs(z))]-δm+n[D2D1(x)，αk+s(y),αk+s(z)]-

δm+n[D2(αk(x)),αs(D1(y))，αk+s(z)]-δm+n[D2(αk(x)),αk+s(y),αs(D1(z))]

=δm+n[[D1,D2](x),αk+s(y),αk+s(z)].

類似地，

[D1，D2]([x，y,z])=δm+n[αk+s(x),[D1,D2](y),αk+s(z)]

且

[D1，D2]([x，y,z])=δm+n[αk+s(x),αk+s(y)，[D1,D2](z)].

則[D1,D2]∈Cαk+s,m+n(T)，因此[Der(T),C(T)]?C(T).

(2)假設(shè)D1∈QDerαk,m(T)，D2∈QCαs(T)，

[D1D2(x)，αk+s(y),αk+s(z)]-[D2D1(x)，αk+s(y),αk+s(z)]

[αk(D2(x)),αk+s(y),αs(D1(z))]-[αs(D1(x)),D2(αk(y)),αk+s(z)]

[αk+s(D2(x)),D2(αk(y),αs(D1(z))]-[αs(D1(x)),D2(αk(y)),αk+s(z)],

[αk+s(x),D1D2(y),αk+s(z)]-[αk+s(x),D2D1(y),αk+s(z)]

[αk+s(x),αk(D2(y)),D1(αs(z))]-[D2(αk(x)),αs(D1(y)),αk+s(z)].

因此

[[D1,D2](x),αk+s(y),αk+s(z)]=[αk+s(x),[D1,D2](y),αk+s(z)].

類似地，

[[D1,D2](x),αk+s(y),αk+s(z)]=[αk+s(x),αk+s(y),[D1,D2](z)].

所以[D1,D2]∈QC(T)，[QDer(T)，QCr(T)]∈QC(T).

(3)假設(shè)D1∈QCαk(T)，D2∈QCαs(T)，對任意的x,y,z∈T,有

[[D1,D2](x),αk+s(y),αk+s(z)]+[αk+s(x)，[D1,D2](y),αk+s(z)]+

[αk+s(x)αk+s(y),[D1,D2](z)]

=[D1D2(x),αk+s(y),αk+s(z)]-[D2D1(x),αk+s(y),αk+s(z)]+

[αk+s(x),D1D2(y),αk+s(z)]-[αk+s(x),D2D1(y),αk+s(z)]+

[αk+s(x),αk+s(y),D1D2](z)]-[αk+s(x),αk+s(y),D2D1](z)].

很容易得到

[D1D2(x)，αk+s(y),αk+s(z)]=[αk(D2(x))，D1αs(y)),αk+s(z)]=[αk+s(x),D2D1(y)，αk+s(z)].

[αk+s(x),αk+s(y),D1D2](z)]=[αs(D1(x))，αk+s(y),D2(αk(z))]=[D2D1(x),αk+s(y),αk+s(z)].

[αk+s(x),D1D2(y),αk+s(z)]=[αk+s(x),αk(D2(y))，D1(αs(z))]=[αk+s(x),αk+s(y),D2D1(z)].

(4)假設(shè)D∈Cαk,m(T)，則對任意的x,y,z∈T,有

δmD([x,y,z]=[D(x),αk(y),αk(z)]=[αk(x),D(y),αk(z)]=[αk(x),αk(y),D(z)],

因此

δm3D([x,y,z]=[D(x),αk(y),αk(z)]+[αk(x),D(y),αk(z)]+[αk(x),αk(y),D(z)],

且D′=3δmD∈End(T).所以這意味著D∈QDerαk,m(T).

(5)假設(shè)D1∈Cαk,m(T),D2∈Derαs,n(T)，對任意的x，y，z∈T，有

D1D2([x，y,z])

=δnD1([D2(x),αs(y)，αs(z)]+[αs(x)，D2(y),αs(z)]+[αs(x)，αs(y),D2(z)]

=δm+n[D1D2(x),αk+s(y),αk+s(z)]+δm+n[αk+s(x),D1D2(y),αk+s(z)]+

δm+n[αk+s(x),αk+s(y),D1D2(z)].

因此D1D2∈Derαk+s,m+n(T).

定理2.3令(T，[.，.，.]，α，δ)是保積Hom-δ李三系，α是滿射且Z(T)是T的中心.則[C(T),QC(T)]?End(T,Z(T)).并且,若Z(T)={0},則[C(T),QC(T)]={0}.

證假設(shè)D1∈Cαk,m(T),D2∈QCαs(T)，對任意的x∈T，α是滿射.對任意的y，z∈T，?y′,z′∈T使得y=αk+s(y′),z=αk+s(z′),則

[[D1，D2](x)，y,z]

=[[D1，D2](x),αk+s(y′)，αk+s(z′)]

=[D1D2(x),αk+s(y′)，αk+s(z′)]-[D1D2(x),αk+s(y′)，αk+s(z′)]

=δmD1([D2(x),αs(y′)，αs(z′)])+[αs(D1(x)),D2(αk(y′))，αk+s(z′)]

=δmD1([D2(x),αs(y′)，αs(z′)])-δmD1([αs(x),D2(y′)，αs(z′)]

=δm(D1([D2(x),αs(y′)，αs(z′)])-[αs(x)，D2(y′)，αs(z′)])

=0.

因此[D1，D2](x)∈Z(T)和[D1，D2]∈End(T,Z(T)).并且,若Z(T)={0},則[C(T),QC(T)]={0}.

定義2.4令(T，[.，.，.]，α，δ)是char(F)≠2的域F土的保積Hom-δ李三系.則ZDer(T)=C(T)∩Der(T).

證假設(shè)D∈Cαk,m(T)∩Derαk,m(T).對任意的x,y,z∈T，有D([x,y,z])=δm[D(x),αk(y)，αk(z)]+δm[αk(x)，D(y),αk(z)]+δm[αk(x)，αk(y),D(z)].且

D([x,y,z])=δm[D(x),αk(y)，αk(z)]

=δm[αk(x)，D(y),αk(z)]

=δm[αk(x)，αk(y),D(z)].

則2D([x,y,z])=0，因為char(F)≠2，因此D([x,y,z])=0.

所以D∈ZDerαk(T)且C(T)∩Der(T)?ZDer(T).另一方面，假設(shè)D∈ZDerαk(T)，對任意的x,y,z∈T，有

D([x,y,z])=[D(x),αk(y)，αk(z)]=0.

容易驗證D∈Cαk,m(T)∩Derαk,m(T)和ZDer(T)?C(T)∩Der(T).

定義2.5令(L，μ，α，δ)是Hom-δ-代數(shù).L的Hom-δ-結(jié)合子是三線性映射asα:L×L×L→L定義如下asα=μ(μ?α-α?μ).

若作用在元素上，則映射asα的作用為

asα(x,y,z)=μ(μ(x,y),α(z))-μ(α(x),μ(y,z)),?x,y,z∈L

令T是char(K)≠2的域K上的Hom-δ-代數(shù)帶有雙線性乘法ο.α：L→L是線性映射，則(L，ο，α,δ)是Hom-δ-代數(shù).若下述恒等式成立：

xοy=yοx,

asα(xοy,α(z),α(ω))+asα(yοω,α(z),α(x))+asα(ωοx,α(z),α(y))=0,

對任意的x,y,z∈L.

性質(zhì)2.6令(T，[.，.，.]，α，δ)是保積Hom-δ-李三系.帶有運算D1·D2=D1D2+D2D1.則四元組(U，·，α,δ)是Hom-δ-代數(shù).

推論2.7令(T，[.，.，.]，α，δ)是保積Hom-δ-李三系.帶有運算D1·D2=D1D2+D2D1.則三元組(QC(T),·，α)是Hom-δ-代數(shù).

證只需證明D1·D2∈QC(T)，對任意的D1∈QCαk(T)，D2∈QCαs(T)和x,y,z∈T，有

[D1·D2(x),αk+s(y)，αk+s(z)]

=[D1D2(x),αk+s(y)，αk+s(z)]+[D2D1(x),αk+s(y)，αk+s(z)]

=[D2(αk(x))，αs(D1(y))+αk+s(z)]+[D1(αs(x))，αk(D2(y))+αk+s(z)]

=[αk+s(x),D2D1(y),αk+s(z)]+[αk+s(x),D1D2(y),αk+s(z)]

=[αk+s(x),D1·D2(y),αk+s(z)].

類似地，

[D1·D2(x),αk+s(y)，αk+s(z)]=[αk+s(x)，αk+s(y),D1·D2(z)].

則D1·D2∈QCαk+s(T)和QC(T)是Hom-δ-代數(shù).

定理2.8若(T，[.，.，.]，α，δ)是域(F)上保積Hom-李三系.

(1)若char(F)≠2，則QC(T)是Hom-δ李代數(shù)伴有運算[D1，D2]=D1D2-D2D1當(dāng)且僅當(dāng)QC(T)在這種運算下是Hom-結(jié)合代數(shù).

(2)若char(F)≠3，α是滿射且Z(T)={0}，則QC(T)是Hom-李代數(shù)當(dāng)且僅當(dāng)[QC(T)，QC(T)]=0.

證(1)(?)對任意的D1，D2∈QC(T),有D1D2∈QC(T)和D2D1∈QC(T)，因此[D1,D2]=D1D2-D2D1∈QC(T).所以，QC(T)是Hom-李代數(shù).

(2)(?)明顯.

(?)假設(shè)D1∈QCαk(T),D2∈QCαs(T),對任意的x,y,z∈T，存在y′,z′∈T,使得y=αk+s(y′),z=

αk+s(z′) .因為α是滿射,QC(T)是Hom-李代數(shù)，因此[D1，D2]∈QCαk+s(T),則

[[D1，D2](x)，y,z]

=[[D1，D2](x),αk+s(y′)，αk+s(z′)]

=[αk+s(x)，[D1，D2](y′)，αk+s(z′)]

=[αk+s(x)，αk+s(y′),[D1，D2](z′)].

從引理2.2(3)的證明，有

[[D1，D2](x)，y,z]

=[[D1，D2](x),αk+s(y′)，αk+s(z′)]

=-[αk+s(x)，[D1，D2](y′)，αk+s(z′)]

=-[αk+s(x)，αk+s(y′),[D1，D2](z′)].

因此3[[D1，D2](x)，y,z]=0.由char(F)≠3，知[[D1，D2](x)，y,z]=0，即[D1，D2]=0.

3Hom-δ-李三系的擬導(dǎo)子

證對任意的x,y,z,u,v∈T和i,j，k,m,n∈{1,3},有

[x?ti,y?ti,z?tk]=[x,y,z]?ti+j+k

=-δ[y,x,z]?ti+j+k

=-δ[y?ti,x?ti,z?tk],

[x?ti,y?ti,z?tk]+[y?ti+z?tk,x?ti]+[z?tk+x?ti,y?tj]

=[x,y,z]?ti+j+k+[y,z,x]?ti+j+k+[z,x,y]?ti+j+k

=([x,y,z]+[y,z,x]+[z,x,y])?ti+j+k=0,

且

=[α(x?ti,α(y)?ti,[z?tk,u?tm,v?tn]]

=[α(x),α(y),[z,u,v]]?ti+j+k+m+n

=([[x,y,z],α(u),α(v)]+[α(z),[x,y,u],α(v)]+δ[α(z),α(u),[x,y,v]])?ti+j+k+m+n

為了方便，用xt(xt3)代替x?t(x?t3).

若U是T的子空間使得T=U⊕[T,T,T],則

φ(D)(at+ut3+bt3)=D(a)t+D′(b)t3,

這里D∈QDerak+s(T),D′在等式(1.2)中.a∈T,u∈U,b∈[T,T,T].

(1)φ是單射且φ(D)不依賴于D′的選取.

證(1)若φ(D1)=φ(D2)，則對任意的a∈T,b∈[T,T,T]和u∈U,有

φ(D1)(at+ut3+bt3)=φ(D2)(at+ut3+bt3)

即

因此D1(a)=D2(a).因此D1=D2和φ是單射.

對D∈QDerαk,m(T),假設(shè)存在D″使得

φ(D)(at+ut3+bt3)=D(a)t+D″(b)t3

和

[D(x),αk(y),αk(z)]+[αk(x),D(y),αk(z)]+[αk(x),αk(y),D(z)]=δmD″([x,y,z]).

則

D′([x,y,z])=D″([x,y,z]).

于是D′(b)=D″(b).因此

φ(D)((at+ut3+bt3)=D(a)t+D′(b)t3=D(a)t+D″(b)t3,

這意味著φ(D)由D決定.

對任意的x,y,z∈T，有

φ(D)([xt,yt,zt])=φ(D)([x,y,z])t3=D′([x,y,z])t3

=δm[D(x),αk(y),αk(z)]+[αk(x),D(y),αk(z)]+[αk(x),αk(y),D(z)])t3

=δm[D(x)t,αk(y)t,αk(z)t]+δm[αk(x)t,D(y)t,αk(z)t]+

δm[αk(x)t,αk(y)t,D(z)t]

現(xiàn)在定義映射f:Tt+Ut3+[T,T,T]t3→Tt3,

易知f是線性的.注意到

(g-f)(Tt)=g(Tt)-g(Tt)∩Tt3=g(Tt)-Tt3?Tt,(g-f)(Ut3)=0，

且

故存在D,D′在等式(1-1)中，使得對任意的a∈T,b∈[T,T,T],

(g-f)(at)=D(a)t,(g-t)(bt3)=D′(b)t3.

因此

δm[D(a1),αk(a2)t,αk(a3)t]+δm[αk(a1)t,D(a2),αk(a3)t]+

δm[αk(a1)t,αk(a2)t,D(a3)]=D′([a1,a2,a3])t3,

f(at+ut3+bt3)=φ(D)(at+ut3+bt3)=D(a)t+D′(b)t3.