相对本性扩张.pdfVIP

第24卷第4期 苏 州 大 学 学 报 (自然科学版) Vo1．24 No．4 2008年 1O月 JOURNALOFSUZHOUUNIVERSITY(NATURALSCIENCEEDITION) 0ct．2oo8 相对本性扩张 李灵光 (苏州大学 数学科学学院，江苏 苏州 215006) 摘 要：设R是含幺交换环， SpecR，E是R模 ，是E的子模，对任意子模Ⅳ≤E，若满足Supp(nN)_cx， 必有SuppNC_X，则称E是M相对于 的本性扩张，记为M E．本文给出相对本性扩张的两个等价条件．若 是Noether环，则肘 E当且仅 当Mp E，VpESpecR— ；若 是饱和素理想集合 ，则还有等价条件 Home (k(p)， )=Home (k(p)，E)，Vp∈SpecR一 此外，本文还给出了相对本性扩张的一些性质． 关键词：本性扩张；相对本性扩张；Bass数 中图分类号：O211 文献标识码：A 文章编号：1000—2073(2008)04—0028—05 0 引 言 本性扩张是代数学中熟知的概念，文[1]对此予以了详细讨论，受该文一些结论的启发，在本文中作者提 出了相对本性扩张的概念．设R是含幺交换环，x SpecR，E是R模，M是E的子模，对任意子模 Ⅳ≤E，若满 足Supp(nN)_cx，必有SuppN_CX，则称E是 相对于 的本性扩张，记为M ．由定义可知，当X= 时，相对于 的本性扩张即是常见的本性扩张，此时记为 ．本文研究了相对于一般素理想集合 的本性 扩张的性质，并给出了相对本性扩张的两种等价刻画，即本文的主要结论定理2．2和定理2．7． 在本文中，环 指的是非零含 幺交换环(不一定是Noether环)． 1 相对本性扩张及其性质 定义1．1 设尺是环， SpecR，E是R模， 是 的子模，对任意子模 Ⅳ≤E，若满足Supp(MnN) ， 必有SuppN_X，则称E是 相对于 的本性扩张，记为 ． 由定义易知，相对于 的本性扩张即是常见的本性扩张． 定义1．2 设R是环，X_CSpeeR ：M—E是R模同态，若Imf~E，则称同态-厂是相对于 的本性同态，若 ．厂还是单射，则称同态．厂是相对于 的本性单同态． 命题1．3 设 是环， SpeeR，E是尺模， 是E的子模，则下列条件等价： (i) ； (ii)嵌入同态 i：』I E是相对于 的本性单同态； (iii)对任意尺模Ⅳ ∈Hom (，Ⅳ)，若Supp(MnKerf)C_X，则Supp(Kerf) 证 (i)§ (ii)，(i)j (iii)显然． (iii)j (i)．设 ．、，『≤ ，Supp(MnN) ，令 ：一 Ⅳ是 自然同态，那么Supp(MnKerq~) X，而 Kerq~Ⅳ=N，于是SuppN_CX，故 ． 系1．4 设 是环，XC_SpeeR ：一E是R模同态，Nf是相对于 的本性同态甘对任意尺模Ⅳ，任意g EHom月(E，N)，若Supp(Kerg。 C_X，则Supp(Kerg) 证 必要性．由于Ker(g。厂)=Im／nKerg，而厂是相对于 的本性同态，于是由Supp(Kerg。f) 可得 收稿 日期：2007—01—40 作者简介：李灵光(1983一)，男，浙江台州人，硕士研究生，主要从事交换代数方面的研究 第4期 李灵光：相对本性扩张 Supp(Kerg) 充分性．Ker(g。 =ImfnKerg，在命题1．3中令M=Imf，可得Imf~xE，即／是相对于 的本性同态． 命题 1．5 设R是环， SpecR，E是R模，Ⅳ≤M≤E，M1， ≤E，则 (i)lyre甘lv~xlvi， ． (ii)( n ) 甘 M。 ， ． 证 (i)必要性．设 是 的子模，若Supp(NAL) ，则由Ⅳ 可得SuppL~X，于是唧 设￡是E 的子模，若Su