量子代数的内射模与Tilting模

A=Z[ν] m ' m是 Z[ν]的由ν- 1和奇素数 p生成的理想 .U是 A上的量子代数 .设 k是特征为零的代数闭域 .A→ K (ν|→ξ)是代数同态 ,并假定ξ不是 1的根或ξ是 p次本原根 .命Uk=U k A.J是 UK- Tilting模范畴 .对 λ∈ X+,M(λ)表首权为 λ的不可分解 UK- Tilting模 .本文证明了 ,对每个λ∈ X+,M(λ)作为 Uk 模是内射的当且仅当λ- (p- 1 )ρ∈ X+.我们还给出了内射 Uk模的若干充要条件 .     

拟遗传代数的特征模与张量积

本文研究零关系拟遗传代数A的模范畴与其正合Borel子代数B的模范畴之间的联系.证明了正合Borel子代数B的诱导模范畴完全含于A的好模范畴, 即好模诱导好模. 特别, 设A是具有纯粹强正合子代数B的零关系拟遗传代数,则A的特征模是B的特征模通过正合函子-_BA的诱导模当且仅当内射B-模的诱导A-模作为B-模仍是内射的. 本文还证明了基拟遗传单列代数的正合Borel子代数是右单列的, 并且其特征模恰是它的正合Borel子代数的特征模的诱导模.     

弱Hopf代数上的弱Alternative Doi-Hopf模

该文首先引入了弱Hopf代数上的弱Alternative Doi-Hopf模,然后构造了从弱Alternative Doi-Hopf模范畴到模范畴(余模范畴)忘却函子的伴随函子.     

弱Doi—Hopf群模的半单性

在弱Hopf群余代数情形中,讨论了一簇从弱Doi-Hopf群模范畴到某个代数上的模范畴忘却函子的可分性,诱导出弱Doi-Hopf群模数据的正规化积分概念,证明了正规化积分存在性是忘却函子可分的判别准则.所得结果在弱量子Yetter-Drinfel'd群模范畴及弱相对Hopf群模范畴中有应用价值.     

Kac-Moody代数在U(h)上的模结构

令g是任意Kac-Moody代数,其Cartan子代数为h.本文确定了在U(h)上限制是秩1自由的g-模组成的模范畴.确切地讲,这个模范畴是非空的当且仅当g是A_l型或是C_l型的,其中l是正整数.     

rep(A_3,I,A)中的Gorenstein投射模

设A是域k上的有限维代数,(Q,I)是带关系的箭图,令Λ=AkkQ/I.Λ的模范畴Λ-Mod及有限生成模范畴Λ-mod分别与(Q,I)在A上的表示范畴Rep(Q,I,A)及有限维表示范畴rep(Q,I,A)等价.给出了范畴rep(A_3,I,A)中Gorenstein投射模的具体构造,其中(A_3,I)=3α→2β→1,I=βα.在此基础上,给出了代数A是自入射代数的一个充分必要条件.     

弱T余代数上的弱Doi-Hopf π-模和弱Yetter-Drinfeld π-模

本文揭示了弱Doi-Hopf π-模范畴和弱Yetter-Drinfeld π-模范畴之间的密切联系,并证明了弱Yetter-Drinfeld π-模范畴同构于一个T-范畴的中心.     

Monoidal Entwined模范畴上的张量积恒等式

本文研究了monoidal entwined模范畴上的张量积恒等式.利用了monoidal entwined模范畴的性质及Doi-Hopf模范畴上的张量积恒等式的研究方法,获得了monoidal entwined模范畴上的一些张量积恒等式,并证明了entwined模范畴有足够的内射对象,结果推广了Doi-Hopf模范畴的结论.     

仿射李代数上基本模的极大权

设g(A)是结合于仿射型广义Cartan矩阵A的Kac-Moody代数,L(Λ)(Λ∈P )是g(A)上可积不可约的最高权模。文献[1]证明了L(Λ)的支配极大权只有有限个,并且决定了A~((k))_l,D~((k))_l,E~((k))_l(k=1,2,3)型Kac-Moody代数上水平1的可积不可约模L(Λ)的极大权集及权系。本文试图用不同于[1]的方法,也是更直接的方法,来决定C~((1))_2,G~((1))_2型Kac-Moody代数上基本不可约模L(Λ)的极大权集和权系。 本文所使用的术语和记号均见文献[1]。     

rep(A_3,I,A)中的Gorenstein投射模北大核心CSCD

设A是域k上的有限维代数,(Q,I)是带关系的箭图,令Λ=AkkQ/I.Λ的模范畴Λ-Mod及有限生成模范畴Λ-mod分别与(Q,I)在A上的表示范畴Rep(Q,I,A)及有限维表示范畴rep(Q,I,A)等价.给出了范畴rep(A_3,I,A)中Gorenstein投射模的具体构造,其中(A_3,I)=3α→2β→1,I=<βα>.在此基础上,给出了代数A是自入射代数的一个充分必要条件.     

半量子群u~(≥0)

