关于模范畴的商范畴与局部化-山东大学学报理学版.pdfVIP

　第４８卷　第４期 山　东　大　学　学　报　（理　学　版） ２０１３年４月　 　 　 　 　 　 　Ｖｏｌ．４８　 Ｎｏ．４　 　 　 　 　 ＪｏｕｒｎａｌｏｆＳｈａｎｄｏｎｇＵｎｉｖｅｒｓｉｔｙ（ＮａｔｕｒａｌＳｃｉｅｎｃｅ） Ａｐｒ．２０１３　 　文章编号：１６７１９３５２（２０１３）０４００４６０５　　　ＤＯＩ：１０．６０４０／ｊ．ｉｓｓｎ．１６７１９３５２．０．２０１２．１１０ 关于模范畴的商范畴与局部化 １ ２ 许庆兵 ，陈华喜 （１．滁州职业技术学院基础部，安徽 滁州２３９０００；２．蚌埠学院数理系，安徽 蚌埠２３３０３０） 摘要：通过构造范畴等价函子，证明了由正向极限定义的模范畴的商范畴与用分式等价类构成的局部化范畴是等 价的。应用该方法，证明了Ａｂｅｌ范畴与三角范畴中的相关结论。 关键词：商范畴；局部化；分式 中图分类号：Ｏ１５３３　　　文献标志码：Ａ ＯｎｔｈｅｑｕｏｔｉｅｎｔｃａｔｅｇｏｒｙａｎｄｌｏｃａｌｉｚａｔｉｏｎｏｆａｎＲｍｏｄｕｌｅＣａｔｅｇｏｒｙ １ ２ ＸＵＱｉｎｇｂｉｎｇ，ＣＨＥＮＨｕａｘｉ （１．ＢａｓｉｃＤｅｐａｒｔｍｅｎｔ，ＣｈｕｚｈｏｕＶｏｃａｔｉｏｎａｌａｎｄＴｅｃｈｎｉｃａｌＣｏｌｌｅｇｅ，Ｃｈｕｚｈｏｕ２３９０００，Ａｎｈｕｉ，Ｃｈｉｎａ； ２．ＭａｔｈｅｍａｔｉｃｓａｎｄＰｈｙｓｉｃｓＤｅｐａｒｔｍｅｎｔ，ＢｅｎｇｂｕＣｏｌｌｅｇｅ，Ｂｅｎｇｂｕ２３３０３０，Ａｎｈｕｉ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：ＴｈｅｑｕｏｔｉｅｎｔｃａｔｅｇｏｒｙｏｆａｎＲｍｏｄｕｌｅｃａｔｅｇｏｒｙｗｈｉｃｈｉｓｄｅｆｉｎｅｄｂｙｔｈｅｄｉｒｅｃｔｅｄｌｉｍｉｔａｎｄｉｔｓｌｏｃａｌｉｚａｔｉｏｎ ｗｈｉｃｈｉｓｇｉｖｅｎｂｙｔｈｅｅｑｕｉｖａｌｅｎｔｃｌａｓｓｅｓｏｆｔｈｅｒｏｏｆｓａｒｅｐｒｏｖｅｄｔｏｂｅｅｑｕｉｖａｌｅｎｔ．ＦｏｒｔｈｅＡｂｅｌｃａｔｅｇｏｒｙａｎｄｔｒｉａｎｇｕｌａｔｅｄ ｃａｔｅｇｏｒｙ，ｔｈｅｓｉｍｉｌａｒｒｅｓｕｌｔｓａｒｅｏｂｔａｉｎｅｄ． Ｋｅｙｗｏｒｄｓ：ｑｕｏｔｉｅｎｔｃａｔｅｇｏｒｙ；ｌｏｃａｌｉｚａｔｉｏｎ；ｒｏｏｆ １　引言与预备知识 局部化方法是代数学，特别是交换代数学中的一个很重要的研究工具。近年来，局部化方法在代数表示 ［１４］ 论中也有重要的应用 ，比如Ａｂｅｌ范畴上的导出范畴就是通过拟同构的乘法系进行的局部化范畴。为方 便读者，下面给出与本文相关的预备知识。 设Ｓ是Ａｂｅｌ范畴Ａ 的满子范畴，称Ｓ是Ａ 的Ｓｅｒｒｅ类，对Ａ 中任意短正合列０ Ａ Ｂ → → → Ｃ ０，若Ｂ Ｓ，当且仅当Ａ，Ｃ Ｓ。即Ｓ取子对象、商对象和扩张封闭。设Ｍ ，Ｎ 分别是Ａ 中对象Ｍ， → ∈ ∈ １ １ Ｎ的子对象，且Ｍ／Ｍ Ｓ，Ｎ Ｓ，Ｉ是有序对〈Ｍ ，Ｎ〉构成的类，Ｉ的偏序关系“ ”为： １∈ １∈ １ １  〈Ｍ ，Ｎ〉 〈Ｍ ，Ｎ〉 Ｍ Ｍ ，Ｎ Ｎ，    