正规扩张

贡献者： JierPeter

　　 定理 4 揭示了有限扩张情况下，分裂域和正规扩张的等价性，但并没有说到一般情况。本节的焦点集中在正规扩张本身上，讨论一般情况。

　　 显然，无论对元素还是域，共轭都是一种等价关系。由于共轭元素和共轭域的定义都依赖同一个自同构，因此，两个共轭域中的元素彼此对应共轭。

　　 类比定理 3 的证明思路，可知两元素共轭的充要条件是，它们是同一个不可约多项式的根。

　　 我们也可以用共轭的语言来描述正规扩张：

1. 正规扩张的性质

　　 现在我们讨论的是，给定域上正规扩张集合的结构。

　　 证明：

　　 由于 $\mathbb{F}\subseteq \mathbb{M}$，故 $\mathbb{K}$ 的保 $\mathbb{M}$ 自同构一定是保 $\mathbb{F}$ 的，故 $\mathbb{K}$ 关于 $\mathbb{M}$ 的共轭必是关于 $\mathbb{F}$ 的共轭。由定理 1 则得证。

　　 证毕。

　　 合成也可以看成是一种扩域，$\mathbb{K}\mathbb{F}=\mathbb{K}(\mathbb{F})=\mathbb{F}(\mathbb{K})$。

　　 证明：

　　 由于 $\mathbb{K}/\mathbb{F}$ 正规，故任取 $\bar{\mathbb{F}}$ 的 $\mathbb{F}$-自同构 $\sigma$，$\sigma (\mathbb{K})=\mathbb{K}$。

　　 任取 $\bar{\mathbb{F}}$ 的 $\mathbb{EF}$-自同构 $\tau$，则 $\tau (\mathbb{E})=\mathbb{E}$¹。

　　 由于 $\mathbb{F}\subseteq \mathbb{EF}$，故 $\bar{\mathbb{F}}$ 的 $\mathbb{EF}$-自同构 $\tau$ 必是 $\mathbb{F}$-自同构，从而 $\tau (\mathbb{K})=\mathbb{K}$。

　　 综上，$\tau (\mathbb{EK})=\tau (\mathbb{E})\tau (\mathbb{K})=\mathbb{EK}$。

　　 证毕。

　　 证明：

　　 任取 $\bar{\mathbb{F}}$ 上的 $\mathbb{F}$-自同构 $\sigma$，则 $\sigma ({\mathbb{K}}_i)={\mathbb{K}}_i⟹\sigma ({\mathbb{K}}_1{\mathbb{K}}_2)=\sigma ({\mathbb{K}}_1)\sigma ({\mathbb{K}}_2)={\mathbb{K}}_1{\mathbb{K}}_2$。

　　 证毕。

　　 证明：

　　 正规扩张的定义：任取 $f\in \mathbb{F}[x]$，若其有一根在 ${\mathbb{K}}_i$ 中，则其所有根都在 ${\mathbb{K}}_i$ 中。由定义直接得证。

　　 证毕。

　　 考虑到共轭的定义及其性质，即定理 1 ，我们可以得到下面这个性质：

　　 证明：

　　 由于正规扩张包含所有的根，共轭域之间的元素也对应共轭，且共轭元素是同一个不可约多项式的根，故 $\mathbb{F}$ 的每一个包含 $\mathbb{K}$ 的正规扩张，都包含 $\mathbb{K}$ 关于 $\mathbb{F}$ 的全体共轭域。

　　 下证全体共轭域的合成是正规扩张。

　　 $\mathbb{K}$ 关于 $\mathbb{F}$ 的全体共轭域之合成记为 $\mathbb{H}$。设 $\mathbb{K}$ 关于 $\mathbb{F}$ 的全体共轭域的并集为 $S$，则 $\mathbb{H}=\mathbb{F}(S)$。

　　 任取 $\bar{\mathbb{F}}$ 的保 $\mathbb{H}$ 自同构 $\sigma$，则由共轭域的定义，$\sigma (S)=S$。于是 $\sigma (\mathbb{F}(S))=\sigma (\mathbb{F})(\sigma (S))=\mathbb{F}(\sigma (S))=\mathbb{F}(S)$。即，$\sigma (\mathbb{H})=\mathbb{H}$。

　　 由定理 1 即得证。

　　 证毕。

　　 证明：

　　 先证明有限扩张的情况：

　　 设 $\mathbb{K}/\mathbb{F}$ 是有限扩张，那么作为 $\mathbb{F}$ 上的线性空间，$\mathbb{K}$ 的基只有有限多个元素。$\mathbb{K}$ 的任何保 $\mathbb{F}$ 自同构，由于是同构，因此只取决于基向量映射到哪里。由于有限扩张必是代数扩张，故每个基向量都是代数元素，故每个基向量的共轭元素是有限多的。综上，$\mathbb{K}$ 关于 $\mathbb{F}$ 的共轭域只能是有限多个。

　　 据定理 6 ，取 $\mathbb{K}$ 关于 $\mathbb{F}$ 的共轭域之合成。由于每个共轭域在 $\mathbb{F}$ 都是有限维线性空间，则其合成也是有限维的²。

