素譜與準素分解

空間 Spec R

零點定理把極大理想與點對應起來。Grothendieck 的洞見是保留全部素理想。素譜 Spec R 是 R 所有素理想的集合，其拓撲規定閉集為 V(I) = { P 素 : I ⊆ P }。這就是 Zariski 拓撲：閉集是一族函數的公共零點軌跡。

非極大素理想是真正新增的點。非極大的素理想 P 是一般點：其閉包是整個不可約塊 V(P)，而非僅 {P}。這正是讓單個點能在曲線或曲面上「鋪開」的機制——概形理論的基礎。

Spec Z:  primes are (0) and (p) for each prime number p.
  - Each (p) is a closed point: V((p)) = {(p)}.
  - (0) is the generic point: its closure is ALL of Spec Z,
    because (0) is contained in every prime. "Z is irreducible."

Spec k[x] (k alg. closed):  primes are (0) and (x - a) for a in k.
  - Closed points (x - a)  <->  points a of the affine line A^1.
  - (0)  =  generic point of the whole line.
So Spec k[x] = the affine line PLUS one extra fuzzy point living everywhere.

一般點：(0) 包含於每個素理想中，故其閉包填滿整個不可約空間。

準素理想：素冪的正確版本

在 Z 中，n = p_1^{e_1}…p_k^{e_k} 翻譯成 (n) = ∩ (p_i^{e_i})。我們想把它推廣到一般諾特環。正確的「素冪」是準素理想：若 ab ∈ Q 迫使 a ∈ Q 或存在 n 使 b^n ∈ Q，則 Q 是 準素的。等價地，在 R/Q 中每個零因子都是冪零的。此時根 √Q 是一個素理想 P，我們稱 Q 為 P-準素的。

拉斯克–諾特定理

回報是拉斯克–諾特定理：在諾特環中，每個理想 I 都有準素分解 I = Q_1 ∩ … ∩ Q_r，即有限個準素理想之交。在去掉冗餘並合併同根的準素分量後，根的集合 P_i = √Q_i 由 I 唯一確定。這些 P_i 就是 I 的相伴素理想——幾何分量加上嵌入分量。

Example in k[x,y]:  I = (x^2, x*y).
  Factor the geometry: V(I) = { x = 0 } u { (0,0) } -- the y-axis,
  plus the origin appearing 'with extra thickness'.
  A primary decomposition:
      I = (x)  n  (x^2, y).
   - (x) is prime, radical (x)      -> the y-axis  (minimal prime)
   - (x^2, y) is (x,y)-primary,      -> the origin (EMBEDDED prime)
  Associated primes: { (x), (x,y) }.  (x) is minimal; (x,y) is embedded.

Note the embedded component is NOT unique: 
  I = (x) n (x^2, x*y, y^2) is another valid decomposition.
The radicals {(x),(x,y)} are unique; the primary pieces at embedded primes are not.

極小素理想 vs 嵌入素理想；相伴素理想之集是典範的，準素分量不是。

坦白提醒：準素分解是這裡唯一一條 唯一性只是部分成立 的經典定理。極小素理想（即 V(I) 的分量）是被迫確定的，但嵌入素理想所帶的準素分量並不唯一。存在性是乾淨的諾特歸納；微妙之處全在於哪些是、哪些不是典範的。