关于扩张闭的特殊的子模范畴.pdfVIP

第9卷 第 10期 2009年5月 科 学 技 术 与 工 程 Vo1．9 No．10 May2009 ScienceTechnologyandEngineering @ 2009 Sci．Tech．Engng． 1671—1819(2009)10—2705-02 关于扩张闭的特殊的子模范畴 尚 云 (青岛科技大学数理学院，青岛266061) 摘 要 定义了一类特殊的子范畴仃[肘]，并给出了仃[]关于扩张闭的条件。 关键词 Grothendieck范畴 余生成 扩张内射模 中图法分类号 0153．3； 文献标志码 A 设 c定义为局部有限的Grothendieck范畴，即 即对任意7r[M]中满足Cokerp∈Cog(U)的单射 cocompleteabelian范畴且有正合的正向极限和有限 P：Ⅳ ￡，∈7r[]，任意f：N P，存在9：z p 生成对象的生成集。 是含 幺结合环，R—Mod是左 满足 =qP，Cokerp∈Cog(U)和N∈7r[ ]。u称为 ． 模范畴，R—mod是有限生成的 一模满子范畴。设 self-扩张内射模，若它是R—mod中 扩张内射模。 N，Q∈C，则称Ⅳ是Q一余生成的，若存在嵌入Ⅳ一 定理 1 设C是子范畴且满足同态的直积是满 Q ；称为Ⅳ是 Q一余表示的，若存在正合列 射，M∈C。设 U，P∈ ]，则 0一 JJv— QA— Q ，A，A为基数 (1) 扩张内射模的直积和直和项也是 ] 记Cog(Q)和Cop(Q)分别为 c得包含Q一余生成和 中的 扩张内射模 ； Q一余表示模的子范畴。 (2)sefl-扩张内射模 的直积也是 ]中的 定义1_】 对任意MeC，定义仃[]是c得满子 serf-扩张内射模； (3)P是 扩张内射膜当且仅当每个 ]中 范畴，其对象为 余生成对象的商对象。由定义可得 add(M)cProd(M)cCop(M)C7r[M]cC 的满足 Cokerp∈Cog( )的正合列0 P 易得7r[ ]关于直和，商对象和子对象闭，因此是c — K一 0可列 的。即对任意的K∈Cog(￡，)， 得(局部)Grothendieck范畴。称 是C的弱子生成 Ext(K，P)=o(在 7r[ ]中)。 子，若7r[M]=C。 证明：(1)设P是 ]中的 扩张内射模，则 定义 22【 设 Q是R一模 ，h： Ⅳ是 R—Mod 由(1)，仃[ ]关于直积闭，则对任意的，，P ∈7r 的单射。Q称为对应于h的pseudo．内射模，若对任 []，对7r[ ]中正合列0一 Ⅳ一 一 K一 意的非零 ： 一 Q，存在 s∈End(Q)和g：N 0，其中Cokerp∈Cog(U)，N，L∈ ]：N— }P， — Q满足f5=hg≠0 设 g：P一 P是投射映射。 定义3 设 是 一模，U，P∈7r[M]。P称为 0 Ⅳ — } K — } 0 7r[M]中的 扩张内射模，若P是对应于7r[ ]中 上厂 l 所有满足 Cokerp∈Cog( )的单射P：N— 的 P = P pseudo一内射模。