跳转到内容

抽象代数/分裂域和代数闭包

来自维基教科书,开放的书籍,开放的世界

分裂域

[编辑 | 编辑源代码]

令F为一个域,p(x)为F(x)中的一个非零多项式。我们已经知道,可以找到F的一个域扩张,它包含p(x)的一个根。然而,我们想知道是否存在F的扩张E,它包含p(x)的所有根。换句话说,我们能否找到F的域扩张,使得p(x)在其中分解成线性多项式的乘积?包含p(x)所有根的“最小”扩张是什么?

令F为一个域, 为F[x]中的一个非零多项式。F的扩张域E称为p(x)的分裂域,如果存在E中的元素,使得 并且

在E[x]中成立。

多项式 在E中分解,如果它是E[x]中线性因子的乘积。

例1: 中的元素。那么p(x)具有不可约因子。因此,域 是p(x)的分裂域。

例2: 中的元素。那么p(x)在域 中有一个根。然而,这个域不是p(x)的分裂域,因为3的复三次根, 不在 中。

定理 F(x) }"> p ( x ) F ( x ) {\displaystyle p(x) \in F(x) } 是一个非常数多项式。那么,存在 的裂解域

证明: 我们将对 的次数使用数学归纳法。如果 ,那么 是一个线性多项式,且 。 假设对于所有次数为 的多项式定理成立,并设 。 我们可以假设 是不可约的;否则,根据我们的归纳假设,我们就完成了。 存在一个域 使得 中有一个零点 。 因此, ,其中 。 由于 ,根据我们的归纳假设,存在 的裂解域 ,它包含 的零点 。 因此,

的裂解域。

现在出现了裂解域唯一性的问题。 这个问题的答案是肯定的。 给定一个多项式 是域的同构。设 K 是 E 的扩张域,且 在 E 上是代数的,最小多项式为 p(x)。假设 L 是 F 的扩张域,使得 是 F[x] 中由 映射得到的 p(x) 的根。那么 可以扩展到一个唯一的同构 ,使得 并且 在 E 上与 一致。

引理证明 如果 p(x) 的度数为 n,那么我们可以将 中的任何元素写成 的线性组合。因此,我们正在寻找的同构必须是

,

其中

中的元素。我们可以通过直接计算来验证 是同构;然而,观察到 是我们已知为同构的映射的复合,会更容易。

我们可以将 扩展为从 E[x] 到 F[x] 的同构,我们也将用 表示,让

.

此扩展与原始同构 一致,因为常数多项式映射到常数多项式。根据假设,;因此, 映射到 。因此,我们有同构 。我们有同构 ,分别由在 处进行求值定义。因此, 是所需的同构。

现在写 ,其中 f(x) 和 g(x) 的次数分别小于 p(x) 和 q(x) 的次数。域扩张 K 是 f(x) 关于 E(α) 的分裂域,L 是 g(x) 关于 F(β) 的分裂域。根据我们的归纳假设,存在一个同构 使得 在 E(α) 上与 一致。因此,存在一个同构 使得 在 E 上与 一致。

推论 设 p(x) 是 F[x] 中的多项式。那么存在 p(x) 的分裂域 K,该域在同构意义下是唯一的。

代数闭包

[edit | edit source]

给定一个域 F,自然会问我们是否可以找到一个域 E 使得每个多项式 p(x)E 中都有根。这引出了以下定理。

定理 21.11 设 E 是 F 的一个域扩张。E 中关于 F 是代数的元素集合构成一个域。

证明。设 是关于 F 的代数元素。那么 F 的一个有限扩张。由于 的每个元素都是关于 的代数元素,而 都是关于 F 的代数元素。因此,E 中关于 F 的代数元素集合构成一个域。


推论 21.12 所有代数数的集合构成一个域;即,所有关于 是代数的复数的集合构成一个域。

E 是域 F 的一个域扩张。我们定义 FE 中的 代数闭包 为包含 E 中所有关于 F 是代数的元素的域。如果 F 上的每个非零常数多项式在 F 中都有根,则称域 F代数闭 的。

定理 21.13 域 F 是代数闭的,当且仅当 F[x] 中的每个非零常数多项式在 F[x] 上分解成线性因子。

证明。设*F*为代数闭域。如果是一个非零多项式,那么*p(x)*在*F*中有一个零点,比如α。因此,必须是*p(x)*的一个因子,因此,其中。用继续这个过程,找到一个因式分解


,

其中。这个过程必须最终停止,因为*p(x)*的次数是有限的。

反过来,假设*F[x]*中每一个非零多项式*p(x)*都可以分解成线性因子。设是其中一个因子。那么。因此,*F*是代数闭域。


推论 21.14 *代数闭域F没有真代数扩张E。*

证明。设*E*是*F*的代数扩张;那么。对于,α的最小多项式是。因此, 并且


定理 21.15 *每个域F都有一个唯一的代数闭包。*

每个域都有一个唯一的代数闭包,这是一个非平凡的事实。证明并不十分困难,但需要一些相当复杂的集合论。关于这个结果的证明,我们参考[3]、[4]或[8]。

我们现在陈述代数基本定理,该定理首次由高斯在他22岁的博士论文中证明。该定理指出,每个复系数多项式在复数域中都有一个根。这个定理的证明将在抽象代数/伽罗瓦理论中给出。

定理 21.16(代数基本定理) *复数域是代数闭域。*

华夏公益教科书