关于交换环的极大谱空间.docxVIP

关于交换环的极大谱空间

在交换环r中，k0（r）h0（r）rk0（r）l，h0（r）={f：spec（r）z-f是一个连续的映射空间，spec（r）是r的素质理想的拓扑空间。在研究h0（r）和环的最大谱关系时，r被定义为交换环，r被定义为[p]、[q]、[p]和[r]。k0（r）是k0（r）的最大光谱空间，环是单位元的交换元，模型是右侧的模型，因此，max（r）={p，p是r的伟大理想}，正如所示。e（i）={p）max（r）i是环r的理想，i不包括p。e（r）=max（r）、e（0）=、e（i）=e（j）、e（i）=e（z）i（i）=e（）i（）i（）e（）i）。因此，max（r）是一个宇宙，其集合是{e（i）和i（环）。众所周知，specr是一个狭窄的空间，首先，一些素谱特征被推广到伟大的光谱中，并且更多地推广了一些素谱特征。

引理1Max(R)是紧的拓扑空间.

证设∪iE(Ii)=Max(R),则有E(∑iIi)=Max(R)E(∑iΙi)=Μax(R),如果R≠∑iIiR≠∑iΙi,由Zorn引理知有极大理想J使得∑iIi?J∑iΙi?J,即有J∈Max(R),但是J?E(∑iIi)J?E(∑iΙi),从而有∑iIi=R∑iΙi=R,所以有r1∈I1,…,rn∈In使得r1+…+rn=1,进而R=∑i=1nIiR=∑i=1nΙi,更有∪1≤i≤nE(Ii)=E(∑i=1n