上承这篇博文，下面我们来介绍一些准素分解的应用和几何意义。
1、Krull交定理
一个著名的应用就是Krull交定理。
Krull交定理 对于Noether环$R$，理想$mathfrak{a}$，令$mathfrak{a}^{infty}=igcap_{ngeq 0}mathfrak{a}^n$，那么$$mathfrak{a}mathfrak{a}^{infty}=mathfrak{a}^{infty}$$作为推论存在$xin mathfrak{a}$使得$(1+x)mathfrak{a}^{infty}=0$。
证明 首先，显然有$mathfrak{a}mathfrak{a}^{infty}subseteq mathfrak{a}^{infty}$。为了看到反面，考虑$mathfrak{a}mathfrak{a}^{infty}$的准素分解$mathfrak{a}mathfrak{a}^{infty}=igcap mathfrak{q}_i$，其中$mathfrak{q}_i$是$mathfrak{p}_i$-准素的，我们要证明$mathfrak{a}^{infty}subseteq mathfrak{q}_i$。
- 当$mathfrak{a}subseteq mathfrak{p}_i$时，那么因为$mathfrak{p}_i=sqrt{mathfrak{q}_i}$以及Noether性$mathfrak{a}^nsubseteq mathfrak{p}_i^nsubseteq mathfrak{q}_i$，这样$mathfrak{a}^infty subseteq mathfrak{q}_i$。
- 当$mathfrak{a}setminus mathfrak{p}_i eq varnothing$时，任取其中元素$x$，那么$x mathfrak{a}^infty subseteq mathfrak{a}mathfrak{a}^infty subseteq mathfrak{q}_i$，此时$x otin mathfrak{p}_i$，根据准素理想的刻画，$mathfrak{a}^{infty}subseteq mathfrak{q}_i$。
关于后者则是自然推论，因为可以选取$mathfrak{a}^{infty}$的有限的生成元得到一个$mathfrak{a}$组成矩阵$A$在其上作用如同单位阵，从而$det(A-I)in 1+mathfrak{a}$在$mathfrak{a}^infty$上的作用为$0$。$square$
推论 对于Noether环$R$，$mathfrak{r}=operatorname{rad} R$是Jacobson根基（即素理想的交），那么$igcap_{ngeq 0}mathfrak{r}^n=0$。$square$
一个最为显著的应用就是证明光滑函数环不是Noether环，例如取$mathbb{R}$上$0$的光滑函数芽$mathscr{C}_0^infty$，那么唯一的极大理想正是那些在$0$处取$0$的函数，而极大理想的$n$次方是知道$n-1$阶导数在$0$都取$0$的函数，那么他们的交是各阶导数在$0$都取$0$的函数，这样的非零函数很多。
Krull交还有一个基于Hilbert基的证明，可见Milne的讲义 Theorem 1.8。
2、离散赋值环
离散赋值环是一类非常简单的环。
定义 如果在域$K$上有一个赋值$ u: K o mathbb{Z}_{geq 0}cup {infty}$满足
- $ u(0)=infty$
- $ u(xy)= u(x)+ u(y)$
- $ u(x+y)geq min( u(x), u(y))$
其中关于$infty$的运算约定俗成。称$ u$为$K$的一个离散赋值。
定义 一个整环$R$被称为离散赋值环，如果其分式域$K=operatorname{Frac} R$上存在赋值$ u$使得$R={xin K: u(x)geq 0}$。
容易验证, $ u(-1)=0$，$ u(x)= u(-x)$，以及$$ u(x) eq u(y)Rightarrow u(x+y)= min( u(x), u(y))$$这被俗称为『木桶原理』。容易根据定义验证，
- $mathfrak{m}={xin K: u(x)> 0}$是$A$的极大理想。
- $Asetminusmathfrak{m}={xin K: u(x)=0}$是$A$的单位。
- 以上两点说明$A$的极大理想$mathfrak{m}$是主理想，因为只需要取$ u(x)=1$的任何一个元素。
- 以上两点说明任何理想都是主理想且都形如$mathfrak{m}^n$，因为一个理想由$ u$在其上的取值决定。
下面有离散赋值环的一个简单判据。
定理 令$R$是一个局部整环，极大理想为$mathfrak{m}$，假设$mathfrak{m}$是非零主理想，且$igcap mathfrak{m}^n=0$，那么$R$是离散赋值环。
证明 假设$mathfrak{m}=left<t ight>$。根据条件，任何$xin Rsetminus 0$都落在某个$mathfrak{m}^nsetminus mathfrak{m}^{n-1}$里，这表明$x=ut^n$，其中$u$是单位。这个$n$就定为$x$的赋值$ u(x)$，再规定$ u(0)=infty$，不难证明
- $ u(xy)= u(x)+ u(y)$
- $ u(x+y)geq min( u(x), u(y))$
这自然延拓到$K=operatorname{Frac} R$上。注意到$R$已经是局部环，可逆元当且仅当具有赋值$0$，根据延拓到$K$上的方法容易得到$R={xin K: u(x)geq 0}$。$square$
推论 令$R$是一个局部Noether整环，极大理想为$mathfrak{m} eq 0$，假设$mathfrak{m}$是主理想，那么$R$是离散赋值环。
证明 根据Krull交定理的推论。$square$
定理 令$R$是一个局部Noether整环，极大理想为$mathfrak{m} eq 0$，如果$R$是正则且维数为$1$，那么$R$是离散赋值环。（所谓正则即$dim_{R/mathfrak{m}}mathfrak{m}/mathfrak{m}^2=dim R$）
证明 任何$R$模$M$，子模$N$，根据中山引理$$M=mathfrak{m}M+Niff M=N$$故$$ extrm{${m_i}subseteq M$生成了$M$}iff M=mathfrak{m}M+m_1R+ldots +m_rRiff extrm{${m_imod mathfrak{m}M}subseteq M/mathfrak{m}M$生成了$M/mathfrak{m}M$}$$这说明了$mathfrak{m}$是主理想。$square$
定理 令$R$是一个局部Noether整环，极大理想为$mathfrak{m} eq 0$，如果$R$是正规且维数为$1$，那么$R$是离散赋值环。（所谓正规即整闭）
证明 任意取非零元$xin mathfrak{m}$，考虑主理想$(x)$的准素分解，因为$R$只有两个素理想，而$0$显然不是，这说明$(x)$是准素的，这样根据准素分解定义，存在$yin R$使得${ain R: yain (x) }=mathfrak{m}$，此时$frac{y}{x}mathfrak{m}subseteq R$，如果$frac{y}{x}mathfrak{m}=mathfrak{m}$，那么$y/x$整从而$y/xin R$，这样${ain R: yain (x) }=R$矛盾。所以$frac{y}{x}mathfrak{m}=R$，取$win mathfrak{m}$使得$frac{y}{x}w=1$，这样，$mathfrak{m}=wfrac{y}{x}mathfrak{m}=wR$，是主理想，命题得证。$square$
3、Dedekind整环
熟知Dedekind整环的定义
定义 一个Dedekind整环是Noether、整闭、维数为1的交换环。
同样熟知Dedekind整环理想的唯一分解性。这可以利用准素分解证明。
定理 对于Dedekind整环$R$, 任何理想$mathfrak{a}$都可以唯一分解为一些素理想的乘积。
证明 利用准素分解，我们已经知道$mathfrak{a}$是一些准素理想的交$igcap mathfrak{q}_i$，且这是唯一的，因为维数确保所有素理想都是极小的。假设$mathfrak{p}_i=sqrt{mathfrak{q}_i}$是素理想，按照维数，他们都是极大理想。
- 我们先证明$mathfrak{q}_i$是两两互素的，这样$mathfrak{a}=prod mathfrak{q}_i$。因为$mathfrak{p}_i$都是两两互素的，从而$mathfrak{p}_i^n$两两互素的，因为Noether性，确保$mathfrak{p}_i$有限生成，从而$mathfrak{p}_i^nsubseteq mathfrak{q}_i$，这样$mathfrak{q}_i$两两互素。
- 于是问题变成证明$mathfrak{q}_i=mathfrak{p}_i^{n_i}$。我们先证明$R_{mathfrak{p}_i}=R$的情形，此时$R$是离散赋值环，故自动有$mathfrak{q}_i=mathfrak{p}_i^{n_i}$。一般情况通过局部化，注意到准素理想在局部化后的原像还是本身。
- 为了看到唯一性，只需注意到$prod mathfrak{p}_i^{n_i}=igcap mathfrak{p}_i^{n_i}$，之后根据准素分解第二唯一性得证和离散赋值环性质。
命题得证. $square$
直接的证明可以看我写的代数数论里Van der Waerden的证明。
4、Noether整闭环
定理 对于Noother整闭整环$R$，有$$R=igcap_{operatorname{ht}mathfrak{p}=1}R_{mathfrak{p}}$$
证明 我们首先证明，任何主理想$aR$，$R/aR$的伴随素理想$mathfrak{p}$都是高度为$1$的。首先通过局部化，假设$R=R_{mathfrak{p}}$，假设$bin R$使得${xin R: xbin aR}=mathfrak{p}$，此时$frac{b}{a}mathfrak{p}subseteq R$，此时不能有$frac{b}{a}mathfrak{p}subseteq mathfrak{p}$，否则和整性矛盾。这说明$frac{b}{a}mathfrak{p}=R$，这说明$mathfrak{p}$是主理想，这说明$R_{mathfrak{p}}$是离散赋值环，从而是$mathfrak{p}$的高度为$1$。随后，假设$frac{a}{b}in igcap_{operatorname{ht}mathfrak{p}=1}R_{mathfrak{p}}$，即$bin aR_{mathfrak{p}}$，我们要证明$bin aR$。假设$aR=igcap mathfrak{q}_i$是准素分解，我们要证明$bin mathfrak{q}_i$。注意到$aR_{mathfrak{p}_i}=mathfrak{q}_iR_{mathfrak{p}_i}$，于是立刻得到$bin aR_{mathfrak{p}_i}cap R=mathfrak{q}_i$，命题得证。$square$
5、最后我们指出一些准素分解的几何意义。
首先，古典簇的几何，并不允许我们考虑根理想意外的理想。如果统一求根，Noether分解定理断言，任何Noether整环，根理想都可以唯一写成有限素理想的交。
不过如果我们引入概形，我们知道，$mathfrak{a}$对应的闭子概形和$sqrt{mathfrak{a}}$对应的并不相同，他们之间相差了一些『无穷小』。粗略看，根理想把Taylor展开一次项以外的部分去除了，但是一般的有可能保留一次项，例如$(x,y)$代表点$(0,0)$，一个多项式$f$模去$(x,y)$剩余$f(0)$，而$(x^2,y)$则还代表一个关于$x$的『无穷小邻域』，一个多项式$f$模去$(x^2,y)$剩余$f(0)+frac{partial f}{partial x}(0)x$。这样准素分解几何意义也就明确了，准素分解实际上是一种『带微分』的Noether分解定理。
最后我们指出关于Noether整闭环的几何意义。毫无疑问，因为有离散赋值环这一概念，Noether整闭环$R$上高度为$1$的素理想很好把握，他们和$operatorname{Frac} R$上的离散赋值是一一对应的。我们将其收集起来，任意一个$fin R$，都定义了一个赋值，这样可以作出一个商群，这可以类比Dedekind整环类群的概念。更准确地说，我们定义$operatorname{Div} R$为那些以高度为$1$的素理想$mathfrak{p}$生成的自由Abel群，每一个$mathfrak{p}$都对应一个赋值，$ u_{mathfrak{p}}$，那么任何一个$fin R$都定义了一个$sum_{mathfrak{p}} u_{mathfrak{p}}(f)$，这根据上面的过程，这是有限和，且赋值都是正的。这样类似复变函数，我们可以谈论一个$fin operatorname{Frac} R$在$mathfrak{p}$的零点重数或极点重数，上述定理说明$f$如果没有极点，那么就落在$R$中，换言之，$R$类比于全纯函数环，$operatorname{Frac} R$类比亚纯函数域。
