半单Hopf代数的Noether定理

设H是一个有限维Hopf代数,给出其上Sweed ler上同调的定义.证明了如果H是半单Hopf代数,则H1(H,A)=0,这里的A是一个H-模.所得结论推广了经典的Noether定理.     

H-交换代数扭曲冲积的 Maschke 型定理

本文利用著名的Maschke型定理讨论了H -交换代数扭曲冲积的半单性，设H 为域k 上的有限维 Hopf 代数带有非退化的积分t，A 是 Yetter-Drinfeld 模代数和 H -双模代数，并且是 H 交换代数，根据 Wang 和 Li 的工作[6]，本文给出了H 交换代数扭曲冲积的 Maschke 型定理， 通过对 H 中的积分和 H 的投射性质的研究， 刻画了扭曲冲积 A# H的半单性。利用 Hopf 代数的模论和双模代数的性质，对任意的左 A# H-模 M 和 N，定义了 M 的右A -模结构， 并且验证了 M 是 A - A 双模， 并讨论了 A# H-模范畴中的态射集的性质与其上的模作用，我们证明了Hom( M,N)A是一个左 A# H-模， 从而得到(Hom A(M,N))H=A#H Hom(M,N)，并且进一步研究了 A的投射性质。 若假设 A 是半单的，我们得到 A# H是半单的当且仅当 A 是投射的左 A# H-模。最后给出在 A 是半单的前提下，则 A# H是半单的当且仅当 t.c=1对某个 c∈A。本文的结果主要推广了 Yang 工作中的定理3.2[4]。
     

弱拟三角Hopf代数上的量子交换代数

设H是域k上的有限维弱拟三角Hopf代数,A是弱H-模代数,且相对于(H,R)是量子交换代数.本文主要对文献[6]中大部分结果进行推广.     

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

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

有限维弱Hopf代数的作用与Smash积

H是域k上的有限维弱Hopf代数,A是弱H-模代数.讨论了A#H、A和AH之间的关系,推广了与平常的Hopf相应的结果.     

模代数扩张

设H是Hopf代数,A是左H-模代数.设_AM_A是H-模范畴中的A-A-双模.本文讨论了模代数A的通过双模M的奇异扩张,模代数的扩张既是代数扩张又是模扩张.为此,我们构作了一个融合代数结构和H-模结构的复形C_H~*(A,M),并且证明模代数的奇异扩张的等价类之集与这个复形的2阶上同调群H_H~2(A,M)是一一对应的.     

H-交换代数扭曲冲积的Maschke型定理

利用著名的Maschke型定理讨论了H-交换代数扭曲冲积的半单性,设H为域k上的有限维Hopf代数带有非退化的积分t,A是Yetter-Drinfeld模代数和H-双模代数,并且是H交换代数,根据已有文献的工作,给出了H交换代数扭曲冲积的Maschke型定理,通过对H中的积分和H的投射性质的研究,刻画了扭曲冲积A#H的半单性。利用Hopf代数的模论和双模代数的性质,对任意的左A#H-模M和N,定义了H的右A-模结构,并且验证了H是A-A双模,并讨论了A#H-模范畴中的态射集的性质与其上的模作用,证明了HomA(M,N)是一个左A#H-模,从而得到(HomA(M,N))H=A#HHom(A,M),并且进一步研究了A的投射性质。若假设A是半单的,得到A#H是半单的当且仅当A是投射的左A#H-模。最后给出在A是半单的前提下,则A#H是半单的当且仅当t·c=1对某个C∈A。     

由Lazy2-余循环诱导的扭曲Hopf模的基本结构定理

本文主要通过lazy 2-余循环σ:H H→k给出了左H-余模代数A的新乘法,得到一个左H-扭曲余模代数Aσ,并给出了由左H-扭曲余模代数Aσ诱导的相关扭曲Hopf模的基本结构定理.     

弱拟三角Hopf代数上的量子交换代数

