Hopf π-余代数与单侧π-余理想

介绍了π-余代数,Hopfπ-余代数,左(右)π-余理想,左(右)π-理想等概念,证明了Hopfπ-余代数的对偶空间■*为Hopfπ-代数.在此基础之上,得到了Hopfπ-余代数H的单侧π-余理想与H的对偶■*的单侧π-理想之间的对偶关系.

偏Doi-Hopf π-模范畴和函子（英文）

设π-是一个群.本文我们引入了Hopf π-代数上的模的Doi-Hopf π-概念.得到了偏Doi-Hopf π-模范畴上的忘却函子可分的充要条件,其中忘却函子忘却的是π-A作用.作为应用,我们证明了偏Doi-Hopf π-模范畴上的Maschke型定理.

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

主要讨论局部有限维的Hopf π-代数H上π-模余代数与π-模余理想,给出了π-H-模余代数与π-H-余模代数之间的对偶关系，得到了π-H-模余理想的一个充分必要条件．

Hopf π-余理想

设H为局部有限维的Hopf π-余代数,研究了H的π-余理想和Hopf π-余理想,分别得到了H的π-余理想和Hopf π-余理想的一些充分必要条件.

弱Hopf群余代数Kegel定理(英文)

本文研究了余三角弱Hopfπ-余代数H的左弱π-H-余模代数.通过构造左弱π-H-余模代数的导出π-σ-李代数,得到了弱Hopfπ-余代数Kegel定理,推广了文献[4]的结果.

弱Doi-Hopf群模的Maschke型定理

设π为一个群,讨论了弱Doi-Hopfπ-模的半单性或可约性.设(H,A,C)是一个弱Doi-Hopfπ-数据,利用忘却函子将Doi-Hopfπ-模范畴π-CUA中的对象映为右A-模范畴MA中对象,通过对MA中可分单同态进行变形,建立了Doi-Hopfπ-数据积分概念.借助此积分,证明了弱Doi-Hopfπ-模的Mas-chke型定理,推广了一些文献的结果.

弱Hopf群余代数的Morita关系(英文)

弱Hopf群余代数是弱Hopf代数和Hopf群余代数的自然推广.设π是一个群,在弱Hopfπ-余代数前提下考虑Morita关系,设H是有限型弱Hopf群余代数,A是弱右π-H-余模代数,构造了弱smash积A#H*和余不动点AcoH的Morita关系.这一结果推广了Wang发表于2006年的Morita contexts,π-Galois extensions for Hopf π-coalgebras一文中的结论.此结果对于构造弱π-Galois扩张是非常重要的.

π-H-余模代数与π-H-余模子代数

研究了π-H-余模子代数的相关性质.借助对偶原理证明了M是π-H-余模代数A的π-H-余模子代数当且仅当M⊥是π-H-模余代数A*的π-H*-模余理想.

Hopf群代数上的交叉积

首先给出了Hopf群代数的群交叉积定义,并给出了群交叉积是群代数的充分必要条件.引入了Hopf群代数的cleft扩张理论,并证明了Hopf群代数的交叉积与cleft扩张等价.然后,给出了2个Hopf群交叉积等价的充分必要条件.最后,结合Hopf群交叉积与cleft扩张的等价理论得到,群文叉积一般由2-余循环构造,作为代数同构于带有卷积可逆映射的2-余循环的群交叉积.一般2-余循环的余单位性质等价于带有卷积可逆映射的2-余循环余单位性质,通常意义下的2-余循环和弱作用结合条件等价于带有卷积可逆映射的2-余循环及其弱作用结合条件;同时得到,由一般2-余循环构造的Hopfπ-交叉积代数同构于带有卷积可逆映射的2-余循环构造的Hopfπ-交叉积代数.

π-H-模余代数的Morita-Takeuchi关系

设π为有限群,H为有限型Hopfπ-余代数,C为左π-H-模余代数.利用π-余积分诱导出C的右π-H-余模结构,并构造了π-分次余代数C×H;再由C的右π-H-余模结构诱导出C的左H*-模结构;最后利用π-群象元素和π-积分建立了C×H与C=C/(H*+.C)之间的Morita-Takeuchi关系.

单侧π-理想

设H为局部有限维Hopfπ-代数,证明了H的对偶空间H0是Hopfπ-余代数.在此基础之上,讨论了局部有限维Hopfπ-代数H的单侧π-理想与局部有限维Hopfπ-余代数H0的单侧π-余理想之间的对偶关系.

Hopf π-余模余代数的对偶

给出了π-H-余模余代数和π-珟H-模代数的定义。证明了局部有限维的π-H-余模余代数的对偶是一个π-H*-模代数。

Hopf π-代数与π-子代数

主要讨论局部有限维的Hopf π-代数的π-子代数与Hopf π-子代数,分别得到了Hopf π-代数的π-子代数和Hopf π-子代数的一些充分必要条件.

π-模代数的π-模理想

讨论局部有限维的Hopfπ-代数上π-模代数的π-模理想.先引进模(右)理想的概念,然后给出π-模(右)理想的等价条件.

构造新的辫子交叉范畴

设π是一个群,首先引入弱α-Yetter-Drinfeld模的概念,然后证明范畴WYD(H)π={HWYDHα}α∈π构成一个辫子交叉范畴.特别的,如果H是一个有限型π-三角弱Hopfπ-余代数,则可得一个对称的辫子交叉子范畴WYD(H)π.其次,如果H是一个有限型弱交叉Hopfπ-余代数,则可得WYD(H)π和拟三角弱Hopfπ-余代数D(H)的表示范畴是同构的.

广义Lie代数的Kegel定理

设π是一个群,(H,σ)是一个余三角Hopfπ-余代数,在π-H-余模范畴中构造了一类广义Lie代数,并且得到了经典的Kegel定理。