拉回环确定的模范畴.pdfVIP

第28卷第5期 闽江学院学报 ¨．28No-5 0F UNIVERSmr 0ct．20昕 2007年lO月 JOURN^LM1NJIANC 拉回环确定的模范畴 王明锋1，陈翔2 (1．福建工程学院敷理系，福建福州350014；2．阐=；【学院敷学系，福建福州3501伽) 竹：，2G2—+EG。，一：口。Pl—+口2P2，进而得到范畴等价劳讧旃，接着甘论拉回环构造模范畴． 关键词：挠理论；拉回环；范畴等价 中图分类号：0153．3 文献标识码：^ moduIesc0砸”咐ted T№∞tegOrj髑0f bypuIIbackri呜 wANG Ming—fen91，cHENxiarlgz (1．A卿碰旷舭md如∞dJR咖洒，脚‰蚵矿7kchofDgy，nB概，脚350014，吼妇m； 2APa咖础幡旷胁而删曲b，肺岫缅fE脑W曙时，凡小姐，脚3501惦，c岫Ⅺ) tIIe Abst髓ct：By缸dy provingi舢rphi蛐ofE(_】If)锄dAⅡ，(‘)，E(以)蚰dAnn～．(厶一；)，P。(jIf) prov∞the and and胍／，I肘，q(ⅣI)∞dⅣl／‘一。Ⅳ1．Iti∞morphi∞ofB岛∞dnCl，QlPlQ2只．And 碍盯hestlIe serveBi协6naldi$cu够i∞∞tlle is叫noIPhi哪of碧％md蒯，which ca把学ofies cate学ori曲of 刊ule8corlg砸Jcted bypuⅡbackrin昏 words：t0硌ion Key theory；pullb北kIi“g；ca把g。ries‰唧hism 设R是有单位元的结合环，在不特别指明情况下的模都是左置一模，R—Mod表示左R一模范畴．中的模 类都假定同构封闭．文中使用的其他概念与记号可参见文献[1—4】． 定义1”’设^：舾。一．!If，五：幔一J】lf是左R一模范畴冠一Mod中两个同态， P璺-M． 如交换图l称为∽，五)的拉回，如果对任意同态 91：工一喝，92：盖一鸩使正自=^92 吐■ 都存在唯一的同态g：盖一P使得p，g=gl，p：g=＆ 拉回图是由同态对∽，五)唯一确定的，即如果同态p：：尸，一舾。，p’：：P， 一^如，使得^p：=五p：，则存在同构^：P，一P使得pI^=p：。p：^=p：．于是 同构意义下，尸={(m1，啦)lm．E肼，，啦∈鸩并且^(m，)=五(％)}，而p，： 醅』-Ml P一幔：(ml，m：)一m1．p2：P一忱：(ml。％)一，，12是自然的投影同态． 作为对偶概念，有下面的推出： 吐』1 定义2”1设g，：盯一M，92：肼一鸩是左R一模范畴置一Mod中两个同 态，如交换图2称为(占，，g：)的推出，如果对任意同态 U：肘l-+y，五：幔_+l，使^gl=^92) 收稿日期：2007—05—21 作者简