设H是域k上的有限维弱拟三角Hopf代数,A是弱H-模代数,且相对于(H,R)是量子交换代数。本文主要对文献[6]中大部分结果进行推广。     

半单Hopf代数作用

设H是域κ上的有限维半单Hopf代数。A是左H-模代数．本文讨论A的性质对A#H的影响及A#H的性质对A的影响．主要讨论了半遗传性、凝聚性、遗传性、完备性、正则性     

π-H-模代数与π-H-模理想

设H为局部有限维Hopfπ-代数,A为局部有限维π-H-模代数。利用对偶原理研究了π-H-模代数的相关性质。得到了局部有限维Hopfπ-代数H上的π-H-模代数的对偶是Hopfπ-余代数上的π-H*-余模余代数。证明了B是A的π-H-模理想当且仅当B⊥是A*的π-H*-余模子余代数。     

Smash余积余代数的有限对偶

设H是域k上的余交换的Hopf代数,A,B均是左H-模代数,则（AB）#H是smash积代数.讨论了（AB）#H的有限对偶与smash余积H（AB）°×H°的关系,得到（（AB）#H）°与H（AB）°×H°作为余代数是同构的.     

π-模代数的π-模子代数

设π是群,H是Hopfπ-代数.研究局部有限维的Hopfπ-代数上π-H-模代数的π-H-模子代数,证明了π-H-模子代数与π-H~*-余模余理想间的对偶关系,即π-H-模代数B={Bα}α∈π的一簇子空间I={Iα}α∈π是B的π-H-模子代数当且仅当I⊥={I⊥α}α∈π是B~*的一个π-H~*-余模余理想.     

双积Hopf代数上的余拟三角结构

若H为Hopf代数,B为左H-模代数和左H-余模余代数,则B(×)H上的smash积和smash余积结构[1]在一定条件下可以构成Hopf代数[2],称为双积Hopf代数,记为B*H.如果B*H具有余拟三角结构,我们给出其具体表达式.     

拟三角拟Hopf代数上的量子交换代数

设(H,Δ,ε,Φ,R,S)是一个拟三角拟Hopf代数,A是一个关于(H,R)量子交换的左H-模代数.证明了(A#HM,A,A)是一个张量范畴,并且给出了它成为一个辫化张量范畴的充分必要条件.     

GLS-代数的奇点范畴

设H是GLS-代数,D_(sg)(mod~Z H)是其有限维Z-分次H-模的奇点范畴。本文证明了D_(sg)(mod~Z H)存在倾斜对象,从而D_(sg)(mod~Z H)三角等价于某个代数投射模的有界同伦范畴。     

形式三角矩阵环上的F-Gorenstein平坦模

设■是形式三角矩阵环,其中A,B是环,U是(B,A)-双模.利用Hom函子和伴随同构等理论,刻画形式三角矩阵环T上的F-Gorenstein平坦模结构,并证明若_BU的平坦维数有限,U_A的平坦维数有限且对任意的余挠左A-模C,有U?_AC是余挠左B-模,则左T-模■是F-Gorenstein平坦模当且仅当M₁是F-Gorenstein平坦左A-模,Coker φ^M是F-Gorenstein平坦左B-模,且φ^M:U?_AM₁→M₂是单射.     

3-李代数Aδω的模与诱导模

对特征零域F上无限维单3-李代数Aδω,构造了两类Aδω的无限维中间序列模(V,ρλ,0)=Tλ,0与(V,ρλ,1)=Tλ,1和一类无限维ad(Aδω)-模(V,ψλ,μ),其中λ,μ∈F,并对3-李代数Aδω-模与诱导模之间的关系进行了研究.证明了只有两类无限维模(V,ψλ,1)和(V,ψλ,0)是诱导模.     

72维的半单Hopf代数

设H是特征为0的代数闭域上的72维半单Hopf代数.通过对H的特征标代数的研究,证明了单H-模的维数只能是1,2,3,4,6或8.特别地,H是Frobenius型Hopf代数.另外,还证明了G(H)是非平凡的.     

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

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