正规扩张的定义、等价条件

1. 定义与基本性质

正规扩张是代数扩张理论中的核心概念，其本质在于满足特定的代数条件。设$ E/F $为一个代数扩张，若存在某个多项式$ f(x) \in F[x] $，使得$ E $是$ F $的根域，并且$ f(x) $在$ E $中不可约，同时$ f(x) $的根在$ E $中形成一个完整的代数结构，则称$ E/F $为正规扩张。这种扩张不仅要求代数闭包的性质，还强调扩张的“完整性”——即所有根的集合在扩张中完全呈现。

正规扩张的典型例子包括$ \mathbb{Q}(\sqrt{2})/\mathbb{Q} $，其基多项式$ x^2 - 2 $在扩展中完全展开，且根$ \sqrt{2} $和$ -\sqrt{2} $均属于扩展域。此类扩张满足代数闭包的完备性，即扩展域包含所有可能的根。

2. 等价条件分析

正规扩张的等价条件通常涉及扩张的代数性质与根的完备性。以下是关键等价条件的梳理：

（1）代数闭包的完备性

正规扩张的充要条件是其代数闭包的完备性。设$ \overline{F} $为$ F $的代数闭包，若$ \overline{F}/F $是正规扩张，则$ \overline{F} $必为$ F $的代数闭包。这是因为正规扩张的根集合在扩展中完全展开，而代数闭包的定义即要求所有根均被包含。

（2）根的完备性

若扩张$ E/F $满足根的完备性，即存在某个多项式$ f(x) \in F[x] $，使得$ f(x) $在$ E $中不可约，并且$ f(x) $的根在$ E $中形成一个完整的代数结构，那么$ E/F $即为正规扩张。这一条件等价于$ E $是$ F $的代数闭包，并且$ E $的根集合与$ F $的根集合之间存在某种对应关系。

（3）有限扩张的性质

正规扩张的另一个关键等价条件是有限扩张的代数闭包性质。若$ E/F $是有限扩张，且$ E $是$ F $的代数闭包，则$ E/F $必为正规扩张。反之，若$ E/F $是正规扩张，则其必为有限扩张。这一结论源于正规扩张的根集合在扩展中完全展开，而有限扩张的代数闭包性质确保了根的完备性。

3. 关键性质与应用

正规扩张的性质在代数几何与数论中具有广泛应用。例如：

（1）正规扩张的代数结构

正规扩张的根集合在扩展中形成一个代数结构，即所有根的集合在扩展中完全展开。这一性质确保了扩张的代数完备性，避免了“缺失根”的问题。

（2）正规扩张的代数闭包关系

正规扩张的代数闭包性质与代数闭包的唯一性紧密相关。任何代数扩张的代数闭包都是唯一的，而正规扩张的根集合在代数闭包中完全展开，从而保证了扩张的“完整性”。

（3）正规扩张的构造

正规扩张的构造通常依赖于多项式的不可约性。例如，若存在某个多项式$ f(x) \in F[x] $，使得$ f(x) $在$ E $中不可约，并且其根在$ E $中形成一个完整的代数结构，则$ E/F $为正规扩张。这种构造方法确保了扩张的根集合在代数闭包中完全展开。

4. 总结

正规扩张作为代数扩张理论的核心概念，其定义与等价条件深刻揭示了代数结构的完备性与代数闭包的特性。通过分析代数闭包的完备性、根的完备性以及有限扩张的性质，可以得出正规扩张的充要条件：其根集合在代数闭包中完全展开，并且满足多项式的不可约性条件。这一理论不仅为代数几何提供了基础，也为数论中的代数结构研究提供了重要工具。未来研究可进一步探讨正规扩张在非交换代数与拓扑代数中的应用。