主题
Search

局部化


环和模上的运算。给定一个交换幺环 R,以及 S 的一个子集 RS 在乘法下封闭,且 1 in SS 中,0 not in S 不在 S 中,则 RS 处的局部化是环

 R_S={a/s|a in R,s in S},
(1)

其中形式分式 a/s 的加法和乘法根据自然规则定义,

 a/s+b/t=(at+bs)/(st),
(2)

 a/s·b/t=(ab)/(st).
(3)

R 通过等同 a=a/1R_S 的子环。

对于一个 R-模 MMS 处的局部化定义为张量积 张量积 M tensor _RR_S,即,作为基本张量的线性组合的集合

 m tensor 1/s(m in M,s in S),
(4)

也简记为 m/s

子集 S 所需的性质由以下情况满足:

1. R 的非零除数集合;在这种情况下,R_SR 的分式环。

2. R 的任何素理想 P 的补集 R\P:在这种情况下,笨拙的符号 R_(R\P)R_P 替代。这个环称为 RP 处的局部化,它是一个局部环,极大理想为 PR_P

赋予此运算的名称源于当应用于与代数簇相关的环时,它所具有的几何意义。

实笛卡尔平面坐标轴的并集 V 是由方程给出的代数簇

 XY=0
(5)

且与商环 商环 R=R[X,Y]/<XY> 相关联。R 在由 X 的剩余 xY 的剩余 y 生成的极大理想处的局部化,记为 R_(<x,y>),描述了原点处的 V;其代数性质为局部几何性质提供线索。例如,局部化环是非正则的,因为其 Krull 维数为 1,而生成其极大理想 <x,y>R_(<x,y>) 需要两个元素。这是原点是 V 的奇点(一个结点)的代数对应物。对于 X-轴的所有其他点 P(alpha,0),((alpha!=0)),局部化环 R_(<x-alpha,y>) 是维数为 1 的正则环,因为 x-alpha 生成了整个极大理想 <x-alpha,y>R_(<x-alpha,y>):由于 xy=0,因此有 y=-(1/alpha)y(x-alpha)。相同的论证适用于 Y-轴。由此可见,在原点之外,簇 V 在“光滑”或“非奇异”的几何意义上是正则的。


另请参阅

局部环, 正则局部环, 奇点

此条目由 Margherita Barile 贡献。

使用 Wolfram|Alpha 探索

参考文献

Bruns, W. 和 Herzog, J. Cohen-Macaulay Rings, 2nd ed. 剑桥,英格兰:剑桥大学出版社,1998 年。Hartshorne, R. Algebraic Geometry. 纽约:施普林格出版社,1977 年。Matsumura, H. Commutative Ring Theory. 剑桥,英格兰:剑桥大学出版社,1986 年。Nagata, M. Local Rings. 亨廷顿,纽约:克里格出版社,1975 年。Samuel, P. 和 Zariski, O. Commutative Algebra II. 普林斯顿,新泽西州:范·诺strand,1958 年。

在 Wolfram|Alpha 上被引用

局部化

请引用为

Barile, Margherita. “局部化。” 来自 MathWorld——Wolfram Web 资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/Localization.html

主题分类