设u~(≥0)表示一个固定单李代数的半量子群,给出了u~(≥0)的性质和表示.证明了Hopf代数u~(≥0)不是拟余交换的,因此左u~(≥0)-模范畴不是辫子monoidal范畴.在权模范畴W中,给出了所有单对象和投射对象.最后描述了所有单的Yetter-Drinfel'd u~(≥0)-权模.     

完全二部图的K_(p,p)-分解大集的存在谱

令H,G是两个简单图,G是H的一个子图.H的G-分解,记为(λH,G)-GD,是指将图λH的所有边分拆为若干个与G同构的子图(称为G-区组).H的G-分解的大集,记为(λH,G)-LGD,是指图H的所有与G同构的子图的一个分拆Β_1,Β_2,…,Β_m,使得每个B_j(1≤j≤m)为一个(λH,G)-GD (称为小集).本文中,我们对完全二部图的K_(p,p)-分解的大集进行了研究,利用K_v的λ重K_κ-因子大集的存在性结果,采用直接构造的方法,得到了大集(λK_(m,n),K_(p,p))-LGD的存在谱,其中p为任意素数.     

弱Hopf群T-余代数上的弱Doi-Hopf群模

在弱Hopf群T-余代数情形下,弱量子Yetter-Drinfeld群模的概念被引入,并证明了弱量子Yetter-Drinfeld群模是特殊的弱Doi-Hopf群模.接着建立了弱量子Yetter Drinfeld群模范畴与弱Hopf群双余模代数的余不动点子代数B上模范畴之间的伴随对.最后考虑了弱量子Yetter-Drinfeld群模的积分.     

λ-重K_(1,4)-设计到λ-重K_(1,3)-最大填充的变形

令(X,B)为一个u阶的λ-重K_(1,4)-设计.对于每一个区组B=(a:b,c,d,e)∈B,若删去边{a,e},则得到一个K_(1,3)[a:b,c,d].令C为删去B中每一个区组的边{a,e}而得到的K_(1,4)的集合,F为被删去的边构成的集合.若F可以被重组成[λv(v-1)/24]个K_(1,3)的集合D,则(X,CUD)为一个v阶λ-重K_(1,3)-最大填充.称(X,C∪D)为λ-重K_(1,4-)设计(X,B)的变形.本文证明了v阶λ-重K_(1,4)-设计到u阶λ-重K_(1,3)-最大填充的变形存在的充要条件是λv(v-1)≡0(mod 8)且v≥5.     

弱相关Hopf模范畴及函子

该文给出了弱相关Hopf模范畴和余不变子模范畴之间的关系,以及余不变函子(·)~(coH)有和诱导Ind=·_B A的一些应用,并且证明了弱相关Hopf模范畴_AM~(H*)同构于弱smash积模范畴_(A#H)M.     

Morita context环上的倾斜模和余倾斜模（英文）

令■为一个Morita context环,其中双模同态Φ和Ψ是0.本文研究了A₍(0,0))上扩张函子Ext的消失性,描述了具有有限投射维数(内射维数)的A(0,0)-模的结构.利用这些结果,我们分别刻画了Λ₍(0,0))上的倾斜模和余倾斜模.     

关于对偶模的平坦性和内射性(Ⅱ)

对交换环Ｒ和Ｂ－模范畴上的一个内射余生成元Ｂ,我们用相对于Ｅ的对偶模的性质刻画了ＱＦ环,ＩＦ环和半遗传环．     

Mn(C)中的不可约性

对于Mn(C)(所有n×n矩阵的全体)中的不可约矩阵得到以下结果:对于任意A∈Mn(C),设λ1,λ2,…,λm为A的所有特征值,这里m≤n而且当i≠j时,λi≠λj.则A是不可约的当且仅当任意P∈A'(A),P*=P=P2,有σ(P|ker(A-λ1))=σ(P|ker(A-λ2))=…=σ(P|ker(A-λm))为单点集.     

半群的(∈,∈ ∨q(λ,μ))-模糊k-理想(英文)

本文研究了半群中的广义模糊k-理想和(∈,∈∨q(λ,μ))-模糊k-理想.利用模糊集的截集及模糊集的性质,获得了(∈,∈∨q(λ,μ))-模糊k-理想的等价刻画,广义模糊特征化及广义模糊k-理想直积的基本性质.最后还给出了半群S是左k-诺特的充要条件是对于S的任意广义模糊左k-理想A,Im(A)是[λ,μ]上的良序子集.这些结果有重要的理论价值.     

相关Yetter-Drinfel’d模和扭曲Hopf模及其基本结构定理

本文引入了扭曲余模概念,给出了由扭曲余模构造的扭曲Hopf模的判别条件及其基本结构定理,引入了相关Yetter-Drinfel’d模概念(它是Yetter-Drinfel’d模概念的自然推广),证明了相关Yetter-Drinfel’d模范畴是预辫monoidal范畴,指出了由Yetter-Drinfel’d模通过扭曲余模构作的模恰是相关Yetter-Drinfel’d模.