Loop代数的有限维不可约模的导子

设G是有限维复单李代数,A=C[t±1],GA: =G CA是loop代数.设a是非零复数,M是有限维不可约G-模,则Ma: =M是不可约GA-模, 其中xf(t)在Ma上的作用为xf(t)·v=f(a)xv.首先证明,若李代数L的有限维模都完全可约,那么L的有限维模的导子都是内导子.接着利用有限维复单李代数的有限维模都完全可约这一性质,计算GA-模Ma的导子.证明了当且仅当M是G的伴随模时,Ma存在外导子,这也说明了loop代数的有限维模不是完全可约的.     

限制李超代数的不可约表示

为刻画有限维限制李超代数的不可约模,利用诱导模的方法,对有限维限制李超代数(L,[p])的不可约模V,找到(L,[p])的一个p-子代数Lλ以及V的不可约Lλ-模Vλ,使得V同构于诱导模IndLLλ(Vλ,χ),其中χ是L-模V的特征标.     

关于半单纯李代数的某些Ext~n计算

设g是特征数为0的代数闭域k上的有限维半单纯李代数和G是g的普遍包络代数.用工(λ)表示权λ的不可约最高权g-模.本文我们得到了对于某些不可约最高权g-模的Ext_G(L(μ),L(λ)).我们的结果证明在许多情况下Ext_G(L(μ),L(λ))为0,但是它们不全为零.     

一类无限维Lie代数的不可约模

研究无限维Lie代数的结构和表示是Lie代数的主要课题,无限维Lie代数的不可约模是具体的一类表示.采用构造法给出了一类无限维Lie代数G的忠实模,同时给出此模为不可约模的一个充要条件,然后用反证法与基元素检验法证明该结果.此结果对研究无限维Lie代数的性质与表示有一定意义.     

F4型量子群表示的Groebner—Shirshov基

本文以凡型量子群表示的Groebner—Shirshov基为基础,利用双自由模方法给出凡型量子群的有限维不可约表示的Groebner-Shirshov基．     

一类Hopf路余代数的不可约表示

设D2是二面体群,H是群代数kD2上的一个Hopf路余代数,则H是非交换非余交换的.设T是H的Hopf理想,从而形成商代数H-=H/T.文中讨论了H-上的模表示,给出了H-上1维不可约模与2维不可约模,它们是H-上的互不同构所有不可约模.     

An型量子群的基本模的典范基

设g是An型的有限维复单李代数,U是g的量子群.对g的每一个支配权λ,存在一个最高权λ的有限维不可约最高权U-模V(λ).本文确定n≤5时An型量子群的基本模V(λ)(即λ是基本支配权)的典范基.     

用扬图讨论SU(n)及其在物理中的应用

本文直接用扬图讨论SU(n)的性质,得出不可约表示维数公式新的证法,对任意的n都用扬图统一表示其维数公式,并应用于几个物理问题.     

Bose代数的不可分解表示及应用(Ⅱ)

本文给出了Bose代数的有限维表示的构造方法,由此讨论了无穷维的Kac-Moody代数的不可分解表示和有限维(不可约)表示。     

G2型量子群表示的Grobner—Shirshov基

用单李代数的泛包络代数表示的Grobner-Shirshov基方法,也就是Grobner-Shirshov对（pair）方法,来构造G2型量子群表示的Grobner—Shirshov基是非常苦难的。而用双自由模方法来构造G2型量子群的有限维不可约表示的Grobner—Shirshov基是非常方便的;以已知的G2型量子群的Grobner—Shirshov基为基础．用双自由模方法构造G2型量子群的不可约表示的Grobner-Shirshov基。     

Sp(4,5n)的第一Cartan不变量

有限群的模表示论研究的一个重要方面是计算Cartan不变量 ,即它的一个不可约模在某个射影不可分解模的合成列中作为合成因子出现的重数 ,而第一Cartan不变量是最有趣又最难的一个 .利用代数群模表示理论中的一系列结果 ,并利用MATLAB数学软件 ,计算了 5 n 个元素的有限域上特殊辛群Sp(4,5 n)的第一Cartan不变量 .     

量子环面上导子李代数的一类不可约权模

量子环面是一类重要的非交换环面,它与高维仿射李代数的关系十分密切,它的导子李代数也在高维仿射李代数的表示理论里有着重要的作用.设D是一个有n+1个变量的量子环面,且其中有n个变量是相互交换的.本文对量子环面D的导子李代数给出了一类权模,证明这些模是权空间有限维的不可约模,并决定了它们的权的支集.     

