弱π-缠绕模的Maschke型定理

通过引入弱π-缠绕结构(A,C)π-ψ的正规化积分概念,证明了弱π-缠绕模的Maschke型定理:给定一个弱π-缠绕结构(A,C)π-ψ,假设存在正规化积分θ={θa:Ca→Hom(Ca-1,Aa)}α∈π,对于任意的f={fα:Mα→Nα}α∈π∈Uπ-CA(ψ),则当单(满)态射fe视为Ae-模态射可分裂时,必有单(满)态射f={fα:Mα→Nα}α∈π在Uπ-CA(ψ)中可分裂.

群缠绕模范畴的可分函子

设π是1个群.在Hopfπ-代数情形下,π-缠绕结构和π-缠绕模的概念被引入,并得到了π-缠绕模范畴上的忘却函子可分的充要条件,其中忘却函子忘却的是π-模作用.最后,作为应用证明了π-缠绕模的Maschke-type定理.