局部化：有意求逆
分式體把*每個*非零元都求了逆。局部化是其受控版本：選一個乘性集 S（對乘積封閉、含 1、不含 0），恰好對 S 中元素求逆。結果 S⁻¹R 由分式 r/s（s ∈ S）構成，關係為 r/s = r'/s' 當且僅當存在 t ∈ S 使 t(rs' − r's) = 0。額外的 t 是個謹慎的修正，使得即便 R 有零因子，這仍是等價關係。
最重要的選擇是對素理想 P 取 S = R∖P：把 P *之外*的一切求逆。結果記作 R_P，即在 P 處的局部化，它是一個以 P·R_P 為唯一極大理想的局部環。從幾何看，你已聚焦到點 P，丟棄了所有在那裡不消失的東西。當 R 是整環時取 S = R∖{0}（即 P = (0)）便重得分式體——故 Frac 不過是在零素理想處的局部化。
Localizing Z at the prime (5): S = Z ∖ (5) = integers NOT divisible by 5.
Z_(5) = { a/b ∈ Q : 5 ∤ b }.
Units of Z_(5): all a/b with 5 ∤ a and 5 ∤ b.
Unique maximal ideal: 5·Z_(5) = { a/b : 5 | a, 5 ∤ b }.
Z_(5)/5Z_(5) ≅ F_5 (residue field at the point).
Ideals of Z_(5): (0) ⊂ (5) ⊂ (1)=Z_(5) — only ONE nonzero prime.
So Z_(5) has Krull dimension 1 with a single closed point: it is in fact
a discrete valuation ring (DVR), the local model of a smooth curve point.諾特條件
一個環稱為諾特的，若它滿足理想上的升鏈條件：每條鏈 I₁ ⊆ I₂ ⊆ I₃ ⊆ … 都穩定下來。三個條件等價，且三者都值得隨手備用：(i) 理想上的 ACC；(ii) 每個非空理想集都有極大元；(iii) 每個理想都有限生成。你經常用到的是 (i)⇔(iii) 這一等價——諾特意味著「沒有無限複雜的理想」。
Proof that (iii) finitely generated ⇒ (i) ACC.
Given a chain I₁ ⊆ I₂ ⊆ … let I = ⋃ Iₙ. Union of a chain of ideals
is an ideal. By (iii), I = (a₁,…,a_k) is finitely generated.
Each generator aⱼ lies in some I_{n(j)}; let N = max n(j).
Then all generators lie in I_N, so I ⊆ I_N ⊆ I, giving I = I_N.
Hence Iₙ = I_N for all n ≥ N: the chain stabilizes. ∎
Non-example: the polynomial ring in INFINITELY many variables
k[x₁, x₂, x₃, …] is NOT Noetherian:
(x₁) ⊊ (x₁,x₂) ⊊ (x₁,x₂,x₃) ⊊ … never stabilizes.希爾伯特基定理，及其意義
諾特性會傳播。諾特環的任何商仍諾特（R/I 的理想提升為 R 的理想），諾特環的任何局部化 S⁻¹R 仍諾特。最深刻的封閉性質是希爾伯特基定理：若 R 諾特，則 R[x] 諾特。由歸納 R[x₁,…,xₙ] 諾特，於是體上或 Z 上的每個有限生成代數也諾特，因為它們都是多項式環的商。
為何在意？你在代數幾何與數論中遇到的幾乎每個環——簇的坐標環、數域的整數環、完備化——都是諾特的，而這個條件恰好是那些學科所依賴的有限性論證的許可證：理想有有限生成集、簇由有限多個方程切出、對鏈的歸納會終止。諾特正是那個使交換代數成為可用工具、而非一堆病態例子的前提。