关于Dummit和Foote《抽象代数》中正规扩张与分裂域概念的疑问

首先先把Dummit和Foote书中的定义列出来：

Definition. If $K$ is an algebraic extension of $F$ which is the splitting field over $F$ for a collection of polynomials $f(x)\in F[x]$ then $K$ is called a normal extension of $F$.

We shall generally use the term ''splitting field'' rather than normal extension of $F$.

针对你的疑问，我来一步步拆解说明：

你的理解方向是对的，不过咱们可以把细节补得更完整：

• “collection（集合）”是定义里的关键，但它不是两者的本质区别：正规扩张的定义就是“某个多项式集合（有限或无限）在$F$上的分裂域”，所以从定义上来说，两者是等价的概念，只是表述方式不同。
• 当集合里的多项式是有限个时，确实可以把它们全部相乘得到一个$F[x]$中的多项式，此时这个正规扩张就恰好是这个乘积多项式的分裂域——这是有限扩张场景下的常见情况。
• 当集合是无限个多项式时，因为多项式必须是有限次的，我们没法直接把无限个多项式相乘得到一个合法的多项式，所以没法用“单一多项式的分裂域”来描述，但这个扩张依然满足“多项式集合的分裂域”的定义，这就是定义里用“collection”而不是“single polynomial”的原因。

那为什么书中说可以用“分裂域”代替“正规扩张”呢？

其实这里的表述是一种简化：因为正规扩张和“多项式集合的分裂域”是完全等价的概念，而在大多数我们研究的场景（比如有限代数扩张）中，这个集合总能简化为单一多项式的分裂域，用“分裂域”来指代正规扩张会更直观——它直接点出了正规扩张的核心性质：所有相关多项式都在这个扩张里完全分裂。

另外补充一个小知识点，正规扩张还有一个等价的刻画：代数扩张$K/F$是正规的，当且仅当$F[x]$中任何不可约多项式只要在$K$中有一个根，就必然在$K$中完全分裂。这个定义和“多项式集合的分裂域”是等价的，而分裂域的表述更偏向构造性，所以Dummit和Foote更倾向于用它来指代正规扩张。

备注：内容来源于stack exchange，提问作者Florian Huo