Lang《代数》命题V.6.11逆命题求证：E^Aut(E/k)/k纯不可分则E/k正规？

嘿，这个问题我之前刚好深入梳理过，咱们从已知结论到逆命题的证明一步步来：

已知结论回顾 #

先回顾Lang教材里的经典结论：

在Lang的《代数》第三版第V章命题6.11（第251页）中，证明了正规扩张可分解为纯不可分扩张后接可分扩张的塔结构，特别指出：若$E/k$是正规扩张，则$E^{\operatorname{Aut}(E/k)}/k$是纯不可分扩张。

这里的$E^{\operatorname{Aut}(E/k)}$指的是$E$在伽罗瓦群$\operatorname{Aut}(E/k)$作用下的不动域，这个结论是伽罗瓦理论中连接正规扩张与纯不可分扩张的关键桥梁。

逆命题的提出与分析 #

现在我们聚焦这个命题的逆命题：若$E^{\operatorname{Aut}(E/k)}/k$是纯不可分扩张，那么$E/k$是否为正规扩张？

证明思路与过程 #

我们默认$E/k$是代数扩张（这是讨论正规扩张的常规场景），从正规扩张的等价定义出发来证明：

1. 不动域对应的扩张性质
   记$F = E^{\operatorname{Aut}(E/k)}$，根据伽罗瓦理论的基本结论，$E/F$是伽罗瓦扩张——也就是说$E/F$既是正规扩张，也是可分扩张。

2. 纯不可分扩张的正规性
   已知$F/k$是纯不可分扩张，这意味着对任意$a \in F$，它在$k$上的极小多项式形如$(x - a)^{pn}$（$p$为$k$的特征；若特征为0，则纯不可分扩张就是平凡扩张$F=k$）。这类多项式在任何包含$a$的扩张中都完全分裂，因此$F/k$本身就是正规扩张。

3. 正规扩张的合成性质
   若$F/k$是正规扩张，且$E/F$是正规扩张，那么它们的合成$E/k$必然也是正规扩张。具体来说：

   • 设$f(x) \in k[x]$是任意不可约多项式，若$f(x)$有一个根$\alpha \in E$，则$\alpha$在$F$上的极小多项式$g(x)$整除$f(x)$。
   • 由于$E/F$正规，$g(x)$在$E$中完全分裂；同时$F/k$正规，$f(x)$在$F$中的所有根都属于$F$，最终$f(x)$的所有根都落在$E$中，满足正规扩张的定义。

另外，我们也可以从嵌入的角度验证：

设$\sigma$是$E$到$k$的代数闭包$\overline{k}$的$k$-嵌入。对任意$a \in F$，因为$F/k$纯不可分，$\sigma(a) = a^{pm} \in F$（纯不可分元素的嵌入像只能是其p次幂，而$F$包含所有这类幂次）。
因此$\sigma$诱导了$E/F$到$\overline{k}/F$的嵌入，而$E/F$是伽罗瓦扩张（正规），所以$\sigma(E) = E$——所有$k$-嵌入都将$E$映射到自身，这正是$E/k$正规的等价条件。

结论 #

当$E/k$是代数扩张时，这个逆命题成立：若$E^{\operatorname{Aut}(E/k)}/k$是纯不可分扩张，则$E/k$是正规扩张。

如果$E/k$包含超越扩张成分，情况会更复杂，但在代数扩张的常规讨论框架下，这个结论是成立的。

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