当q不是单位根时量子群V_q(sl(2))的表示

研究当q不是单位根时量子群Vq(sl(2))的表示。给出了Vq(sl(2))的无限维的模结构。刻画了当q不是单位根时,Vq(sl(2))的所有单模。证明了当q不是本原单位根时量子群Vq(sl(2))的生成元E和F在有限维的模上的作用都是幂零作用的。还证明了当q不是单位根时,任意有限相同维数的单V-模都是彼此同构的。     

量子群νq(sl(2))上的模

研究了量子群νq(sl(2))的具有某种泛性质的无限维的模.并由此得到νq(sl(2))上的单模.用新的方法证明了νq(sl(2))上的每个有限维单模均同构于这样的单模.     

量子群U_q(f_m(K))的同构与自同构

研究量子群Uq(f(K))的一类特殊形式Uq(fm(K)).在充分利用Uq(fm(K))的有限维表示理论及其环论性质的基础上,得到当q不是单位根时量子群Uq(fm(K))的同构与自同构的完全分类.     

量子群Uq(f(K))的广义伴随作用

用U表示量子群Uq(f(K)),Ft(U)表示由广义伴随作用下局部有限的所有元素组成的U的子模.利用U的表示理论的基本结论,给出当q不是单位根时,Ft(U)的子模结构.由此得到Ft(U)的单模分解式.     

二面体群上的Hopf Ore扩张的单模

构造了二面体群Dn的Hopf Ore扩张上的全部有限维单模．这些单模的维数分别为1,2和4,其中维数为1的单模仅有4个,维数为2,4的单模可分为有限个族,每个族都包含无限多个单模并以k^x或k^x／（-1）作指标集．     

二维典型群PSL(2,q)与旗传递2-(v,k,λ)设计

旗传递性是附加在2-设计的自同构群上的重要条件之一。1988年,Zieschang证明了旗传递2-(v,k,λ)设计当(r,λ)=1时其自同构群G只能是仿射群或者几乎单群,故可以利用有限单群分类定理来分类此类设计。本文研究自同构群G是旗传递的且其基柱Soc(G)为单群PSL(2,q)的2-(v,k,λ)设计,解决了在限制条件(r,λ)=1且v≤1 000时此类设计的分类问题,共存在18个两两不同构的设计。     

以成果为导向的学生创新工程训练改革与探索

设p,q为奇素数,且p>q,而G是p2 q2阶群.如果G是非交换的超可解群且它的Sylowp-子群初等交换,那么:1)当q整除(p-1)但q2不整除(p-1)时,G恰有(q+4)个彼此不同构的类型;2)当q2整除(p-1)时,G恰有(q2+3q+10)/2个彼此不同构的类型.这一结果完善了已有文献对p2 q2阶有限群的分类结果.     

A note on the paper "On the classification of finite groups of order p2q2"

设p,q为奇素数,且p＞q,而G是p2q2阶群.如果G是非交换的超可解群且它的Sylow p-子群初等交换,那么:1)当q整除(p-1)但q2不整除(p-1)时,G恰有(q+4)个彼此不同构的类型;2)当q2整除(p-1)时,G恰有(q2 +3q+10)/2个彼此不同构的类型.这一结果完善了已有文献对p2q2阶有限群的分类结果.     

三维有限射影几何空间上二阶曲面x1x2-x23-x24=O的元素数目

首先研究了有限域GF(pr)上不定方程x2+y2=0解的情况:(1)当p=2时,有P'-1组非零解;(2)当4|Pr-1时,有2(pr-1)组非零解;(3)当p为奇数且4Pr-1时,只有零解.在此基础上给出了三维有限射影空间S3,q(q=pr)上二阶曲面x1x2-x23-x24=0点的个数:(1)p=2时,二阶曲面由q2+2q+1个点组成;(2)当4|q-1时,二阶曲面由q2+2q+1个点组成;(3)当q为奇数且4q-1时,二阶曲面由q2+1个点组成.     

三维有限射影几何空间上二阶曲面=O的元素数目

首先研究了有限域GF(pr)上不定方程x2+y2=0解的情况(1)当p=2时,有P'-1组非零解;(2)当4|Pr-1时,有2(pr-1)组非零解;(3)当p为奇数且4Pr-1时,只有零解.在此基础上给出了三维有限射影空间S3,q(q=pr)上二阶曲面x1x2-x23-x24=0点的个数(1)p=2时,二阶曲面由q2+2q+1个点组成;(2)当4|q-1时,二阶曲面由q2+2q+1个点组成;(3)当q为奇数且4q-1时,二阶曲面由q2+1个点组成.     

量子环面上的导子李代数模的导子

设q是p次本原单位根,L是两个变量的量子环面Cq上的导子李代数, W=Fαg (V)是由函子Fαg 作用在有限维gl2-模V上诱导的L-模。那么李代数L到其模W的导子除几种情形外都是内导子,且由此1-上同调群H1(L, W)在大多数情形下是平凡的。     

q为偶数次本原单位根时量子群Uq(m,n)的分解

研究了当q为偶数次本原单位根时 ,量子群Uq(sl2 )在关系K2r=1,Emr=0 ,Fmr=0下的商代数Uq(m ,n)的构造 ,给出Uq(m ,n)的Hopf代数结构和分次代数结构 ,给出了Uq(m ,n)的所有不同构的Verma模 ,给出了Uq(m ,n)的精确到基的理想结构。把Uq(m ,n)分解为主不可分解理想的直和     

A_2型量子群正部分的有限维不可约表示

利用初等方法讨论了A2型量子化包络代数的正部分有限维单表示并证明了其不存在维数大于1的单模.     

A2型量子群正部分的有限维不可约表示

利用初等方法讨论了A₂型量子化包络代数的正部分有限维单表示并证明了其不存在维数大于1的单模.     

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

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

q为偶数次本原单位根时量子群Uq（m,n）的Cartan矩阵

本文研究了当q为偶数次本原单位根时，量子群Uq（m,n）的Cartan矩阵。     

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代数的有限维模不是完全可约的.     

一种量子化学有限元并行计算方法

利用有限元法计算了量子化学中双原子分子的Hartree-Fock-Slater方程,用八节点等参元来离散所要求解的方程,在计算离散后的广义特征值问题时,采用迁移式子空间迭代法来求解.本方法能以较高的精度和效率求得所需的前q维特征值和特征向量,具有编程容易、子空间维数低和占用内存少的优点.所提方法也适用于并行计算,并行程序是在微机机群系统上发展的,用SPMD(singleprogrammultipledate)模式在MPI(messagepassinginterfaces)并行编程平台上实现,MPI系统用于处理机群节点间的通信.给出计算两个双原子分子——BH分子和LiH分子基态总能量的数值算例,获得了较精确的计算结果,显示了本方法的优越性.     

关于Witt代数的包络代数的q-变形的表示(英文)

设q不是单位根，本文构造了一个Witt代数的q一变形的表示V（λ，a，b），且研究了这样表示的性质。