一般线性李代数的极大理想
2011-01-15陈丙凯卞鸿亚
陈丙凯,卞鸿亚,关 琦
(中国矿业大学 理学院,江苏 徐州 221008)
0 引言
理想的研究对于李代数结构的研究有重要意义.近些年来,很多文章已经研究了李代数的结构.值得注意的是,从李代数的理想着手研究李代数结构是比较常用的方法,近年来得到研究者们的重视,也获得了不少研究成果[1-8].如Gauger[1]第一次研究了幂零李代数上的2维中心可换理想. Benito.M.P等[2]证明了L是域上的一个李代数,若L的维数大于1并且L不是单李代数,L有唯一的极大理想Benito.M.P[3]证明了在特征为0的代数闭域和实数域上的可解李代数完全分类并且他们的理想最多是5个.Belitskii.G[4]研究了3维的中心可换理想. Fang C Y[5]研究了一类复杂的单李代数的ad-幂零理想.Bartolone.C在文[6]中完全分类了含有2维非中心可换理想的幂零李k-代数.最近Towers[7,8]研究了在域上的李代数的极大子代数.而研究李代数的极大理想问题得文章都比较少,特别是在环上研究李代数的极大理想的工作很少研究.本文受此启发,给出了在含幺可换环且2和n可逆上的一般线性李代数的完全分类.
现在给出一些定义.假设R是含幺可换环,I是R的极大理想,则我们定义R/I是R关于I的剩余典型域.Mm×n(R)定义为R上的所有m×n阶矩阵的集合.Mn×n(R)缩写成Mn(R).如果括积运算定义成[x,y]=xy-yx,则Mn(R)变成了李代数,我们称它为一般线性李代数用gln(R)来表示.gln(R)有一组包含矩阵eij的标准基,其中eij表示在(i,j)处是1其他处全是0的矩阵.因为eijekl=δjkeil,所以[eij,ekl]=δjkeil-δliekj.现在假设当i≠j时,Eij=eij,

1 预备知识






因为
因此
这时有
[(xii-xjj)(eii-ejj),eii+1]=(xii-xjj)eii+1∈X,
所以
[(xii-xjj)eii+1,ei+1i]=(xii-xjj)(eii-ei+1i+1)∈X.





现在我们构造两类关于gln(R)的极大……