第1章导子与广义导子理论
本章研究Hom-李三系、Hom-李共形代数和Hom-约当超代数的导子与广义导子理论,以及Hom-李代数的双导子理论[34-37].对于Hom-李三系和Hom-李共形代数,我们考虑其导子、广义导子、拟导子、中心导子及型心、拟型心等概念并证明相关的结构性质.特别地,广义导子可分解为拟导子和拟型心之和的形式,同时零中心Hom-李代数(Hom-李三系)上的拟导子代数可看成“更大”的Hom-李代数(Hom-李三系)上导子代数的直和项.此外,我们证明单Hom-李三系的型心同构于基域,并确定了单Hom-李三系与多项式环的张量积上的型心.
对于Hom-约当超代数,我们定义了导子,证明导子空间的维数是一个不变量,并且三个原始参数a,b,c实际上能减少到一个,同时给出用Hom-约当超代数上的结构常数来刻画导子空间的等式.
对于Hom-李代数,我们定义了双导子和交换线性映射,证明了它们与型心的密切联系,同时给出确定所有斜对称双导子和交换线性映射的法则.
我们在导子、广义导子与双导子理论方面的其他工作见文献[37-45].
1.1 Hom-李三系的导子与广义导子理论
1.1.1 Hom-李三系的广义导子代数及其子代数
定义1.1.1[27]设V是域F上的线性空间.设V具有双线性二元运算及线性变换
称为Hom-李代数,若对任意的x,y,z2V,有
[x,y]=-[y,x],(斜对称性)
特别地,如果是一个代数同态,即为保积的Hom-李代数.
定义1.1.2[46]设V是域F上的线性空间.若V具有三线性运算及线性变换,且满足
[x,y,z]+[y,z,x]+[z,x,y]=0,
则称为Hom-李三系.若并且则称为保积的Hom-李三系.
设(T,[-,-,-],a)是保积的Hom-李三系.定义为T上与可交换的线性变换的全体构成的集合.则f关于运算以及构成一个Hom-李代数.
定义1.1.3设(T,-,-,-],a)是保积的Hom-李三系.
.如果D满足对任意的x,y,T,
则称D为(T,[-,-,-],a)的导子.
.如果存在满足
则称D为(T,[-,-,-],a)的广义导子.
.如果存在,满足
则称D为(T,[-,-,-],a)的拟导子.
.如果D满足
则称D为(T,[-,-,-],a)的k-型心.
则称D为(T,[-,-,-],a)的k-拟型心.
.如果它满足
则称D为(T,[-,-,-],a)的中心导子.
分别用表示(T,[-,-,-],a)的全体的导子,广义导子,拟导子,型心,拟型心,中心导子构成的集合.令
容易验证它们之间有如下包含关系:
*先,我们给出一个Hom-李三系的中心导子代数、拟导子代数、广义导子代数的一些基本性质.
命题1.1.4若(T,[-,-,-],a)是一个保积的Hom-李三系,则下述陈述
成立:
(1)GDer(T),QDer(T)和C(T)是的Hom-子代数.
(2)ZDer(T)是Der(T)的Hom-理想.
证明(1)假设
我们有
因为全都属于End(T),因此
又有
于是对任意的,有
明显地,和都属于,所以.所以是的Hom-子代数.
类似地,是的Hom-子代数.
假设.对任意的,则有因此.注意到类似地,且
则.于是是的Hom-子代数.
(2)假设.对任意的,则有因此.注意到
引理1.1.5若(T,[-,-,-],a)是一个Hom-李三系,则
类似地,
且
则,因此
(2)类似于(1)的证明.
很容易验证
展开