求Serre《局部域》中有限素理想Dedekind整环为PID的推论证明

嗨，这个推论我刚好梳理过，结合Serre《局部域》里的内容，咱们顺着书里的思路一步步来就很清晰：

首先先把书中的推论摆出来：

仅含有限个素理想的Dedekind整环$A$是主理想整环

咱们先回忆Dedekind整环的核心性质：每个理想都能唯一分解为素理想的乘积。所以要证明$A$是PID，只需要证明它的每个素理想都是主理想——这是最关键的突破口，对吧？

接下来就是书里给的核心构造思路：

• 任取$A$中的一个素理想$\mathfrak{p}$，我们需要找到$A$中的元素$x$，满足两个条件：
  1. 对$\mathfrak{p}$的赋值$v_\mathfrak{p}(x)=1$（简单说就是$x$刚好被$\mathfrak{p}$整除一次，不会被$\mathfrak{p}^2$及更高次幂整除）
  2. 对$A$中所有其他素理想$\mathfrak{q} \neq \mathfrak{p}$，赋值$v_\mathfrak{q}(x)=0$（也就是$x$完全不被这些素理想整除）

那这个$x$怎么找出来？就是用书里第12页的逼近引理！因为$A$只有有限个素理想，逼近引理允许我们对这有限个素理想的赋值同时指定想要的取值——这里刚好就是给$\mathfrak{p}$指定赋值1，其他素理想指定赋值0，完全符合引理的应用条件，所以这样的$x$一定存在。

最后看理想$xA$：在Dedekind整环中，理想的分解和赋值是一一对应的，$xA$对应的素理想分解就是$\mathfrak{p}^1$（其他素理想的赋值都是0，对应分解中的指数为0），所以直接就能得到$xA = \mathfrak{p}$——这就说明$\mathfrak{p}$是主理想。

既然所有素理想都是主理想，那任意理想作为素理想的乘积，自然也是主理想（主理想相乘还是主理想），所以$A$就是主理想整环（PID）了。

内容的提问来源于stack exchange，提问作者user128787