5.1 體擴張與代數擴張#

本章導言#

Cardano 的公式（1.2 節）在一個更大、更奇怪的世界裡工作：它需要 \(\sqrt{\left(\frac q2\right)^2 + \left(\frac p3\right)^3}\) ，即需要離開係數所在的有理數世界。第 4 章我們已經造好工具（商環、極小多項式），本章正式命名並研究這個「更大的世界」：體擴張。體論由 Dedekind 首創（1871）、Weber 公理化（1893）、Steinitz 系統化（1910），是伽羅瓦理論（第 6 章）的母語。本節建立擴張的次數、代數性質，並以 Tower 定理為樞軸。

擴張的定義與第一組例子#

定義：若 \(F \subseteq E\) 且 \(E\) 在 \(F\) 的運算下自身成體，稱 \(E/F\) 是體擴張（ \(F\) 是基體， \(E\) 是擴張體）；記 \(E/F\) 。 \(E\) 是 \(F\) 上的向量空間，其維數 \([E : F]\) 稱為擴張次數。

「擴張 = 向量空間」這一步是 Dedekind 的神來之筆：把體論問題翻譯成線性代數（本書與《線性代數》一書的分工：那裡學向量空間的計算，這裡把它當作體論的計數引擎）。

基本例子：

構造：對 \(F\) 的擴張體中元素 \(\alpha\) ，定義 \(F(\alpha)\) = 含 \(F\) 與 \(\alpha\) 的最小體（「生成」）；由 4.2 節，若 \(\alpha\) 滿足非常數多項式，則 \(F(\alpha) \cong F[x]/(m_\alpha)\) ， \(m_\alpha\) 是極小多項式。

代數元與超越元#

定義： \(\alpha\) 稱為 \(F\) 上的代數元，若它是某個 \(F[x]\) 非零多項式的根；否則超越元。擴張 \(E/F\) 稱代數擴張，若 \(E\) 的每個元素都是代數元。

定理 5.1.1： \(\alpha\) 代數 \(\iff\) \([F(\alpha) : F] < \infty\) ，且此時次數等於極小多項式的次數 \(\deg m_\alpha\) 。 證：（⇐） \(\{1, \alpha, \dots, \alpha^{n}\}\) （ \(n = [F(\alpha):F]\) ）線性相關，給出 \(\alpha\) 滿足的多項式。（⇒） \(F(\alpha) = F[x]/(m_\alpha)\) ，而 \(F[x]/(m)\) 的基底是 \(\{1, \bar x, \dots, \bar x^{\deg m - 1}\}\) （用 4.3 節帶餘除法：每個多項式模 \(m\) 後降次）。 \(\blacksquare\)

兩種命運的對照： \(\sqrt2\) 代數（ \(m = x^2 - 2\) ，次數 2）； \(\pi\) 超越——1882 年 Lindemann 證明 \(\pi\) 超越，一錘判死「化圓為方」（5.3 節的判決書之一）。超越數論（Lindemann–Weierstrass 定理、Gelfond–Schneider 定理）是 19–20 世紀分析與代數的交界戰場。

Tower 定理：次數的乘法律#

定理 5.1.2（Tower 定理）： \(F \subseteq K \subseteq E\) ，則 \([E : F] = [E : K]\,[K : F]\) 。 證：設 \(\{e_i\}\) 是 \(E/K\) 的基底、 \(\{k_j\}\) 是 \(K/F\) 的基底。斷言 \(\{e_i k_j\}\) 是 \(E/F\) 的基底：線性獨立（以 \(K\) 係數重組，用 \(e_i\) 的獨立性）與生成（先以 \(K\) 係數展開 \(E\) 中元素，再以 \(F\) 係數展開 \(K\) 係數）。 \(\blacksquare\)

這是本章乃至第 6 章的發動機。兩個立即可用的推論：

