謝國根

(銅陵學(xué)院數(shù)學(xué)與計算機學(xué)院,安徽 銅陵 244000)

交換環(huán)的素譜與極大譜的連通性

謝國根

(銅陵學(xué)院數(shù)學(xué)與計算機學(xué)院,安徽 銅陵 244000)

試圖刻劃交換環(huán)的素譜和極大譜的連通分支,為此本文討論了交換環(huán)的本原冪等元與素譜以及極大譜的連通分支的關(guān)系.證明了若e為本原冪等元,則D(e)為SpecA的連通分支.類似地,若e為A的本原冪等元且Nil(A)=Rad(A),則為maxA的連通分支.

素譜;極大譜;連通性;本原冪等元

1 引言

交換環(huán)的素譜和極大譜是代數(shù)幾何的重要研究對象之一,已知交換環(huán)A的素譜是連通的當(dāng)且僅當(dāng)A中只有0和1是冪等元.由于對任意拓撲空間,它的連通分支構(gòu)成它的覆蓋.所以若交換環(huán)的素譜不連通,可以進一步去研究它的連通分支.因此不同于文獻[1-3]討論素譜整體的的連通性,本文主要研究其連通分支,首先討論了素譜的連通分支與交換環(huán)的本原冪等元的關(guān)系,并隨后討論了極大譜上的相應(yīng)情形.

2 拓撲上的預(yù)備知識

定義 2.1稱映射f:X→ Y是連續(xù)的(X,Y為拓撲空間),若Y的任意一開集的原像是X的開集,或等價地,Y的任意一閉集的原像是X的閉集.

定義 2.2拓撲空間X稱為連通的,如果它不能分解為兩個非空不相交開集的并(或者等價地,它不能分解為兩個非空不相交閉集的并).

引理 2.1連通空間在連續(xù)映射下的像也是連通的.

定義 2.3拓撲空間X的一個子集稱為X的連通分支,如果它是連通的,并且不是X的其他連通子集的真子集.

引理 2.2X的每個非空連通子集包含在唯一的一個連通分支中.

注 2.1X中任意一點x作為子空間是連通的,因此x包含在唯一的連通分支中.換句話說,X的所有連通分支構(gòu)成X的覆蓋,并且它們兩兩不相交.

引理 2.3連通分支是閉集.

3 素譜的連通分支與本原冪等元的關(guān)系

注 3.1若A為交換環(huán),記SpecA為A的所有素理想的集合.記V(a)={p∈SpecA|a?p}.對任意f∈A,(f)表示fA,記

則SpecA以V(a)為閉子集構(gòu)成拓撲空間.

引理 3.1令A(yù)是交換環(huán),則下列條件等價:

(i)SpecA是連通的.

(ii)A中只有0和1是冪等元.

證明見文獻[5]命題1.3.1.

注 3.2由文獻[5]命題1.3.1的證明過程可知,對任意A中的冪等元e,

引理 3.2設(shè) e為交換環(huán) A的冪等元,做環(huán)同態(tài) ?:A→ Ae使得 ?(r)=re,r∈A,則f:SpecAe→SpecA(其中f(q)=??1(q),q∈SpecAe)連續(xù),且Im f=D(e).

證明f的連續(xù)性可由文獻[5]中的命題1.2.5得到,下證Im f=D(e).

對任意 q∈SpecAe,由 q是素理想,e是 Ae的單位元可知,e/∈q,所以 e/∈??1(q),即Im f?D(e).

反之,對p∈SpecA且e/∈p,由V((e))∪V((1?e))=SpecA知,(1?e)?p,所以

顯然,p∩(e)為Ae的素理想.

易得??1(p∩(e))?p,且若x∈??1(p∩(e)),即xe∈p∩(e).又x=xe+x(1?e),所以

故??1(p∩(e))=p,即Im f?D(e).

定理 3.1設(shè)e為交換環(huán)A的本原冪等元,則D(e)為SpecA的連通分支.

證明因為e為交換環(huán)A的本原冪等元,所以Ae中的冪等元只有0和e.由引理3.1知SpecAe是連通的.則由引理3.2知D(e)為連通空間SpecAe在連續(xù)映射下的像,則由引理2.1知D(e)為SpecA的連通子集.

由引理2.2,可設(shè)F是包含D(e)的連通分支,且由引理2.3知,F是閉集.再由引理3.1的注記知D(e)=V((1?e)),故D(e)也是閉集.由D(e)?F得,

且D(e)∩(F∩V((e)))=?,由F的連通性知F∩V((e))=?,即F=D(e).

所以D(e)是SpecA的連通分支.

由文獻[6]中第7節(jié)的練習(xí)7,練習(xí)8可得到如下引理:

引理 3.3設(shè)R是由一切連續(xù)函數(shù)f:構(gòu)成的環(huán).則R的每個冪等元都不是本原的.

注 3.3由引理3.3知,對任意交換環(huán)A,SpecA的連通分支未必能寫成D(e)的形式(其中e是A的本原冪等元).所以定理3.1的逆命題不成立.

4 極大譜的連通分支與本原冪等元的關(guān)系

一些記號及說明若A為交換環(huán),記maxA為A的所有極大理想的集合.記A的所有素理想的交為Nil(A),記A的所有極大理想的交為Rad(A).

