半群分次环上的Morita对偶.pdfVIP

河北师范大学硕士研究生学位论文 李艳梅4 gr—linearlycon：pact have Theoremin discrete(gr-1．C．d．)，weproved Density semigroup a V is gradedmodule，andequivalence：for gain s∈S，sC2A gr— ifand ifforV discrete injectiononly a∈n，兄Q口is gr-linearly compact (gr-I．cd．) 河北师范大学硕士研究生学位论文 季艳梅5 引言 Morita对偶这个概念无论在模理论还是在群分次模理论中都有着非常 重要的作用．本篇文章的目的是把这一概念推广到有单位元的半群分次模领域 中，并给出一些相关的结论． 首先，类似于11]给出如下定义 令R(或A)为S一分次(或Q一分次)环，其中S，n为有单位元的半群 一个半群双分次R—A一双模是指：Q是R—A一双模且是S—Q～双 分次的， Q2 sQa，其中{。QaI s∈s，口∈Q)为国的子加群簇，且 Q 口En 吼·tQ，·A，∈“Q，，，Vs，t∈只仃，7_∈n． 口∈n M+为Q一分次右A一模，记作协(尬Q)．那么由对应： M_÷Hn(M，0)， 产生函子‰(一，Q)：(冗，s)一gr_+卯一(A，Q)；同理有函子现(一，Q) 目r一(A，Q)-÷(R，S)一gr． 在[2】中，作者证明了。P=R1，。一-为(R，S)一gr的有限生成投射生成子． 类似于此证明方法我们有q。=1。一-。A为舻一(A，n)的有限生成投射生成子 综合上述三个定义，对于(R，S)一gr和gr一(A，Q)这两个范畴之间的全子 范畴c，D，若(只F’)为它们的对偶函子，且Vs∈S有sP∈e，那么存在一个双 分次R～A一双模aQA，使得F’笺巩(一，Q)．由此引出半群分次模上的Morita 河北师范大学硕士研究生学位论文 李艳梅6 对偶：半群双分次兄一A一双模Q是分次Morita对偶的，当且仅当RQ^是分 次一忠实一平衡的，且Ref(1iQ)，Ref(QA)在分次子模和分次商模下是封闭的 对于分次线性离散紧的定义，许多文章都有描述(见[1】【6][7】)，虽然略有 差别，但是当所讨论的环有单位元时，他们的定义就一致了．第四部分主要证 明了半群双分次双模上的密度定理，并得到了一个等价条件 §1基础知识 设S为有单位元的半群，R=0R。，{R。I8∈s)为R的子加群簇，若对 sES Vs，t∈S，有兄。R￡见￡，则称R为舅分次环． 设S，Q均为有单位元的半群，R为S一分次环，A为Q一分次环，称Q 为s—Q一双分次冗一