1. 次數的塔式分解： \([\mathbb{Q}(\sqrt2, \sqrt3) : \mathbb{Q}] = 4\) （因 \(\sqrt3 \notin \mathbb{Q}(\sqrt2)\) ：若 \(\sqrt3 = a + b\sqrt2\) ，平方比較係數得矛盾；故 \(\{1, \sqrt2, \sqrt3, \sqrt6\}\) 是基底）。
2. 有限次擴張必代數： \([E : F] < \infty\) 時每個 \(\alpha \in E\) 的 \(\{1, \alpha, \dots, \alpha^n\}\) 線性相關， \(\alpha\) 是代數元。

歷史語境：Tower 定理的置換論前身是 Lagrange 的「取值個數的乘法」（1.3 節）；Galois 1832 年遺稿已用它計算中間體次數；Dedekind–Weber 把它鑄成向量空間維數的乘法。一條計數規律，三個世紀三種語言。

代數閉包與分裂體#

定義： \(f \in F[x]\) 的分裂體是含 \(f\) 全部根的最小擴張。

• \(x^2 - 2\) 在 \(\mathbb{Q}\) 上的分裂體是 \(\mathbb{Q}(\sqrt 2)\) （兩根 \(\pm\sqrt2\) 都在其中）。
• \(x^3 - 2\) 的分裂體是 \(\mathbb{Q}(\sqrt[3]{2}, \omega)\) （需要 \(\omega = e^{2\pi i/3}\) ，1.2 節的虛數在此正式登場），次數 6。

定理 5.1.3：分裂體存在且在同構意義下唯一。 （存在性：逐個添加根，用商環構造；唯一性：延拓定理——把 \(F\) 的同構逐根延拓。這是 6.1 節 Galois 對應「良定義」的基礎。）

代數閉包：若 \(F[x]\) 的每個多項式都在 \(F\) 中完全分裂，稱 \(F\) 代數封閉。Steinitz（1910）證明：每個體都有代數閉包，且本質唯一。 \(\mathbb{C}\) 是 \(\mathbb{R}\) 的代數閉包（代數基本定理）；每個體 \(F\) 的代數閉包 \(\bar F\) 是「多項式的終點站」——1.2 節 Bombelli 之問的最終答案：複數不是特殊，而是「必須到達」的地方。

有限次擴張的分類雄心#

Steinitz 1910 年的論文《體的代數理論》給出了體論的完整藍圖：

• 可分與不可分：特徵 \(p\) 的體中存在「重根病」多項式（如 \(\mathbb{F}_p(t)\) 的 \(x^p - t\) ），相應擴張稱不可分——特徵 0 的世界沒有此病。
• 分類的骨架：每個擴張分解為「超越部分 + 代數部分」；代數部分進一步由 Galois 群（第 6 章）控制。
• 本原元素定理：有限次可分擴張由單一元素生成（Artin 之證明僅數行，用 7.2 節表示論）——「多層塔可以壓縮成一步」。

體論於是從「解方程的輔助」升格為「自足的結構理論」：體不再是數的舞台，而是數學對象本身。

一個具體例題#

例題 5.1.1：求 \([\mathbb{Q}(\sqrt2, \sqrt3) : \mathbb{Q}]\) ，寫出基底，並證明 \(\mathbb{Q}(\sqrt2, \sqrt3) = \mathbb{Q}(\sqrt2 + \sqrt3)\) （本原元素定理的手工版）。

