Nakayama引理的一些等价形式.pdfVIP

山西大学学报 (自然科学版 )32(S1)：14～16，2009 JournalofShanxiUniversity(Nat．Sci．Ed．) 文章编号 ：0253—2395(2009)S10014—03 Nakayama引理的一些等价形式 张建红 ，王利利 ，施恩伟 (云南师范大学 数学学院，云南 昆明 650092) 摘 要 ：在代数几何 、奇点理论等现代数学理论 中，Nakayama引理是一个很重要 的引理 ，且在不 同的理论 中应用其 不 同的形式，因此，文 中给 出了Nakayama引理 的一些等价形式，为 以后相关引理的运用提供方便． 关键词 ：拟正则理想；局部环；子模 ；Jacobson根 中图分类号 ：0153．3 文献标 识码 ：A 1 预备知识 引理 1．1l1 若a是环A 的一个真理想 ，则存在一个包含a的极大理想． 证明 令F一{bl二二)n，b是A 的真理想}，则 F非空 ，因为a∈F．根据集合的包含关系知 F是有序的．下 面将表 明F是一个归纳序集．事实上，令 {a l∈A)是 F的任何一个线性序集，定义a 一U a，则 a