若PID的局部化A=S⁻¹R是DVR，如何证明A=R_P？

咱们来搞定这个代数证明题哈，先把已知条件和要证的结论再理一遍：
已知$R$是主理想整环（PID），$S$是$R$的乘法封闭子集，$\bar{S}$是$S$的饱和集，且$S^{-1}R = \bar{S}^{-1}R = A$。我们已经知道：如果$A$是赋值环，那因为$R$是PID，$A$必然是离散赋值环（DVR）。现在要反过来证明：若$A = S^{-1}R$是DVR，则存在$R$的素理想$P$，使得$A = R_P$。

先回忆几个关键前提：

• DVR是局部环，它只有唯一的非零素（同时也是极大）理想，记为$\mathfrak{m}_A$。
• PID的所有素理想都是主理想，形式为$(p)$，其中$p$是$R$中的素元。

接下来一步步推导：

1. 确定$R$中对应的素理想$P$
   局部环$A = S^{-1}R$的极大理想$\mathfrak{m}_A$，它在$R$中的收缩（即$\mathfrak{m}_A \cap R$）是$R$的一个素理想，咱们把这个素理想记作$P$。这是局部化的基本性质：局部化的素理想和$R$中与$S$不交的素理想一一对应，而极大理想的收缩自然是$R$的素理想。

2. 证明$S$的饱和集$\bar{S}$等于$R \setminus P$

   • 首先，$S$中的元素都不在$P$里：假设存在$s \in S \cap P$，那么$s/1$在$A$中是可逆元（因为$S$中的元素在局部化里都是单位），但$s \in P \subseteq \mathfrak{m}_A$，而极大理想里的元素不可能是单位，这就矛盾了。所以$S \subseteq R \setminus P$，进而$\bar{S} \subseteq R \setminus P$（饱和集是包含$S$的最大乘法封闭集，且元素在局部化中是单位）。
   • 反过来，$R \setminus P$中的元素都在$\bar{S}$里：因为$A$是DVR，它的非单位元全部落在唯一的极大理想$\mathfrak{m}_A$中。如果$x \in R \setminus P$，那么$x \notin \mathfrak{m}_A \cap R$，所以$x/1 \notin \mathfrak{m}_A$，这意味着$x/1$是$A$中的单位。而饱和集$\bar{S}$的定义就是所有在$S^{-1}R$中成为单位的$R$中元素，所以$x \in \bar{S}$，即$R \setminus P \subseteq \bar{S}$。

3. 得出结论$A = R_P$
   因为$\bar{S} = R \setminus P$，而题目已经告诉我们$S^{-1}R = \bar{S}^{-1}R$，所以$A = S^{-1}R = \bar{S}^{-1}R = (R \setminus P)^{-1}R = R_P$。

最后再验证一下：对于PID $R$，素理想$P=(p)$对应的局部化$R_P$，就是所有形如$a/b$（$a,b \in R$，$b$不被$p$整除）的分式，这确实是一个DVR，和题设的$A$性质一致，也反过来印证了推导的正确性。

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