解：第一步： \([\mathbb{Q}(\sqrt2) : \mathbb{Q}] = 2\) （ \(x^2 - 2\) 在 \(\mathbb{Q}\) 上不可約，4.3 節有理根定理）。 第二步： \(\sqrt3 \notin \mathbb{Q}(\sqrt2)\) 。反證：設 \(\sqrt3 = a + b\sqrt2\) （ \(a, b \in \mathbb{Q}\) ），平方得 \(3 = a^2 + 2b^2 + 2ab\sqrt2\) 。若 \(ab \ne 0\) 則 \(\sqrt2 \in \mathbb{Q}\) ，矛盾；故 \(ab = 0\) ： \(b = 0\) 給 \(\sqrt3 \in \mathbb{Q}\) （矛盾）， \(a = 0\) 給 \(\frac32 = b^2\) 即 \(b = \sqrt{3/2} \notin \mathbb{Q}\) （矛盾）。故 \(\sqrt3\) 在 \(\mathbb{Q}(\sqrt2)\) 上次數為 2。 第三步：Tower 定理， \([\mathbb{Q}(\sqrt2, \sqrt3) : \mathbb{Q}] = 2 \times 2 = 4\) ，基底 \(\{1, \sqrt2, \sqrt3, \sqrt6\}\) 。 第四步：令 \(\theta = \sqrt2 + \sqrt3\) 。則 \(\theta^2 = 5 + 2\sqrt6\) ，故 \(\sqrt6 = \frac{\theta^2 - 5}{2} \in \mathbb{Q}(\theta)\) ；又 \(\sqrt3 - \sqrt2 = \frac{3 - 2}{\sqrt2 + \sqrt3} = \frac{1}{\theta}\) ，故 \(\sqrt2 = \frac12\left(\theta - \frac1\theta\right)\) 、 \(\sqrt3 = \frac12\left(\theta + \frac1\theta\right)\) 都在 \(\mathbb{Q}(\theta)\) 中。因此 \(\mathbb{Q}(\sqrt2, \sqrt3) \subseteq \mathbb{Q}(\theta) \subseteq \mathbb{Q}(\sqrt2, \sqrt3)\) ，相等。 \(\theta\) 的極小多項式為 \(x^4 - 10x^2 + 1\) （由 \(\theta^2 = 5 + 2\sqrt6\) 平方整理），不可約（次數恰為 4）。

亮點：一次反轉（用 \(\frac{1}{\theta}\) 取回兩個根號）就把四層塔壓成單元素生成——這是本原元素定理的「具象演出」：塔可以壓縮，且壓縮方法是倒數技巧。這種「單生成元」的視角將在 6.1 節使 Galois 群的計算大為簡化。

歷史啟示#

• 向量空間是體論的計算引擎：Dedekind 的「次數」概念把「添加一個根號」量化為「維數乘 2」。抽象工具（線性代數）的引入使模糊的「擴大數的世界」變成可精確計數的對象。
• Tower 定理是「次數的守恆律」：擴張的組合遵循乘法，因此次數不匹配的擴張路線立即被排除——5.3 節尺規作圖的四個千年懸案（化圓為方、倍立方、三等分角）全部死於這條乘法律。
• 構造與約束的統一： \(F(\alpha) = F[x]/(m_\alpha)\) 把「添加」實現為「取商」（4.2 節的願望滿足機），體論從此有了萬能構造術。

與其他章節及領域的關聯#

• 4.2、4.3 節：本節的商環構造與不可約判別法是全部彈藥庫。
• 5.2 節：有限體是「次數 \(n\) 的 \(\mathbb{F}_p\) 擴張」的完全分類。
• 5.3 節：尺規作圖 = 次數為 2 的冪的塔；Tower 定理執行判決。
• 6.1 節：Galois 對應中「中間體 ↔ 子群」，本節的次數就是子群的指標。
• 6.2 節：根式塔 = 次數依次為素數的塔；Abel 定理是 Tower 定理的否定用法。
• 7.1 節：向量空間是「體上的模」的特例——本節的線性代數視角將被推廣。
• 數論：代數數論 = \(\mathbb{Q}\) 的有限次擴張理論；類域論是其頂峰。
• 計算機科學：符號計算中「域擴張」是 CAS（如 Mathematica）表示代數數的內部資料結構。

練習#

