I-平坦模的概念及性质.pdfVIP

第24卷第4期 苏 州 大 学 学 报 (自然科学版) Vo1．24 No．4 2008年 1O月 JOURNALOFSUZHOUUNIVERSITY(NATURALSCIENCEEDITION) 0ct．2008 一 平坦模的概念及性质 魏彦睿 (1．苏州大学 数学科学学院，江苏 苏州 215006；2．苏州经贸职业技术学院，江苏 苏州 215009) 摘 要：引进了一个新概念 ：卜平坦模 ，它是平坦模的非平凡推广．研究了 卜平坦模及 由此产生的 卜平坦维 数的性质． 关键词：理想；，～平坦模；维数 中图分类号：O211 文献标识码：A 文章编号：1000—2073(2008)04—0033—03 1 I一平坦模 受到文献 [1，2]的启发，对平坦模作出推广．文中主要运用局部化的思想和方法讨论问题．研究了，一平坦 模的性质． 本文中R都是交换 Noether环，，是R的理想，Ⅳ是有限生成尺一模．下面我们给出，一平坦模的定义： 定义1．1 设 是任意R一模，如果对任意有限生成尺一模Ⅳ，有Supp( (M，N)) (，)成立，则称 是，一平坦模． 由此定义可知以下事实： (1)如 ，=0，则一切 R一模都是 ，一平坦模，即一切 R一模相对零理想平坦，当 ，=R时， (尺)=(2j， Supp( ( ，Ⅳ))= ，即Tor( ，N)=0，V有限生成R一模 Ⅳ．此时 ，一平坦模就是我们熟悉的平坦模． (2)平坦模是 ，一平坦模．事实上，若 是平坦模，则 Vor~,( ，Ⅳ)=0，对 V有限生成 尺一模 即 Supp(TOr~l( ，Ⅳ))=(Zj V(，)，V有限生成 尺一模 Ⅳ． (3)设 ，，．，是 的两个理想，且Rad(，)=Rad(J)，则 (，)=V(J)，从而 ，_平。坦性等价于I，一平坦性． 命题1．2 假设 是R一模，则M是，一平坦模甘 对 在Yp岳 (，)处做局部化所得的尺_模 是平坦摸 证 “仁”VP譬V(，)及任意有限生成尺一模N，由于 一是平坦R 一模，所以 ( ，Ⅳ)= r ( ， Ⅳ。)=0，即Supp( r( ，N)) V(，)． “ ”在参考文献[1]中有结论 ： (1)对任意有限生成尺 一模都有形式 Ⅳ ，其中Ⅳ为尺—模． (2)Tor~( ，Np)=Tor( ，Ⅳ)． 则对Vp岳V(，)，任意有限生成R一模L存在R一模Ⅳ，使 ，J= ．故由M是 ，_一平坦模知，Torf(M ，L)= Tor~p( ，Np) (M，N)=0，所以 是平坦 一模． 由文献[3]我们知道，一个R一模 是平坦模当且仅当对R中所有素理想P成立 r(M，R／p)：0．由此 及命题 1．2即有： 定理 1．3 假设 是尺一模，则 是，一平坦模 甘 对尺中所有素理想P，有Supp( (M，R／p)) (，)． 由 卜平坦模的定义知，平坦模必为 卜平坦模，但是 ，_。平坦模未必是平坦模．下面说明非平坦的，一平坦 模是存在的． 例 取环R，使W．dim(R)0，则可取 一模Ⅳ，使Ⅳ不是平坦模，则存在有限生成理想，，使 (R／I，N) ≠0，则R／I不平坦． 取F是平坦模 ，则 F(~)R／I是 卜平坦模 (因为 ①(R／I) F，VP V(，))．只要取F=R，即有非0模 $收稿 日期 ：2007—10—15 作者简介：魏彦睿(1981一)，男，江苏苏州人，硕士，主要从事交换代数研究 苏 州 大 学 学 报 (自然科学版) 第 24卷 R~R／／，它是非平坦的，一平坦模． 命题 1．4 假设M是尺一模 ，则M是 ，一平坦模 j 对任意有限生成 尺一模 Ⅳ，有 Supp( r( ，N)) (，)，Vi≥1． 证 “j”对任意有限生成 R一模 Ⅳ，有短正合列 。一 K F— N— ． 其中 是有限生成 自由模，由短正合列得长正