交换环的素谱与极大谱的连通性.pdf

2014年 4月 纯粹数学与应用数学 Apr．2014 第 30卷 第 2期 PureandApplied Mathematics V01．30 NO．2 交换环的素谱与极大谱的连通性 谢 国根 (铜陵学院数学与计算机学院，安徽 铜陵 244000) 摘要：试图刻划交换环的素谱和极大谱的连通分支，为此本文讨论了交换环的本原幂等 元与素谱以及极大谱的连通分支的关系．证明了若e为本原幂等元，则D(e)为SpecA 的连通分支．类似地，若e为 的本原幂等元且Nil(A)=Rad(A)，则D(e)为maxA 的连通分支． 关键词：素谱；极大谱；连通性；本原幂等元 中图分类号：O178 文献标识码：A 文章编号：1008—5513(2014)02—0216—05 DOI：10．3969／j．issn．1008—5513．2014．02．014 1 引言 交换环的素谱和极大谱是代数几何的重要研究对象之一，己知交换环A 的素谱是连通的当 且仅当 中只有 0和 1是幂等元．由于对任意拓扑空间，它的连通分支构成它的覆盖．所以若 交换环的素谱不连通，可以进一步去研究它的连通分支．因此不同于文献 [1—3]讨论素谱整体的 的连通性，本文主要研究其连通分支，首先讨论了素谱的连通分支与交换环的本原幂等元的关 系，并随后讨论了极大谱上的相应情形． 2 拓扑上的预备知识 定义 2．1 称映射 f：X +y是连续的 (，y为拓扑空间)，若 y 的任意一开集的原像 是 的开集，或等价地，y 的任意一闭集的原像是 的闭集． 定义 2．2 拓扑空间 称为连通的，如果它不能分解为两个非空不相交开集的并 (或者等 价地，它不能分解为两个非空不相交闭集的并)． 引理 2．1 连通空间在连续映射下的像也是连通的． 定义 2．3 拓扑空间 的一个子集称为 的连通分支，如果它是连通的，并且不是 的 其他连通子集的真子集． 引理 2．2 X 的每个非空连通子集包含在唯一的一个连通分支中． 收稿 R期：2013—06—09． 作者简介：谢国根 (1985一)，~=t-tk，研究方向：环论与代数表示论 ． 第 2期 谢国根 ：交换环的素谱与极大谱的连通性 217 注 2．1 X 中任意一点X作为子空间是连通的，因此 X包含在唯一的连通分支中．换句 话说， 的所有连通分支构成 的覆盖，并且它们两两不相交． 引理 2．3 连通分支是闭集． 3 素谱的连通分支与本原幂等元的关系 注 3．1 若A为交换环，记 SpecA为A的所有素理想的集合．记V(a)={P∈SpecA[ac p)．对任意 ．厂∈A，(f)表示 ， ，记 D(f)=SpecA— ((，))={p∈SpecA[f p]．， 则SpecA 以V(a)为闭子集构成拓扑空间． 引理 3．1 令 是交换环，则下列条件等价： (i)SpecA是连通的． (ii)A 中只有 0和 1是幂等元． 证明 见文献 5『1命题 1．3．1． 注 3．2 由文献 5【】命题 1．3．1的证明过程可知，对任意 中的幂等元 e， ((e))U ((1一e))=SpecA， ((e))n ((1一e))= 引理 3．2 设 e为交换环 的幂等元，做环 同态 西：A+ e使得 (r)=re，r∈A， 则 ，：SpecAe+SpecA(其中f(q)=~-1(q)，q∈SpecAe)连续，且 Imf=D(e)． 证明 ，的连续性可由文献 [5]中的命题 1．2．5得到，下证Imf=D(e)． 对任意 q∈SpecAe，由 q是素理想，e是 e的单位元可知，e q，所 以 e (~--1(q)， 即ImfCD(e)． 反之，对P∈SpecA且e P，由 ((e))U ((1一e))=SpecA知，(1一e)CP，所以