1. 證明 \([\mathbb{Q}(\sqrt5) : \mathbb{Q}] = 2\) ，並寫出 \((3 + 2\sqrt5)^{-1}\) 的 \(a + b\sqrt5\) 形式。
2. 用 Tower 定理證明：若 \(p\) 為素數，則不存在次數為 3 的中間塔從 \(\mathbb{Q}\) 到 \(\mathbb{Q}(\sqrt[3]{2})\) （即無次數 2 的中間體）。
3. 證明 \(\sqrt2 + \sqrt3\) 的極小多項式是 \(x^4 - 10x^2 + 1\) （可用 5.1.1 例題的結果，但請獨立驗證不可約性）。
4. 求 \(x^4 - 5\) 在 \(\mathbb{Q}\) 上的分裂體與其對 \(\mathbb{Q}\) 的次數（注意 \(\sqrt[4]{5}\) 需配對 \(i\sqrt[4]{5}\) ）。
5. 思考題： \(\mathbb{R}/\mathbb{Q}\) 是無限次擴張。說明「有限次擴張必代數」為何不排除 \(\pi \in \mathbb{R}\) ，並解釋為什麼「無限次」正是超越性的代數症狀。

進階研讀：體擴張的四個深化場景#

場景一：分圓擴張——最古老的「明星擴張」。 \(\mathbb{Q}(\zeta_n)\) （ \(\zeta_n = e^{2\pi i/n}\) ）稱分圓體， \([\mathbb{Q}(\zeta_n):\mathbb{Q}] = \varphi(n)\) （4.3 節 \(\Phi_n\) 不可約）。Galois 群 \(\cong (\mathbb{Z}/n\mathbb{Z})^\times\) （2.3 節的單位群！）——時鐘群的乘法結構就是分圓體的對稱。Gauss 的正十七邊形、Kummer 的 Fermat 攻堅、乃至二十世紀類域論與岩澤理論，全部在分圓擴張的舞台上。一個擴張家族貫穿兩百年代數數論，是「好例子長期供電」的最佳案例。

場景二：超越度與 Schanuel 猜想的地平線。 \(\mathbb{Q}(\pi, e)/\mathbb{Q}\) 的次數未知——因為不知道 \(e + \pi\) 是否超越！超越度（最大代數無關子集的基數）是無限次擴張的「維數推廣」；Schanuel 猜想（1960s）預言 \(e^{z_1}, \dots, e^{z_n}\) 的超越度至少為「 \(z_i\) 的 \(\mathbb{Q}\) -無關度」，若成立則一舉解決 Lindemann–Weierstrass 框架內的全部問題。本節「次數」概念在無限世界的極限推廣，仍是當代數論的活躍前線——基礎教材的末節往往就是研究的前排。

場景三：不可分擴張與特徵 \(p\) 的「重根病」。 \(\mathbb{F}_p(t)\) 上 \(x^p - t\) 的形式導數 \(px^{p-1} = 0\) ，多項式「導數消失」導致重根、極小多項式不唯一對應擴張結構——特徵 \(p\) 的體有自己的病理。Frobenius 映射 \(x \mapsto x^p\) （4.1 節場景一）成為治療工具：完備化（完美體）定義為 Frobenius 可逆的體。這條支線在代數幾何（概形在特徵 \(p\) 的行為）與算術幾何（橢圓曲線密碼學的安全性分析，10.1 節）中成為日常——「病理是理論的深水浮標」。

場景四：Galois 擴張的預告——自同構的登場。本節的擴張 \(E/F\) 尚未引入對稱；下章的定義： \(E/F\) 的 Galois 群 = \(E\) 的保持 \(F\) 的自同構群。預告一個速算： \(\mathbb{Q}(\sqrt2, \sqrt3)\) 的四個自同構是 \(\sqrt2 \mapsto \pm\sqrt2\) 、 \(\sqrt3 \mapsto \pm\sqrt3\) 的組合，群 \(\cong \mathbb{Z}/2 \times \mathbb{Z}/2\) （Klein 四元群），與次數 4 恰好相等——當次數＝自同構數時，擴張稱為 Galois 擴張，這是第 6 章一切理論的門檻條件。5.1.1 例題的壓縮技巧（本原元素）正是為了讓自同構的計算一次完成。

補充：Steinitz 1910——體論的憲法#

