素谱与准素分解

空间 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) 的分量）是被迫确定的，但嵌入素理想所带的准素分量并不唯一。存在性是干净的诺特归纳；微妙之处全在于哪些是、哪些不是典范的。