在抽象代数中,局部化是一种在环中形式地添加某些元素的倒数,藉以建构分式的技术;由此可透过张量积构造模的局部化。范畴的局部化过程类似,但此时加入的是态射之逆元素,以使得这些态射在局部化以后变为同构。
局部化在环论与代数几何中占有根本地位,范畴的局部化则引出导范畴的概念,在高等数学中有众多应用。
当交换环
为整环时,局部化的构造相当容易。若
,则
必然是零环;若不然,我们可以在
的分式环
中构造局部化:取
为形如
的元素即可。
对于一般的交换环,我们必须推广分式环的构造;在此须注意到:由于
中可能有零因子,我们不能鲁莽地通分一个分式。构造方式如下:
在集合
上定义下述等价关系
:
存在
使得 ![{\displaystyle t(rs'-r's)=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/5b690a414a628f3d590361e56d715e48e1ec5182)
等价类
可以想成“分式”
,借此类比,在商集
上定义加法与乘法为:
![{\displaystyle [r,s]+[r',s']=[rs'+r's,ss']}](//wikimedia.org/api/rest_v1/media/math/render/svg/81546d0a60e354768323a41bc9ac80e277d9f270)
![{\displaystyle [r,s][r',s']=[rr',ss']}](//wikimedia.org/api/rest_v1/media/math/render/svg/cc0e9505cb3ca94832eccca12b06c7ebd43fb8e5)
可验证上述运算是明确定义的。此外还有环同态
,定义为
。于是可定义
,再 配上上述环运算与同态。在实践上,我们常迳将
里的元素写作分式
。
交换代数与代数几何中经常考虑两种局部化:
- 固定
,取
。在交换环谱中,对这类
的局部化构成
的基本开集(
表
的所有素理想构成的集合)。这种局部化常记作
。
- 固定素理想
,取
,此时也称作对素理想
的局部化。这种局部化常记作
。
以下是
的一些环论性质。
若且唯若
。
- 环同态
是单射,若且唯若
中不含零因子。
- 同态
下的逆像给出下列一一对应:
![{\displaystyle \mathrm {Spec} (S^{-1}R)=\{{\mathfrak {p}}\in \mathrm {Spec} (R):{\mathfrak {p}}\cap S=\emptyset \}}](//wikimedia.org/api/rest_v1/media/math/render/svg/5667454c57e7ed9d374afb01ce55b47488d969cb)
- 一个重要的特例是取
,可知
中的素理想一一对应至
中包含于
的素理想,因此
是局部环。
非交换环的局部化较困难,并非对所有积性子集
都有局部化。充分条件之一是欧尔条件,请参阅条目欧尔定理。
其应用之一是用于微分算子环。例如它可以解释作为一个微分算子
抽象地添加逆算子
;微局部分析中运用了这类构造。
范畴的局部化的意义在将一族态射之逆态射加入范畴中,使得这些态射成为同构。这在形式上近于环的局部化,也能使先前不同构的对象在局部化后变为同构。例如,在同伦理论中有许多连续映射在同伦的意义下可逆,藉著将这些映射局部化,同伦等价的空间可被视为彼此同构。局部化范畴里的操作也称作分式运算,相关技术细节请见文献中 Gabriel-Zisman 或 Weibel 的著作。
- 塞尔提议在模掉某类阿贝尔群
的同伦范畴里操作,这意谓若群
满足
,则视之为同构的。稍后 Dennis Sullivan 引进一个大胆的想法:改在空间的局部化里操作。如此将影响底层的拓扑空间。
- 设
的克鲁尔维数至少是 2,此时若两个
-模
满足
的支撑集的馀维至少是 2,则可视之为伪同构的。岩泽理论大大利用了这个想法。
- 在同调代数中,我们藉著加入拟同构之逆而得到导范畴。
- 在阿贝尔簇的理论中,我们常等同两个同源的阿贝尔簇,并将同源映射视为同构。此“至多差一个同源”的范畴是局部化较简单的例子,实质上不外是将
代以
。
- P. Gabriel and M. Zisman. Calculus of fractions and homotopy theory. Springer-Verlag New York, Inc., New York, 1967. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 35.
- Serge Lang, Algebra (2002), Graduate Texts in Mathematics 211, Springer. ISBN 0-387-95385-X
- Charles A. Weibel, An Introduction to Homological Algebra (1994), Cambridge University Press. ISBN 0-521-55987-1