Ernst Steinitz（1871–1928），Breslau 教授，其 1910 年論文《體的代數理論》被 Bourbaki 評為「使體論成為數學結構理論典範」的作品。貢獻清單：代數閉包的存在唯一、素體（ \(\mathbb{Q}\) 或 \(\mathbb{F}_p\) ）的確定、特徵的分類作用、可分性的系統研究、超越基的存在。論文風格極度清晰（Dedekind 傳統），建立了「定義—引理—定理—推論」的現代論文格式。他晚年主要工作在凸多面體分類（Steinitz 定理：三維凸多面體圖的特徵）——一位數學家在結構數學與離散幾何兩端都留下定理名，顯示「體論」與「組合幾何」共享同一種結構直覺。

名詞速查表（本節出現的核心術語）#

• **體擴張 \(E/F\) **：含基體的更大體。
• **次數 \([E:F]\) **： \(E\) 作為 \(F\) 向量空間的維數。
• 代數元 / 超越元：滿足非零多項式與否。
• Tower 定理： \([E:F] = [E:K][K:F]\) 。
• **極小多項式 \(m_\alpha\) **： \(\alpha\) 的首一最低次多項式。
• 分裂體：含 \(f\) 全部根的最小體。
• 代數閉包：自身代數封閉的代數擴張。
• 本原元素定理：有限可分擴張 = 單元素生成。
• Galois 擴張（預告）： \(|\mathrm{Aut}(E/F)| = [E:F]\) 。

年表速查（本節涉及的關鍵年份）#

• 1770：Lagrange 的取值計數（Tower 定理的置換前身）。
• 1832：Galois 遺稿以次數語言計算中間體。
• 1846：Liouville 刊出遺稿；Lindemann（1882）證 \(\pi\) 超越。
• 1871：Dedekind 首創「體」與次數概念。
• 1882：Lindemann 證明 \(\pi\) 的超越性，判死化圓為方。
• 1893：Weber 公理化體論。
• 1910：Steinitz《體的代數理論》：代數閉包、分類藍圖。
• 1927：Artin 本原元素定理的簡證。
• 1930：van der Waerden 使體擴張理論標準化。
• 1960s：Schanuel 猜想提出，超越度理論活躍至今。

深化問答三則#

問：為什麼「次數」要用向量空間維數定義，而不是「添加了幾個根號」？ 答：因為「根號個數」不是不變量： \(\sqrt2 + \sqrt3\) 一個元素承載了兩個根號（5.1.1 例題）。維數是唯一可靠的不變量：它對同構不變、對塔可乘（Tower 定理）、對生成元的選擇不敏感。用不變量代替操作描述，是從計算數學到結構數學的標誌性跳躍——與 3.2 節「用正規性代替『分解得好看』」同一精神。

問：Tower 定理證明中的「基底乘積」，直觀上是什麼？ 答：格點！ \(\{k_j\}\) 是 \(F\) 方向的「單位長」、 \(\{e_i\}\) 是 \(K\) 方向的，組合 \(\{e_ik_j\}\) 是平面格點——像座標網。次數相乘正如「面積 = 長 × 寬」。這個幾何心像在多變數擴張（ \([E:F] = 2 \times 2 = 4\) 的四基底）中最清晰。數學中許多「乘法律」都有格點心像（組合學的雙計數、同調的 Künneth），收集這些心像是理解乘法結構的捷徑。

問：超越數 \(\pi\) 的存在對代數擴張理論是「例外」還是「常態」？ 答：常態中的例外。測度論證明：幾乎所有實數都是超越數（超越數是全測度集），但具體證明某個給定數超越極難——至今不知道 \(\pi + e\) 、 \(\pi e\) 、Euler–Mascheroni 常數的超越性。代數擴張理論是「已知地圖」，超越世界是「未知疆域」；兩者的邊界（代數獨立性問題）是 21 世紀數論的開放前線。本節的乾淨理論，恰好終止在數學尚未收復的灘頭。

（本節完）