主題
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 貢獻。

使用 探索

參考文獻

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 年。

在 上被引用

區域性化

請引用為

Barile, Margherita. “區域性化。” 來自 —— 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/Localization.html

主題分類