不可约模的张量积分解

给出了G=Sp(4,K)时,限制支配权所对应的不可约模的张量积分解,这里K是特征数p(0的代数闭域,G是K上C2型单连通半单代数群。确定有限群的Cartan不变量及第一Cartan不变量是模表示论中的重要研究课题,而不可约模的张量积分解对计算李型有限群的Cartan不变量和第一Cartan不变量具有十分重要的意义。利用文献[1]中Mr.HU Yu-wang的WEYL模分解结果(文献[1]),得到限制支配权所对应的不可约模的张量积分解。     

一类Hopf代数的不可约可裂迹模

研究一类有限维Hopf代数X_q(A_2),回顾了X_q(A_2)的定义和PBW基,然后计算X_q(A_2)的积分,并给出了X_q(A_2)上有限维不可约模中的可裂迹模。     

非交换环上的强余挠模

设R是任何环,L是R-模.若对任何平坦维数有限的模M,有Ext_R~1(M,L)=0,则L称为强余挠模.证明(F_∞,SC)是余挠理论当且仅当l.FFD(R)∞,其中F_∞和SC分别表示平坦维数有限的模类和强余挠模类.还证明若w.gl.dim(R)∞,则强余挠模是内射模.最后证明每一R-模是强余挠模当且仅当R是左完全环,且l.FFD(R)=0.     

强无挠模和环的整体强无挠维数

设R是任何环,D是右R-模.若对任何平坦维数有限的左R-模M,有Tor_1~R(D,M)=0,则D称为强无挠模.强无挠模对Gorenstein环的研究发挥了重要的作用.为了对强无挠模作进一步刻画,首先证明(D_∞,F_∞)是Tor-挠理论当且仅当1.FFD(R)∞,其中,D_∞和F_∞分别表示强无挠右R-模类和平坦维数有限的左R-模类.还证明每一右R-模是强无挠模当且仅当1.FFD(R)=0.最后证明若1.FFD(R)∞,则1.FFD(R)=stf.dim(R),其中stf.dim(R)表示环R的(右)整体强无挠维数.     

单李代数的不可约模上多重线性型空间的研究

研究了复数域上单李代数L的不可约模上多重线性型空间的结构。对三维典型单李代数sl(2,F)的m+1维不可约模V(m),借助于模的张量积方法,讨论了其非零不变多重线性型的存在性。讨论了一般有限维单李代数的情形,得到了两个关于权性质的初步结论。     

群的特征标判据及其在物理中的应用

本文首先给出:1、有限群表示约化的特征标(x)判据。依此判据,若已知且仅知群的某一个表示的 x,可简便地判断出该表示约化与否及约化结果;而若已知且仅知群的两个表示的 x 时,可简便地得出它们是否有相同的不可约表示。2、特征标细致判据。若已知群的全部不等价、不可约表示的 x~(i)及某一表示的 x,以此判据可简便地判断出该表示由那几个不等价不可约表示组成。接着讨论了求 N 粒子系对称群的一个3N 维表示的 x 的方法,并利用上面的判据对该表示进行了约化分解。最后,本文通过实例给出了约化的程序、公式及表格。     

Ho pf 代数作用中轨道与稳定化子的结构

设H是一个有限维的Hopf代数,A是有限维的左H-模代数,I是A的任一极小H-理想.任取A的极小理想I1■I,用维数公式证明了轨道模代数OA(I1)≌I.还考虑了当AH■A是右H*-Galois扩张时,稳定化子StabA(V)的结构,其中V是左A-模.     

正规三元组上的模特征标性质

在有限群模表示理论中,模特征标诱导和限制下的动态表现以及对应关系是有意义的问题,尤其是考虑如何把常表示的结论推广到模表示上,得到相应的模特征标结果一直是表示论中的重要课题.对于有限群G,如果N和M均为G的正规子群且N包含M,M.L.Lewis称(G,N,M)为群G的正规三元组,并且对其上的常特征标问题进行了探讨.首先给出了模特征标的一些基本性质,然后在正规三元组(G,N,M)条件下,得到了IBr(N)和IBr(M)中元素限制和诱导的若干动态表现,讨论了其上不可约模特征标的不变性和唯一性问题,并且进一步获得了互素正规三元组(X,N,M)上的几个模特征标对应关系.