分裂域

多项式的分裂域是最小的域扩张，在该扩张中，多项式完全分解为线性因子，是其所有根存在的自然场所。

Definition

域上多项式的分裂域是由多项式所有根生成的扩张，在该扩张中多项式分解为线性因子，并且是具有该性质的最小扩张。

Scope

本主题涵盖了分裂域的构造和存在性、它们在同构意义上的唯一性、正规扩张、与代数闭包的联系，以及分裂域作为伽罗瓦扩张在研究多项式根和对称性中的作用。

Core questions

• 为什么每个多项式都有一个能使其完全分裂的域？
• 多项式的分裂域是唯一的吗？
• 分裂域与正规扩张和代数闭包有何关系？
• 为什么分裂域是伽罗瓦理论的正确背景？

Key theories

分裂域的存在性和唯一性

域上的每个多项式都有一个分裂域，通过逐次添加根获得，并且同一多项式的任意两个分裂域在固定基域的同构下是同构的。

分裂域与正规性

一个有限扩张是正规的，当且仅当它是某个多项式的分裂域，等价地，当它包含其每个元素的所有共轭时，这是定义伽罗瓦扩张的条件之一。

作为普适分裂域的代数闭包

域的代数闭包是一个所有多项式都能分裂的扩张，它是所有多项式分裂域的并集，对于每个域都存在且在同构意义上是唯一的。

Clinical relevance

分裂域提供了伽罗瓦群作用的具体扩张，使其成为计算伽罗瓦群和研究方程可解性的基础。同样的构造产生了代数闭包，并用于构建所有素数幂阶的有限域。

History

克罗内克通过对多项式环进行商运算来添加根的方法给出了分裂域的构造，施泰尼茨在1910年的抽象域理论中证明了代数闭包的存在性和唯一性。这些结果使伽罗瓦对根域的隐式使用建立在严格的基础上。

Key figures

• Leopold Kronecker
• Ernst Steinitz
• Évariste Galois

Seminal works

• dummit2004
• lang2002
• hungerford1974

Frequently asked questions

分裂域是如何构造的？

通过将多项式环除以一个不可约因子来添加该因子的一个根，然后在更大的域上重复此过程，直到多项式分解为线性因子。由此产生的最小域就是分裂域。

为什么分裂域对伽罗瓦理论很重要？

分裂域恰好是一个正规扩张，当它是可分的时，它是一个伽罗瓦扩张。它的伽罗瓦群置换多项式的根，因此分裂域是进行方程对称性分析的场所。