令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) } 是一个非常数多项式。那么,存在 p ( x ) {\displaystyle p(x)} 的裂解域 E {\displaystyle E} 。
证明: 我们将对 p ( x ) {\displaystyle p(x)} 的次数使用数学归纳法。如果 d e g ( p ( x ) ) = 1 {\displaystyle deg(p(x))=1} ,那么 p ( x ) {\displaystyle p(x)} 是一个线性多项式,且 E = F {\displaystyle E=F} 。 假设对于所有次数为 k {\displaystyle k} 且 1 ≤ k < n {\displaystyle 1\leq k 的多项式定理成立,并设 d e g ( p ( x ) ) = n {\displaystyle deg(p(x))=n} 。 我们可以假设 p ( x ) {\displaystyle p(x)} 是不可约的;否则,根据我们的归纳假设,我们就完成了。 存在一个域 K {\displaystyle K} 使得 p ( x ) {\displaystyle p(x)} 在 K {\displaystyle K} 中有一个零点 α 1 {\displaystyle \alpha _{1}} 。 因此, p ( x ) = ( x − α 1 ) q ( x ) {\displaystyle p(x)=(x-\alpha _{1})q(x)} ,其中 q ( x ) ∈ K ( x ) {\displaystyle q(x)\in K(x)} 。 由于 d e g ( q ( x ) ) = n − 1 {\displaystyle deg(q(x))=n-1} ,根据我们的归纳假设,存在 q ( x ) {\displaystyle q(x)} 的裂解域 E ⊃ K {\displaystyle E\supset K} ,它包含 p ( x ) {\displaystyle p(x)} 的零点 α 2 , ⋯ , α n {\displaystyle \alpha _{2},\cdots ,\alpha _{n}} 。 因此,
E = K ( α 2 , ⋯ , α n ) = F ( α 1 , ⋯ , α n ) {\displaystyle E=K(\alpha _{2},\cdots ,\alpha _{n})=F(\alpha _{1},\cdots ,\alpha _{n})}
是 p ( x ) {\displaystyle p(x)} 的裂解域。
现在出现了裂解域唯一性的问题。 这个问题的答案是肯定的。 给定一个多项式 ϕ : E → F {\displaystyle \phi :E\to F} 是域的同构。设 K 是 E 的扩张域,且 α ∈ K {\displaystyle \alpha \in K} 在 E 上是代数的,最小多项式为 p(x)。假设 L 是 F 的扩张域,使得 β {\displaystyle \beta } 是 F[x] 中由 ϕ {\displaystyle \phi } 映射得到的 p(x) 的根。那么 ϕ {\displaystyle \phi } 可以扩展到一个唯一的同构 ψ : E ( α ) → F ( β ) {\displaystyle \psi :E(\alpha )\to F(\beta )} ,使得 ψ ( α ) = β {\displaystyle \psi (\alpha )=\beta } 并且 ψ {\displaystyle \psi } 在 E 上与 ϕ {\displaystyle \phi } 一致。
引理证明 如果 p(x) 的度数为 n,那么我们可以将 E ( α ) {\displaystyle E(\alpha )} 中的任何元素写成 1 , α , ⋯ , α n − 1 {\displaystyle 1,\alpha ,\cdots ,\alpha ^{n-1}} 的线性组合。因此,我们正在寻找的同构必须是
ϕ ( a 0 + a 1 α + ⋯ + a n − 1 α n − 1 ) = ψ ( a 0 ) + ψ ( a 1 ) β + ⋯ + ψ ( a n − 1 ) β n − 1 {\displaystyle \phi (a_{0}+a_{1}\alpha +\cdots +a_{n-1}\alpha ^{n-1})=\psi (a_{0})+\psi (a_{1})\beta +\cdots +\psi (a_{n-1})\beta ^{n-1}} ,
其中
a 0 + a 1 α + ⋯ + a n − 1 α n − 1 {\displaystyle a_{0}+a_{1}\alpha +\cdots +a_{n-1}\alpha ^{n-1}}
是 E ( α ) {\displaystyle E(\alpha )} 中的元素。我们可以通过直接计算来验证 ϕ {\displaystyle \phi } 是同构;然而,观察到 ϕ {\displaystyle \phi } 是我们已知为同构的映射的复合,会更容易。
我们可以将 ψ {\displaystyle \psi } 扩展为从 E[x] 到 F[x] 的同构,我们也将用 ψ {\displaystyle \psi } 表示,让
ψ ( a 0 + a 1 x + ⋯ + a n x n ) = ψ ( a 1 ) x + ⋯ + ψ ( a n ) x n {\displaystyle \psi (a_{0}+a_{1}x+\cdots +a_{n}x^{n})=\psi (a_{1})x+\cdots +\psi (a_{n})x^{n}} .
此扩展与原始同构 ψ : E → F {\displaystyle \psi :E\to F} 一致,因为常数多项式映射到常数多项式。根据假设, ψ ( p ( x ) ) = q ( x ) {\displaystyle \psi (p(x))=q(x)} ;因此, ψ {\displaystyle \psi } 将 ⟨ p ( x ) ⟩ {\displaystyle \left\langle p(x)\right\rangle } 映射到 ⟨ q ( x ) ⟩ {\displaystyle \left\langle q(x)\right\rangle } 。因此,我们有同构 ψ ¯ : E [ x ] / ⟨ p ( x ) ⟩ → F [ x ] / ⟨ q ( x ) ⟩ {\displaystyle {\overline {\psi }}:E[x]/\left\langle p(x)\right\rangle \to F[x]/\left\langle q(x)\right\rangle } 。我们有同构 σ : E [ x ] / ⟨ p ( x ) ⟩ → F ( α ) {\displaystyle \sigma :E[x]/\left\langle p(x)\right\rangle \to F(\alpha )} 和 τ : F [ x ] / ⟨ q ( x ) ⟩ → F ( β ) {\displaystyle \tau :F[x]/\left\langle q(x)\right\rangle \to F(\beta )} ,分别由在 α {\displaystyle \alpha } 和 β {\displaystyle \beta } 处进行求值定义。因此, ψ = τ − 1 ϕ ¯ σ {\displaystyle \psi =\tau ^{-1}{\overline {\phi }}\sigma } 是所需的同构。
现在写 p ( x ) = ( x − α ) f ( x ) {\displaystyle p(x)=(x-\alpha )f(x)} 和 q ( x ) = ( x − β ) g ( x ) {\displaystyle q(x)=(x-\beta )g(x)} ,其中 f(x) 和 g(x) 的次数分别小于 p(x) 和 q(x) 的次数。域扩张 K 是 f(x) 关于 E(α) 的分裂域,L 是 g(x) 关于 F(β) 的分裂域。根据我们的归纳假设,存在一个同构 ψ : K → L {\displaystyle \psi :K\to L} 使得 ψ {\displaystyle \psi } 在 E(α) 上与 ϕ ¯ {\displaystyle {\bar {\phi }}} 一致。因此,存在一个同构 ψ : K → L {\displaystyle \psi :K\to L} 使得 ψ {\displaystyle \psi } 在 E 上与 ψ {\displaystyle \psi } 一致。
推论 设 p(x) 是 F[x] 中的多项式。那么存在 p(x) 的分裂域 K,该域在同构意义下是唯一的。
给定一个域 F,自然会问我们是否可以找到一个域 E 使得每个多项式 p(x) 在 E 中都有根。这引出了以下定理。
定理 21.11 设 E 是 F 的一个域扩张。E 中关于 F 是代数的元素集合构成一个域。
证明。设 α , β ∈ E {\displaystyle \alpha ,\beta \in E} 是关于 F 的代数元素。那么 F ( α , β ) {\displaystyle F(\alpha ,\beta )} 是 F 的一个有限扩张。由于 F ( α , β ) {\displaystyle F(\alpha ,\beta )} 的每个元素都是关于 F , α ± β , α β {\displaystyle F,\alpha \pm \beta ,\alpha \beta } 的代数元素,而 α / β ( β ≠ 0 ) {\displaystyle \alpha /\beta {\text{ }}(\beta \neq 0)} 都是关于 F 的代数元素。因此,E 中关于 F 的代数元素集合构成一个域。
推论 21.12 所有代数数的集合构成一个域;即,所有关于 Q {\displaystyle \mathbb {Q} } 是代数的复数的集合构成一个域。
设 E 是域 F 的一个域扩张。我们定义 F 在 E 中的 代数闭包 为包含 E 中所有关于 F 是代数的元素的域。如果 F 上的每个非零常数多项式在 F 中都有根,则称域 F 是 代数闭 的。
定理 21.13 域 F 是代数闭的,当且仅当 F[x] 中的每个非零常数多项式在 F[x] 上分解成线性因子。
证明。设*F*为代数闭域。如果 p ( x ) ∈ F [ x ] {\displaystyle p(x)\in F[x]} 是一个非零多项式,那么*p(x)*在*F*中有一个零点,比如α。因此, x − α {\displaystyle x-\alpha } 必须是*p(x)*的一个因子,因此 p ( x ) = ( x − α ) q 1 ( x ) {\displaystyle p(x)=(x-\alpha )q_{1}(x)} ,其中 d e g ( q 1 ( x ) ) = d e g ( p ( x ) ) − 1 {\displaystyle deg(q_{1}(x))=deg(p(x))-1} 。用 q 1 ( x ) {\displaystyle q_{1}(x)} 继续这个过程,找到一个因式分解
p ( x ) = ( x − α ) ( x − β ) q 2 ( x ) {\displaystyle p(x)=(x-\alpha )(x-\beta )q_{2}(x)} ,
其中 d e g ( q 2 ( x ) ) = d e g ( p ( x ) ) − 2 {\displaystyle deg(q_{2}(x))=deg(p(x))-2} 。这个过程必须最终停止,因为*p(x)*的次数是有限的。
反过来,假设*F[x]*中每一个非零多项式*p(x)*都可以分解成线性因子。设 a x − b {\displaystyle ax-b} 是其中一个因子。那么 p ( b / a ) = 0 {\displaystyle p(b/a)=0} 。因此,*F*是代数闭域。
推论 21.14 *代数闭域F没有真代数扩张E。*
证明。设*E*是*F*的代数扩张;那么 F ⊂ E {\displaystyle F\subset E} 。对于 α ∈ E {\displaystyle \alpha \in E} ,α的最小多项式是 x − α {\displaystyle x-\alpha } 。因此, α ∈ F {\displaystyle \alpha \in F} 并且 F = E {\displaystyle F=E} 。
定理 21.15 *每个域F都有一个唯一的代数闭包。*
每个域都有一个唯一的代数闭包,这是一个非平凡的事实。证明并不十分困难,但需要一些相当复杂的集合论。关于这个结果的证明,我们参考[3]、[4]或[8]。
我们现在陈述代数基本定理,该定理首次由高斯在他22岁的博士论文中证明。该定理指出,每个复系数多项式在复数域中都有一个根。这个定理的证明将在抽象代数/伽罗瓦理论中给出。
定理 21.16(代数基本定理) *复数域是代数闭域。*