给定赋值环的素理想，如何判断或构造满足条件的扩环B？

问题1：设P是赋值环A中的素理想，是否存在包含A的赋值环B，使得B/PB是A/P的分式域？ #

答案是存在。咱们可以通过赋值环与赋值的对应关系来构造：

• 首先，设A是其分式域K上的赋值环，对应一个赋值 ( v: K^* \to \Gamma )（Γ是全序群）。P作为A的素理想，对应Γ的一个凸子群Δ（凸子群的意思是：若γ₁ ≤ δ ≤ γ₂，且γ₁,γ₂∈Δ，则δ∈Δ）。
• A/P自然是一个整环，它的分式域L = Frac(A/P)。我们可以把A/P上的诱导赋值延拓到L上，得到一个赋值 ( v_1: L^* \to \Gamma/\Delta )。
• 接下来构造K上的新赋值w：对于x∈K^*，若x = a/s（a∈A, s∈A\P），则定义 ( w(x) = (v(s) - v(a), v_1((a+P)/(s+P))) )（值域取Γ × (Γ/Δ)，按字典序排列）。这个w是合法的赋值，对应的赋值环B就是我们要找的环：
  • B包含A，因为A中任意元素x=a/1，满足w(x)=(v(1)-v(a), v₁(a+P)) ≥ (0,0)；
  • PB是B的素理想，且B/PB中的元素恰好是L中的所有元素，也就是A/P的分式域。

简单来说，我们通过“拼接”A的局部化赋值和A/P分式域的赋值，得到了满足条件的赋值环B。

问题2：设(A,𝔪)是赋值环，P是A的素理想，已知A/P和A_P均为赋值环，如何证明存在包含A的赋值环B，其极大理想为PB，且B/PB是A/P的分式域？ #

既然已知A/P和A_P都是赋值环，我们可以更直接地构造B并验证：

构造步骤： #

1. 记K为A的分式域，L = Frac(A/P)。因为A/P是赋值环，它的赋值可以自然延拓到L上（记这个延拓后的赋值为 ( v_1 )）；同时A_P是K上的赋值环，对应赋值 ( v_P: K^* \to \Gamma_P )（Γ_P是全序群）。
2. 定义K上的赋值w：对任意x∈K^*，将x表示为x = a/s（其中a∈A, s∈A\P，这在A_P中是可行的，因为A_P的元素就是这样的分式），令 ( w(x) = (v_P(x), v_1((a+P)/(s+P))) )，值域取Γ_P × Γ₁（Γ₁是v₁的值域），按字典序排序（即先比较第一个分量，相等再比较第二个）。
3. 令B为w对应的赋值环，也就是 ( B = { x \in K \mid w(x) \geq (0,0) } )。

验证条件： #

• B包含A：对任意a∈A，x=a= a/1，显然 ( v_P(a) \geq 0 )（因为A⊆A_P），且 ( v_1(a+P) \geq 0 )（因为a+P∈A/P，而A/P是赋值环，其赋值对自身元素非负），所以w(a)≥(0,0)，即a∈B。
• PB是B的极大理想：PB中的元素是x∈B满足 ( v_1((a+P)/(s+P)) > 0 )，也就是(a+P)/(s+P)属于A/P的极大理想。而B中不在PB里的元素，对应的 ( v_1((a+P)/(s+P))=0 )，也就是(a+P)/(s+P)是A/P的单位，这类元素在B/PB中也是单位，因此PB是B的极大理想。
• B/PB ≅ L：B/PB中的每个元素都可以表示为x + PB，对应L中的元素(a+P)/(s+P)（x=a/s，a∈A, s∈A\P）。这个对应是双射且保持环运算，因此B/PB同构于L，也就是A/P的分式域。

这样我们就完成了证明，通过构造一个复合赋值对应的赋值环，满足所有要求的条件。

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