一类对称范畴上的Hom-Hopf模

设L是一个余三角Hopf代数.通过余模范畴LM中Hom-Hopf代数的概念,证明了Hom-Hopf代数的对偶也是LM中的Hom-Hopf代数.进一步给出了范畴LM中Hom-Hopf模的余不变子空间的定义并得到LM中的Hom-Hopf模基本定理.     

偏Doi-Hopf模的Maschke型定理

通过引入偏Doi-Hopf模积分映射的概念, 证明了经典表示理论中的Maschke型定理在偏Doi Hopf模条件下仍成立, 即如果(H,A,C)是带有正规积分映射的偏Doi-Hopf数据, 映射f: M→N是偏Doi Hopf模同态, 则只要f作为右A 模映射存在截面映射（收缩映射）, 则f作为偏Doi-Hopf模映射也存在截面映射（收缩映射）.     

偏Doi-Hopf π-模范畴和函子

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

弱Doi-Hopf群模的Maschke型定理

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

偏缠绕模的Maschke型定理

设(A,C,ψ),(A′,C′,ψ′)为两偏缠绕结构,给定α:A→A′和γ:C→C′.引入两个偏缠绕模范畴M(ψ)_A~C和M(ψ′)_A′~C′的导出函子F,并证明此导出函子F有右伴随函子:G:M(ψ′)_A′~C′→M(ψ)_A~C.最后,引入偏正规化余积分θ:C→AA的概念并证明了偏缠绕模范畴的Maschke型定理,也就是说,假设存在偏正规化余积分,给定M_A~C(ψ)中态射f:M→N,则有当单(满)态射f看作C-余模态射可分裂时,必有单(满)态射f在M_A~C(ψ)中可分裂.     

拟三角Hopf代数上的辫子Doi-Hopf模的广义积分和Maschke型定理(英文)

1997年Caenepeel,Militaru和Zhu[1]证明了Doi Hopf模的Maschke型定理 ,在这篇文章中 ,我们引进了辫子Doi Hopf模 ,证明了类似的Maschke型定理     

张量型Hom-Hopf代数的余ribbon元

定义并讨论张量型Hom-Hopf代数的广义Hom余模范畴, 利用Tannaka型对偶方法, 刻画其刚性结构与平衡结构, 进一步给出其为ribbon范畴的等价条件, 并引入余ribbon元的定义.     

Hopf π-余代数上Doi-Hopf模的Maschke型定理

带有Doi-Hopf π-数据(H,A,C)的Doi-Hopf模作为Hopf π-余模与Doi-Hopf模概念的推广由王栓宏引进.本文证明了Doi-Hopf π-模上的Maschke型定理.Maschke型定理成立的一个充分条件是:针对讨论的Doi-Hopf π-数据(H,A,C)存在规范π-积分.     

弱缠绕模范畴的可分函子

设(A,C)ψ为一个弱缠绕结构.利用Rafael定理,讨论了从弱缠绕模范畴UAC(ψ)到右A-模范畴MA忘却函子F的可分性,证明了忘却函子F是可分的当且仅当存在一个正规化积分θ:CC→A.     

模糊模范畴中的余极限

运用模糊集的方法和原理, 给出模糊模范畴中余极限的有点式和无点式刻画. 首先, 通过引入模糊模范畴中余积的结构性定理, 得到模糊模范畴中余极限的存在性、 唯一性和结构性定理; 其次, 构造J型图范畴到模糊模范畴上的常量系统函子, 并证明余极限函子与常量系统函子的伴随性; 最后, 根据Hom函子及张量积函子的伴随同构关系, 讨论模糊模范畴中极限与余极限的关系.     

Turaev辫子群范畴和Doi-Hopf模

设G是一个群.利用Turaev辫子群范畴的性质,在Doi-Hopf数据(H,A,C)上构造一个Turaev辫子G-范畴,其中H,A,C是Hopf代数.进一步,当C为有限维时,在一簇Smash积代数{A#~HC~*(α)}_(α∈G)上构造一个拟三角Turaev G-余代数A#~HC~*,其表示范畴与_AM~C(H)是同构的.     

有限群稳定模范畴的Bousfield等价

考虑有限群稳定模范畴的Bousfield等价关系, 证明了若H是G的强p 嵌入子群, 则两个有限生成不可分解kG 模(kH 模)是Bousfield等价的当且仅当其Green对应是Bousfield等价的, 且Green对应诱导了Stmod(kG)的全体Bousfield等价类与Stmod(kH)的全体Bousfield等价类之间的一一对应.     

关于H-Hopf模代数

本文引进了Ｈ－Ｈｏｐｆ模代数．对可换Ｈｏｐｆ代数Ｈ,证明了Ｈ－Ｈｏｐｆ模代数范畴等价于含单位元的代数范畴;并对一个交换的Ｈ－Ｈｏｐｆ模代数Ａ,有：如果β：ＡＡ０Ａ→ＡＨ为满射（这里β（ａｂ）＝Σａｂ（０）ｂ（１））,则Ａ为忠实平坦的Ａ０一模,且β为Ｈ－Ｈｏｐｆ模代数同构．     

Hom Jordan李代数的T*扩张

通过Hom-Jordan李代数L的迷向Hom-理想J, 得到L中存在包含J的极大迷向Hom-理想I, 并得到L等距同构于L/I的某个T* 扩张或某 个T* 扩张非退化的余维数为1的Hom-理想, 进而给出Hom-Jordan李代数L的结构特征.     

Cleft扩张下的余纯投射维数

令H为有限维Hopf代数且A为固定域k上的代数, AB为H-cleft扩张. 利用cleft扩张和交叉积间的关系, 证明了当H半单时, 在cleft扩张下左余纯投射维数是不变的, 并给出了\%A与B\%的QF性质.     

弱Hopf Galois扩张的Cotorsion维数

考虑在Ext群上构造Grothendieck谱序列揭示弱Hopf Galois扩张的cotorsion维数. 设H为有限维弱Hopf代数, A/B为弱H-Galois扩张, 给出A,B的左cotorsion维数与H的右整体维数之间的关系, 并讨论当B为可换的或H*为半单时, A,B的左cotorsion维数的性质.     

方向保序变换半群K(n,r)的极大正则子半群

设OP_n是［n］上的方向保序变换半群. 对任意的2≤r≤n-1, 研究半群K(n,r)={α∈OP_n: | Im(α) |≤r}极大正则子半群的结构, 利用Miller-Clifford定理, 证明了半群K(n,r)的极大正则子半群有且仅有两类： M(α)=K(n,r-1)∪(J_r＼R_α), α∈J_r; N(α)=K(n,r-1)∪(J_r＼L_α), α∈J_r, 其中: J_r={α∈OP_n: | Im(α) |=r}; R_α和L_α分别表示α所在R-类和L-类.     

Hom-Yetter-Drinfeld模范畴的半单性

设k是域,(H,α)是带有双射对极的monoidal Hom-Hopf代数, 如果(H,α)是交换的, 诺特的, 半单和余半单, 则Hom-Yetter-Drinfeld模范畴_HHYD ^H是半单的。也就是说设(H,α)是交换的monoidal Hom-Hopf代数。 假设_HHYD ^H 满足某一条件, 并且函子(-)^coH:_HHYD ^H→H(M_k)是正合的。 如果(M, μ)∈_HHYD ^H 作为左(H,α)-模是有限生成的, 则(M,μ)∈_HHYD ^H 保持对象。