令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(代數基本定理) *複數域是代數閉域。*