环和模上的运算。给定一个交换幺环 ,以及
的一个子集
,
在乘法下封闭,且
在
中,
不在
中,则
在
处的局部化是环
(1)
|
其中形式分式 的加法和乘法根据自然规则定义,
(2)
|
且
(3)
|
环 通过等同
是
的子环。
对于一个 -模
,
在
处的局部化定义为张量积 张量积
,即,作为基本张量的线性组合的集合
(4)
|
也简记为 。
子集 所需的性质由以下情况满足:
1. 的非零除数集合;在这种情况下,
是
的分式环。
2. 的任何素理想
的补集
:在这种情况下,笨拙的符号
被
替代。这个环称为
在
处的局部化,它是一个局部环,极大理想为
。
赋予此运算的名称源于当应用于与代数簇相关的环时,它所具有的几何意义。
实笛卡尔平面坐标轴的并集 是由方程给出的代数簇
(5)
|
且与商环 商环 相关联。
在由
的剩余
和
的剩余
生成的极大理想处的局部化,记为
,描述了原点处的
;其代数性质为局部几何性质提供线索。例如,局部化环是非正则的,因为其 Krull 维数为 1,而生成其极大理想
需要两个元素。这是原点是
的奇点(一个结点)的代数对应物。对于
-轴的所有其他点
,(
),局部化环
是维数为 1 的正则环,因为
生成了整个极大理想
:由于
,因此有
。相同的论证适用于
-轴。由此可见,在原点之外,簇
在“光滑”或“非奇异”的几何意义上是正则的。