跳轉到內容

抽象代數/分裂域和代數閉包

來自華夏公益教科書,開放的書籍,開放的世界

分裂域

[編輯 | 編輯原始碼]

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

華夏公益教科書