　　 再证明可分扩张的情况：

　　 设 $\mathbb{K}/\mathbb{F}$ 是有限扩张，取 $\mathbb{K}$ 关于 $\mathbb{F}$ 的共轭域之合成，记为 $\mathbb{L}$。由可分扩张的传递性推论 3 ，可知 $\mathbb{L}$ 上的任意元素都是可分元素，进而是可分扩张。

　　 证毕。

　　 把定理 7 的两个情况组合起来，也能得到自然推论：有限可分扩张总包含在有限可分正规扩张里。

2. 纯不可分扩张

　　 留意定理 8 ，纯不可分元素与其在域自同构下的像的数目息息相关。和正规扩张结合起来，这一性质可以延伸出下列性质：

　　 证明：

　　 首先要证明 $\mathbb{S}$ 确实是一个域³：任取 $\alpha ,\beta ,\gamma \in \mathbb{S}$，则有 $\sigma (\alpha \beta +\gamma )=\sigma (\alpha )\sigma (\beta )+\sigma (\gamma )=\alpha \beta +\gamma$，所以 $\mathbb{S}$ 的元素之间相加、相乘是封闭的；由于 $\sigma ({\alpha }^{-1})=(\sigma (\alpha ){)}^{-1}={\alpha }^{-1}$ 和 $\sigma (-\alpha )=-(\sigma (\alpha ))/=-\alpha /$，所以取逆运算也封闭。

　　 然后，据定理 8 直接可得 $\mathbb{S}/\mathbb{F}$ 是纯不可分扩张。

　　 接下来证明 $\mathbb{K}/\mathbb{S}$ 是可分扩张，只考虑 $\mathrm{ch}\mathbb{F}$ 是素数 $p$ 的情况，因为特征为 $0$ 的域必是完美域⁴。

　　 任取 $\alpha \in \mathbb{K}$。取 $\mathbb{F}(\alpha )$ 的全体保 $\mathbb{F}$ 单同态 ${\phi }_1,\cdots ,{\phi }_n:\mathbb{F}\to \bar{\mathbb{F}}$，互不相同，其中 ${\phi }_1$ 是恒等映射。由定理 6 ，可将每个 ${\phi }_i$ 开拓为 $\bar{\mathbb{F}}$ 的保 $\mathbb{F}$ 自同构 ${\varphi }_i$。

　　 由于 $\mathbb{K}/\mathbb{F}$ 是正规扩张，而域同态总是把多项式的根映射为另一根，故 ${\phi }_i\mathbb{K}\subseteq \mathbb{K}$。因为 $\mathbb{F}(\alpha )$ 是由 $\alpha$ 生成的，可知不同的 ${\phi }_i$ 将 $\alpha$ 映入不同的 ${\phi }_i\alpha$，并且因为 $\{{\phi }_i\}$ 便历所有可能性，$\{{\phi }_i\alpha \}$ 就是 $\mathrm{irr}(\alpha ,\mathbb{F})$ 的全体根集合。

　　 构造 $\mathbb{K}[x]$ 上的多项式：

　　 下证 $f$ 的系数都在 $\mathbb{S}$ 上。

　　 任取 $\bar{\mathbb{F}}$ 的保 $\mathbb{F}$ 自同构 $\sigma$，则 $\sigma {\mid }_{\{{\phi }_i\alpha \}}$ 是一个 $\{{\phi }_i\alpha \}$（$\mathrm{irr}(\alpha ,\mathbb{F})$ 的全体根集合）上的置换。于是有

　　 由式 3 ，$f$ 的每一项系数都满足式 1 ，故 $f$ 的系数都在 $\mathbb{S}$ 上。

　　 故 $\mathrm{irr}(\alpha ,\mathbb{S})\mid f$，因此也是可分的。

　　 故 $\alpha$ 是 $\mathbb{S}$ 上的可分元素。由 $\alpha$ 的任意性，得证 $\mathbb{K}/\mathbb{S}$ 是可分扩张。

　　 证毕。

　　 注意定理 8 和定理 1 的描述，恰好是对偶的：后者是先进行可分扩张再进行纯不可分扩张，前者则反了过来。

1. ^ 更准确地，$\tau {\mid }_{\mathbb{E}}={\mathrm{id}}_{\mathbb{E}}$。
2. ^ 各共轭域取一基向量求积，所得的集合即是合成域的基。因此，如果每个共轭域的维数是 $n$，一共 $k$ 个共轭域，则其合成的维数不超过 $n^k$。
3. ^ 非常显然，建议能自己想就跳过本段说明。
4. ^ 见可分扩张。
5. ^ 注意，这里没法证明 $f=\mathrm{irr}(\alpha ,\mathbb{F})$，因为无法保证 $f\in \mathbb{F}[x]$。最多只能确定 $\mathrm{irr}(\alpha ,\mathbb{F})=f^k$，其中 $k$ 是正整数。换句话说，没法证明 $f$ 的系数都在 $\mathbb{F}$ 上。