可消理想的刻画.PDF

第３４卷第２期 重庆工商大学学报（自然科学版） ２０１７年４月 Ｖｏｌ．３４　ＮＯ．２　　　　　　　　ＪＣｈｏｎｇｑｉｎｇＴｅｃｈｎｏｌＢｕｓｉｎｅｓｓＵｎｉｖ（ＮａｔＳｃｉＥｄ）　 　　　　　　　 Ａｐｒ．２０１７ － ｄｏｉ：１０．１６０５５／ｊ．ｉｓｓｎ．１６７２０５８Ｘ．２０１７．０００２．００８ 可消理想的刻画 徐 静 雯 （南京理工大学 理学院，南京 ２１００９４） 　　摘　要：针对交换环Ｒ中的理想Ｉ是可消理想的定义，提出在（冯诺依曼）正则算术环中建立可消理想 ＝ 的一个等价刻画；通过映射 ：Ｌａｔ（Ｒ） Ｌａｔ（Ｉ）：对于任意的Ａ Ｌａｔ（Ｒ），（Ａ）Ｉ Ａ，寻找环Ｒ和理想Ｉ的进 φ → ∈ φ ∩ ＝ 一步关系，得出对于任意的０ ｅ Ｉｄｅｍ（Ｒ），存在０ ｆ Ｉｄｅｍ（Ｉ）使得ＲｅＲｆ；从而给出完全算术环中可消理 ≠ ∈ ≠ ∈ ＝ 想的等价条件：Ｒ是一个完全算术环且Ｊ（Ｒ） ０，那么Ｉ是一个可消理想当且仅当对于任意ｅ Ｉｄｅｍ（Ｒ），存 ∈ ＝ 在ｆ Ｉｄｅｍ（Ｉ）使得ＲｅＲｆ． ∈ 关键词：正则环；可消理想；完全不可约理想；完全算术环 中图分类号：Ｏ１５２．２　　　文献标志码：Ａ　　　文章编号：１６７２０５８Ｘ（２０１７）０２００３４０３ 　　交换环理论中一个基本的定理就是理想的可 Ｌａｔ（Ｒ） Ｌａｔ（Ｉ）：对于任意的Ａ Ｌａｔ（Ｒ），（Ａ）＝ → ∈ φ ＝ ＝ 消性：如果对于任意的理想Ａ，Ｂ，由ＡＩＢＩ有Ａ Ｂ． Ｉ Ａ是一个同构映射；（３）对于任意的０ ｘ Ｒ， ∩ ≠ ∈ 很显然，主理想ａ是可消理想当且仅当ａ是一个非 ＝ 存在０ ｙ Ｉ，使得Ｖａｌ（ｘ） Ｖａｌ（ｙ）；（４）对于任 ≠ ∈ Ｒ Ｒ 零因子．可逆理想也是可消理想，所以戴德金环中每 意的０ ｅ Ｉｄｅｍ（Ｒ），存在 ０ ｆ Ｉｄｅｍ（Ｉ）使得 ≠ ∈ ≠ ∈ 个理想都是可消理想． ＝ ＲｅＲｆ． Ｋａｐｌａｎｓｋｙ在文献［１］中告诉我们在拟局部环 在这篇文章中，Ｒ是含单位元 １的交换环，用 中有限生成的可消理想是主理想．用 Ｋａｐｌａｎｓｋｙ的 Ｊ（Ｒ）表示Ｊａｃｏｂｓｏｎ根，Ｉｄｅｍ（Ｒ）表示所有幂等元的 方法，Ａｎｄｅｒｓｏｎ和Ｒｏｉｔｍａｎ在文献［２］中建立了交 集合，