完全驯分歧扩张L/K的中间域与赋值商群子群的一一对应证明问询

我来梳理一下这个命题的证明思路，一步步拆解条件和对应关系：

首先明确我们要证明的核心命题：

若$L/K$是完全且驯分歧的赋值域扩张，则$L/K$的中间域与商群$w(L^{*})/v(K{*})$的子群之间存在一一对应关系，其中$v$、$w$分别是$K$、$L$上的赋值。

第一步：拆解完全分歧的条件 #

• 完全分歧的赋值域扩张意味着不存在非平凡的不分歧子扩张，换句话说，$L/K$的极大不分歧子扩张就是$K$本身。这一性质直接带来两个关键结论：
  1. 剩余类域扩张是平凡的：$k_L = k_K$（$k_K,k_L$分别是$K,L$的剩余类域）；
  2. 扩张次数等于分歧指数：$[L:K] = e(L/K) = [w(L^{*}):v(K{*})]$，因为赋值域扩张的次数公式是$n = e \cdot f$，这里剩余类域次数$f=1$，所以$n=e$。

第二步：利用驯分歧的条件 #

• 驯分歧要求$gcd([L:K],p)=1$，其中$p=char(k_K)$是基域剩余类域的特征。这个条件非常关键：
  它保证了值群的扩张$w(L^{*})/v(K{*})$是一个阶数与$p$互素的有限群，而这样的群在群论中是半单的，不存在$p$-挠子群，为后续建立一一对应排除了障碍。

第三步：建立中间域与值群子群的一一对应 #

我们可以通过以下方式构造双射：

从中间域到子群

• 任取$L/K$的中间域$M$，考虑$M$上的赋值$w|_M$（即$w$在$M$上的限制），其值群$w(M^{*})$是$w(L{})$的子群，且包含$v(K^{})$（因为$K \subseteq M$）。因此，商群$w(M^{*})/v(K{})$是$w(L^{*})/v(K{})$的一个子群。

从子群到中间域

• 任取商群$w(L^{*})/v(K{})$的子群$H$，令$H'$是$H$在$w(L^{})$中的原像（即$H' = { \gamma \in w(L^{}) \mid \gamma + v(K^{}) \in H }$），定义集合：
  $$M = { x \in L \mid w(x) \in H' }$$
  可以验证$M$是$L/K$的中间域：
  1. $K \subseteq M$：因为对任意$x \in K^{}$，$w(x)=v(x) \in v(K^{}) \subseteq H'$；
  2. $M$是域：满足加法、乘法封闭，且非零元有逆元（若$x \in M^{{*}$，则$w(x}{-1})=-w(x) \in H'$，故$x^{-1} \in M$）；
  3. $M \subseteq L$：显然成立。

验证双射性质

• 单射：若两个中间域$M_1,M_2$对应同一个子群，则$w(M_1^{*})=w(M_2{*})$。结合完全分歧的性质，$M_1/K$和$M_2/K$都是完全分歧的，且剩余类域都是$k_K$，根据赋值域的结构定理，$M_1=M_2$。
• 满射：任给子群$H \leq w(L^{*})/v(K{*})$，按上述方式构造的$M$确实是中间域，且其对应的子群就是$H$。

这样我们就完整证明了$L/K$的中间域与商群$w(L^{*})/v(K{*})$的子群之间的一一对应关系。

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