群上环上可分函子若干性质的分析.pdfVIP

曲阜师范大学硕士学位论文原创性说明 本人郑重声明：此处所提交的硕士论文《群上环上可分函子若干性质的研究》，是本 人在导师指导下，在曲阜师范大学攻读硕士学位期间独立进行研究工作所取得的成果．论 文中除注明部分外不包含他人已经发表或撰写的研究成果．对本文的研究工作做出重要贡 献的个人和集体，均已在文中已明确的方式注明．本声明的法律结果将完全由本人承担． 作者躲寺舷日期．舢·艿 曲阜师范大学硕士学位论文使用授权书 《群上环上可分函子若干性质的研究》系本人在曲阜师范大学攻读硕士学位期间， 在导师指导下完成的硕士学位论文．本论文的研究成果归曲阜师范大学所有，本论文的研 究内容不得以其他单位的名义发表．本人完全了解曲阜师范大学关于保存、使用学位论文 的规定，同意学校保留并向有关部门送交论文的复印件和电子版本，允许论文被查阅和借 阅．本人授权曲阜师范大学，可以采用影印或其他复制手段保存论文，可以公开发表论文 的全部或部分内容． 作者签名寸硒日期．郦～Qs 导师签名：匀叛Q 日期： z价这．‘ 第一章 绪论 Bourbaki定理的半对偶性证明．从上世纪七十年代后期到九十年代上环没有得到根本 性的发展，直到上世纪末期M．Takeuchi在揭示了代数与余代数之间的相容条件即缠 绕理论可以由上环重新解释． 新例子以及上环的一般性质，此后关于上环理论引起许多环论学者的重视． 2007年， 种不同形式的余模，这两种余模范畴中有一对伴随函子，且介绍了一类重要的群上环一 余自由群上环．本文的主要目的是将上环理论中可分函子的性质推广到群上环上． 函子一@AC可分的问题．在本文中，我们构造了从堡一余模到右A一模范畴的忘却 o MAM￡，并研究了可分的问 函子和它的诱导函子F=0Q∈G％(一oA巳)： 题．主要结果如下： 定理4．2 当群上环堡是余自由且G是有限时，在范畴M￡及范畴MA之间存在 伴随对(只，G4)。 其中e(qe)=1． 定理4．8G—A一上环是群自由的，且G是有限群． ino％o Ae，e)=E，且 ce)，A)，使得7_o(∑Q∈G c(1，e)·丁(曰兮／]a(C(2，e)。Ac，))=r(曰B％(coA《1，e)))·《2，e)．‘ 并在第三章中构造了双余模和群上环的张量积，并指出双余模实际上是余模． 在整篇文章中，我们采用如下符号．对于范畴中对象A彳，A万记为A万上的恒等映 射．设G是群，M是(右)一A模．我们经常需要指标集为G的且同构于M的右A一 模的集族，我们将认为这些模是同构的，但是独立的．设M×{Q}是有指标Q的模，有 同构： p口：M寸M 可以被认为是一个哑变量．我们也经常用符号u，，y，…，而是用M将M与M×{e} 等同起来． 1 第二章预备知识 本章主要概述了有关群上环的一些基本概念，性质及其基本定理，对本文的写作起 到了至关重要的作用． §2．1群上环和余模 定义2．1．1设G是群，A是有单位元的环， G中单位元记为e．一个G一 映射 △口，口：巳p-4厶0A Cz； ￡：巳_A， 使得 oA (Aa,Zq)o△a声，7=(eaoA△卢，，y)o△。，所， (1) (CQoA￡)o△Q，e=厶=(￡@A