共查询到20条相似文献，搜索用时 328 毫秒
1.
设是强G—群分次环,H≤G是子群:本文先构造了分次左R~(H)模范畴R~(H)-gr_H到分次左R模范畴R—gr的诱导函子Ind_H~G(-),证明了Ind_H~G(-)与限制函子(-)_H互为可逆函子,最后我们利用Ind_H~G(-)得到了群分次环论中一般的frobeniuse反演定理。 相似文献
2.
利用范畴论中范畴与函子的概念,定义了动力系统范畴T到包络半群范畴E的共变函子F1及范畴丁到范畴E＊的反变函子F2,并分别讨论了范畴丁中乘积系统的包络半群与范畴E中包络半群直积的一致性及范畴T中逆极限系统的包络半群与范畴E中包络半群逆极限的一致性． 相似文献
3.
4.
本文讨论了群关于其子群的相对同调的函子性质,运用同调代数的办法,证明了它满足同调理论的四条公理。从而使相对同调理论成为一个完整的理论体系。 相似文献
5.
6.
本文讨论了S—系范畴函子Z(— )的正合性 ,证明了函子Z(— )是左正合的 ,且给出了它是正合的一个充要条件 相似文献
7.
交换代数学的对象是交换环及其上的模,其叙述方式有两种.一种是用经典语言,优点是内容较为具体和丰富,这方面早已有标准的教科书(如Bourbaki的)出版,另一种是用函子语言,优点是更为一般和漂亮。作者尝试用后一方式的框架来研究交换代数,本文是其第Ⅲ部分,给出了与函子相关的几个概念,目的是以后引进和研究概型(交换环的用函子语言的对应概念) 相似文献
8.
本文引入CKBS范畴的对偶范畴(CDBS-).并证明两个函子T1、T2与函子T之间的自然等价关系. 相似文献
9.
引入几个偏序范畴的相关概念,如链、偏序范畴之间的函子的矩阵表示等。首先解决了两个n秩偏序范畴之间函子的矩阵表示的存在性问题,其次给出了D4型Dynkin图作为偏序范畴上所有自函子的矩阵刻画。 相似文献
10.
11.
要：讨论S-系范畴函子Z(-)的正合性,证明函子Z(-)是左正合的,且给出它是正合的一个充要条件． 相似文献
12.
13.
证明了k上G-分次范畴的函子范畴仍是k上G-分次范畴.并在此基础上,考虑k上G-分次范畴的冲积范畴与函子范畴的关系,证明了(D#G)C≌DC#G. 相似文献
14.
斯多葛学派是古希腊的一个哲学学派,他们的前驱是麦加拉学派。命题逻辑是斯多葛逻辑的精华所在。斯多葛在亚里士多德的基础上,对命题理论的研究又有了新的突破,探讨了命题函子及命题函子的可互定义性。 相似文献
15.
设C、D是范畴,F：C→D,G：D→C是共变函子,且（F,G）是一个伴随函子对．对于C中任意给定的对象C．主要研究Comma范畴G^C与F^F（C）之间的关系． 相似文献
16.
17.
令A=Z[ν]m,其中m是ν-1和某奇素数p生成的理想,ν是未定元.A′=Q（ν）是a的分式域,（aij）nxn是对称Cartan矩阵,令U′是A′上相伴于对称Cartan矩阵（aij）nxn的量子代数.U是U′的由Ei（N）,Fi（N）,Ki,Ki-1（i=1,2,…,N≥0）生成的A子代数,则U是A-Hopf代数.本文讨论了U中函子D（—）的系数扩张的若干性质,即对A代数Γ,如上函子的基环从A扩张到Γ时,函子Dr（—）具有的性质. 相似文献
18.
19.
设ΛT是偏倾斜模,Γ=EndΛT,本注记给出了HomΛ(T,-)是Fae(T)到malΓ的可逆函子的一些等价条件。 相似文献