共查询到20条相似文献,搜索用时 15 毫秒
1.
设π是1个群.在Hopfπ-代数情形下,π-缠绕结构和π-缠绕模的概念被引入,并得到了π-缠绕模范畴上的忘却函子可分的充要条件,其中忘却函子忘却的是π-模作用.最后,作为应用证明了π-缠绕模的Maschke-type定理. 相似文献
2.
设π是1个群.在Hopfπ-代数情形下,π-缠绕结构和π-缠绕模的概念被引入,并得到了π-缠绕模范畴上的忘却函子可分的充要条件,其中忘却函子忘却的是π-模作用.最后,作为应用证明了π-缠绕模的Maschke-type定理. 相似文献
3.
4.
潘福铮 《湖北大学学报(自然科学版)》1997,19(4):307-310
提出了一类赋值模范畴中引入正合列的概念及其可分性性质,得到了Hom函子的存在性与可分性的关系,从而建立了一类赋值模范畴中的同调代数基础结构的框架之一。 相似文献
5.
6.
设C为小范畴,D为预加法范畴,根据范畴D上自加法函子F,定义函子范畴F上自加法函子f,并给出一族范畴同构(D∝F)C≌D∝F 相似文献
7.
通过引入弱π 缠绕结构(A,C)π-ψ的正规化积分概念, 证明了弱π 缠绕模的Maschke型定理: 给定一个弱π 缠绕结构(A,C)π-ψ, 假设存在正规化积分θ={θα: Cα→Hom(Cα-1,Aα)}α∈π,对于任意的f={fα: Mα→Nα}α∈π∈Uπ-CA(ψ), 则当单(满)态射fe视为Ae 模态射可分裂时, 必有单(满)态射f={fα: Mα→Nα}α∈π在Uπ-CA(ψ)中可分裂. 相似文献
8.
9.
《河南师范大学学报(自然科学版)》2016,(2):29-33
设(A,C,ψ),(A′,C′,ψ′)为两偏缠绕结构,给定α:A→A′和γ:C→C′.引入两个偏缠绕模范畴M(ψ)_A~C和M(ψ′)_A′~C′的导出函子F,并证明此导出函子F有右伴随函子:G:M(ψ′)_A′~C′→M(ψ)_A~C.最后,引入偏正规化余积分θ:C→AA的概念并证明了偏缠绕模范畴的Maschke型定理,也就是说,假设存在偏正规化余积分,给定M_A~C(ψ)中态射f:M→N,则有当单(满)态射f看作C-余模态射可分裂时,必有单(满)态射f在M_A~C(ψ)中可分裂. 相似文献
10.
郭广泉 《河南师范大学学报(自然科学版)》2007,35(2):20-22
令A和B是有单位元的结合环,考虑双模Λ∈BMA、X∈AMB和函子F=ΛA-:AM→BM,G=X B-:BM→AM.研究了模范畴中函子的左拟相伴函子,给出了F是G的左拟相伴函子的几个等价条件. 相似文献
11.
12.
格序模f-张量积函子的正合性与平坦格序模 总被引:1,自引:0,他引:1
周伟 《四川师范大学学报(自然科学版)》1992,(3)
本文证明了如下结果:设M是有单位元可换格序环R上的格序模和l-模同态范畴,F是R上的f-模和l-模同态范畴,M∈M,则F=M(?)()是M 到F 的共变函子,进而是右正合函子.设R 是有单位元的可换全序环,视R 为自身上的格序模,则R 是平坦的. 相似文献
13.
设C是小范畴,则范畴D中的本质(多余)子对象构造出函子范畴DC中相应的本质(多余)子对象。反之,设F,G是函子范畴DC中的两个常值函子,若F是G的一个本质(多余)子对象,则对任意x∈obC,在范畴D中有F(x)是G(x)的一个本质(多余)子对象。 相似文献
14.
李尚莹 《西华师范大学学报(哲学社会科学版)》1993,14(4):362-365
设 A 是 Abelian 格序群,B 是 Abelian 全序群,本文证明了 Hom(A,B)是 Abelian 全序群,Hom(A,·)是 Abelian 全序群及其保序同态的范畴(?)到自身的共变函子,同时在全序模及其保序同态的范畴上得到了类似的结果. 相似文献
15.
引入强可分算子与弱可分算子的概念。称具有形式T=AB的算子T为可分算子;称T为强可分算子,若T可以将所有向量映成可分向量;称可分算子T为弱可分算子,若Tx是可分向量意味着x∈C~n是可分向量。首先给出了当C~nC~n{0}中可分向量的有限和仍是可分向量时,对应分量组成的向量组秩的刻画。其次分别得到了C~2C~2上的可分算子是强可分的和弱可分的刻画,并分别证明了两个可分算子的和是强可分算子和弱可分算子的充分必要条件。 相似文献
16.
方小利 《南京大学学报(自然科学版)》2010,27(1):57-74
作为弱缠绕结构的自然推广,我们引进了(广义)弱群缠绕结构的概念,并通过弱Hopf群余代数构造了一些例子.进一步,通过弱Hopf群余代数也构造了可逆弱群缠绕结构的例子.在这篇文章中,我们还用群余环解释这些概念的重要性. 相似文献
17.
引入态射为zadeh型映射的L子集范畴中zadeh型定向函子与逆向函子的概念,证明它们是一对伴随函子.进一步引入态射为双诱导型映射的L子集范畴中双诱导型定向函子与逆向函子的概念,并证明它们也构成一对伴随函子. 相似文献
19.
张亮 《苏州大学学报(医学版)》2009,25(4):32-35
设(R,m)是Noether局部环,是交换的且有单位元.若模M满足:(i)Supp(M)包涵于V(a),(ii)Ext^iR(R/a,M)是弱Laskerian的,对所有i≥0,则称M是a-weakly cofin ite的.给出了判定一个模是a-weakly cofinite的条件,并对Ext^iR(R/a,H^ta(M))的弱Laskerian性做了讨论(i=0,1,2时). 相似文献
20.