易得:

(2)如果{ai}(i∈A)是A的理想的任意集合,則

(3)如果a,b是A的兩個理想,則

對任意f∈A,(f)表示fA,記

引理 4.1設(shè)a是交換環(huán)A的詣零理想,=A/a.則若x∈A使得是的冪等元,則存在A的冪等元e,使得

證明見文獻[8]定理1.8.5.

引理 4.2令A(yù)是交換環(huán),且Nil(A)=Rad(A),則下列條件等價:

(i)maxA是連通的.

(ii)A中只有0和1是冪等元.

證明(i)?(ii)設(shè)e為A的冪等元,則e(1?e)=0.所以

因此a,b為A的真理想,且

注 4.1由希爾伯特零點定理 (文獻 [9]定理 1.6)可知,若 A為有限生成 K 代數(shù),則Nil(A)=Rad(A),所以這里要求Nil(A)=Rad(A)并不是一個相當(dāng)苛刻的條件.有限生成K代數(shù)在代數(shù)幾何中是一類相當(dāng)重要的環(huán).

引理 4.3若?:A→B為交換環(huán)A,B的滿同態(tài),則對任意q∈maxB,有??1(q)∈maxA,且由此誘導(dǎo)的映射f:maxB→maxA(其中f(q)=??1(q))連續(xù).

證明由于是?滿同態(tài),所以在A中包含ker?的理想和B中的理想一一保序?qū)?yīng).因此??1(q)∈maxA.

再由對任意A的理想a,及q∈maxB,

引理 4.4設(shè) e為交換環(huán)A的冪等元,做環(huán)同態(tài) ?:A→Ae使得?(r)=re,r∈A,

則f:maxAe→maxA(其中f(q)=??1(q),q∈maxAe)連續(xù),且Im

證明f的連續(xù)性可由引理4.3得到,下證

僅需證明

余下的證明與引理3.2類似.

再由?是滿同態(tài),所以A中包含ker?的理想和Ae中的理想一一保序?qū)?yīng).因此

定理 4.1設(shè)e為交換環(huán)A的本原冪等元,且Nil(A)=Rad(A),則(e)為maxA的連通分支.

證明僅需說明Nil(A)=Rad(A)?Nil(Ae)=Rad(Ae),余下證明與定理3.1類似.

由引理 4.4的證明過程可知 q∈maxA,e/∈q? q∩Ae∈maxAe.另外顯然有 q∈maxA,e∈q?Ae?q.所以對于任意x∈Ae,若x∈Rad(Ae),則有x∈Rad(A)=Nil(A).故x冪零.因此x∈Nil(Ae),即Nil(Ae)=Rad(Ae).

5 總結(jié)

本文主要是利用本原冪等元來刻畫素譜和極大譜的連通分支,但是由引理3.3知,并不是所有的連通分支都可以用本原冪等元來刻畫.所以認為有以下問題是值得進一步研究的：

(1)能否給出素譜和極大譜的連通分支的一般形式的刻畫;

(2)如(1)不能實現(xiàn),那么能否對一些特殊的環(huán)(如引理3.3中提到的環(huán))刻畫出它所有的連通分支.

[1]馮良貴.環(huán)的素譜的若干注記(英文)[J].數(shù)學(xué)研究,2001(1):27-30.

[2]王江.交換環(huán)的素譜空間的連通性[J].山東師大學(xué)報:自然科學(xué)版,1989(2):16-22.

[3]陳剛.一個特征標環(huán)素譜的連通性[J].數(shù)學(xué)雜志,2005(2):30-34.

[4]高恩偉,張金霞.素理想P在F中分解[J].純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué),2012(5):569-572.

[5]Fu L.Algebraic Geometry[M].北京:清華大學(xué)出版社,2006.

[6]Anderson F W,Fuller K R.Rings and Categories of Modules[M].New York:Spring-verlag,1974.

[7]尤承業(yè).基礎(chǔ)拓撲學(xué)[M].北京:北京大學(xué)出版社,1997.

[8]王芳貴.交換環(huán)與星形算子理論[M].北京:科學(xué)出版社,2006.

[9]Iitaka S.Algebraic Geometry:An Introduction to Birational Geometry of Algebraic Varieties[M].New York: Spring-Verlag,1982.

Connectedness of the prime spectrum and the maximal spectrum of a commutative ring

Xie Guogen
(College of Mathematics and Computer,Tongling University,Tongling 244000,China)

The main purpose of this paper is trying to character connected components of the prime spectrum and the maximal spectrum of a commutative ring.To this aim,the relationship between primitive idempotents and connected components of the prime spectrum and the maximal spectrum is discussed.It is proved that D(e)is a connected component of SpecA if e is a primitive idempotent of A.Analogously,(e)is a connected component of maxA if e is a primitive idempotent of A and Nil(A)=Rad(A)

prime spectrum,maximal spectrum,connectedness,primitive idempotent

O178

A

1008-5513(2014)02-0216-05

10.3969/j.issn.1008-5513.2014.02.014

2013-06-09.

謝國根(1985-),碩士生,研究方向:環(huán)論與代數(shù)表示論.

2010 MSC:16D10