论文部分内容阅读
环的全体素理想的集合称为环的素谱.在环的素谱上可定义Zariski-拓扑.非交换环的素谱按Zariski-拓扑不成谱空间,但可以构造它的谱闭包.谱闭包恰是非交换环的理想半环的某种交换化半环的谱空间.因而就引出了研究交换半环的素理想的课题.为此研究交换半环在素理想处的局部化.先构造交换半环关于其乘法封闭子集的分式半环;进而对半环及其上的半模引入局部化概念;证明了分式半模可用纯量的扩张,即张量积来表示.