共查询到20条相似文献,搜索用时 593 毫秒
1.
2.
3.
本文讨论了S—系范畴函子Z(— )的正合性 ,证明了函子Z(— )是左正合的 ,且给出了它是正合的一个充要条件 相似文献
4.
设是强G—群分次环,H≤G是子群:本文先构造了分次左R~(H)模范畴R~(H)-gr_H到分次左R模范畴R—gr的诱导函子Ind_H~G(-),证明了Ind_H~G(-)与限制函子(-)_H互为可逆函子,最后我们利用Ind_H~G(-)得到了群分次环论中一般的frobeniuse反演定理。 相似文献
5.
交换代数学的对象是交换环及其上的模,其叙述方式有两种.一种是用经典语言,优点是内容较为具体和丰富,这方面早已有标准的教科书(如Bourbaki的)出版,另一种是用函子语言,优点是更为一般和漂亮。作者尝试用后一方式的框架来研究交换代数,本文是其第Ⅲ部分,给出了与函子相关的几个概念,目的是以后引进和研究概型(交换环的用函子语言的对应概念) 相似文献
6.
本文运用代数语义学的基本理论给出了用于描述面向对象语言抽象语义的几个关键概念,并在此基础上给出了smalltalk的完全抽象语义模型框架。 相似文献
7.
8.
9.
12.
13.
要:讨论S-系范畴函子Z(-)的正合性,证明函子Z(-)是左正合的,且给出它是正合的一个充要条件. 相似文献
14.
本文引入CKBS范畴的对偶范畴(CDBS-).并证明两个函子T1、T2与函子T之间的自然等价关系. 相似文献
15.
以箭图Q1,Q2,Q3为例,构造有限偏序k范畴Γ1,Γ2,考虑Γ1,Γ2及函子范畴Γ1Γ2诱导的incidence代数的两个例子。 相似文献
16.
设ΛT是偏倾斜模,Γ=EndΛT,本注记给出了HomΛ(T,-)是Fae(T)到malΓ的可逆函子的一些等价条件。 相似文献
17.
18.
20.
令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(—)具有的性质. 相似文献