跳轉到

4.3 多項式環#

本章導言#

多項式是代數學的國語：從 al-Khwarizmi 的「方與根」（1.1 節）、Cardano 公式（1.2 節），到 Galois 的根之置換（2.1 節），三百年方程論的全部對象都是多項式。但「多項式究竟是什麼」直到環論成熟才獲得嚴格回答：多項式環 \(R[x]\) 是形式表達式構成的環，不是函數——這一「形式 vs. 函數」的區分是本節的第一個深水區。本節建立多項式環的構造、帶餘除法、唯一分解，並以 Eisenstein 判別法與不可約性為結尾，為第 5 章體論備好全部彈藥。

多項式的形式定義：與函數的決裂#

定義：設 \(R\) 為交換含么環。多項式環 \(R[x]\) 的元素是形式和 \(\sum_{i=0}^n a_i x^i\) （ \(a_i \in R\) ），運算按係數加法與卷積乘法：

\[ \left(\sum a_i x^i\right)\left(\sum b_j x^j\right) = \sum_k \left(\sum_{i+j=k} a_i b_j\right) x^k. \]

\(x\) 是形式符號，不是代入對象。這個定義看似拘謹，卻解決了一個歷史難題：

形式多項式 ≠ 多項式函數。在 \(\mathbb{Z}/2\mathbb{Z}\) 中， \(x^2 - x\) 與 \(0\) 定義同一函數（兩點上皆為零），但它們是不同的多項式。若把多項式定義為函數， \(x^2 - x \ne 0\) 這個事實就無法表述，唯一分解理論立即崩塌。「多項式是符號串而非映射」——這是十九世紀數學從「計算直觀」轉向「形式公理」的縮影（與 4.1 節環公理化同時完成）。

次數： \(\deg f =\) 最高非零係數的下標（ \(f \ne 0\) ）。若 \(R\) 是整環，則 \(\deg(fg) = \deg f + \deg g\) （首項係數非零）——整環性質立刻兌現為次數公式；矩陣係數時此式可失效（首係數乘積可為零）。

帶餘除法：多項式世界的長除法#

定理 4.3.1： \(F\) 為體， \(f, g \in F[x]\) ， \(g \ne 0\) ，則唯一存在 \(q, r\) 使 \(f = qg + r\) ， \(\deg r < \deg g\) 。 證：存在性：對 \(\deg f \ge \deg g\) 歸納，用首項消去（ \(g\) 首係數可逆——這正是需要「體」的原因： \(\mathbb{Z}[x]\) 中 \(x\) 除 \(x^2+1\) 就除不動，因 2 不可逆）。唯一性：兩組表式相減， \(\deg(g(s - s')) < \deg g\) 且左端是 \(g\) 的倍式，只能是零。 \(\blacksquare\)

帶餘除法的三個直系後代：

  1. 求值定理： \(f(a) = 0 \iff (x - a) \mid f\) （餘式為常數 \(f(a)\) ）。1.2 節例題中 \(x = 4\) 是根故 \(x - 4\) 是因式，正是此定理。
  2. GCD：輾轉相除在 \(F[x]\) 中成立，且 Bézout 等式 \(d = uf + vg\) 有效。
  3. 不可約多項式：次數 \(\ge 1\) 且不能分解為更低次之積的 \(F[x]\) 元素——多項式世界的「素數」。 \(F[x]\) 是主理想整環（每個理想都是 \((d)\) ， \(d = \gcd\) ），因此唯一分解定理成立（與 \(\mathbb{Z}\) 平行；但 \(\mathbb{Z}[x]\) 只是 UFD 而非主理想—— \((2, x)\) 非主，4.2 節已見）。

根的計數與代數基本定理#

定理 4.3.2： \(n\) 次多項式在體 \(F\) 中至多 \(n\) 個根（計重數另計）。 證：每個根吃掉一個線性因式，次數遞減。 \(\blacksquare\)

歷史插曲——「求根公式」的終點：1.2–1.3 節的三次四次公式，本質上是「在係數體的根式擴張中分解多項式」。第 6 章將證明五次以上不存在此類公式。多項式環的語言使這個三百年的問題精確化：「 \(f \in \mathbb{Q}[x]\) 的根能否落在僅由根式塔構成的體中？」

代數基本定理： \(\mathbb{C}[x]\) 中每個 \(n \ge 1\) 次多項式恰有 \(n\) 個根（計重數）。Gauss 1799 年首證（此前 d'Alembert 1746 版本有漏洞，Gauss 本人的首證也有拓撲空缺，嚴格版要到 1920 年代的代數拓撲）。** \(\mathbb{C}\) 的「代數封閉性」使複數成為多項式理論的終點站**——1.2 節 Bombelli「被迫引入的量」，在定理層面獲得最高平反。

不可約性的判別工具箱#

判斷 \(f \in F[x]\) 不可約，是 5.1 節「構造體擴張」的先決條件。工具箱：

1. 二次與三次的準則：可約 \(\iff\) 有一次因式 \(\iff\) 有根。故 \(\mathbb{Q}\) 上判 \(x^3 - 2\) 不可約，只需證無有理根（有理根定理：整係數時根只能是 \(\pm \frac{\text{常數因子}}{\text{首係數因子}}\) ）。

2. Eisenstein 判別法（1846/1850）：設 \(f = a_n x^n + \cdots + a_0 \in \mathbb{Z}[x]\) ，素數 \(p\) 滿足： \(p \mid a_i\) （ \(i < n\) ）、 \(p \nmid a_n\) 、 \(p^2 \nmid a_0\) ，則 \(f\) 在 \(\mathbb{Q}\) 上不可約。 證明思想：模 \(p\) 後 \(f \equiv a_n x^n\) ，若 \(f = gh\) 則 \(g, h\) 的首項外係數全被 \(p\) 整除，導致 \(p^2 \mid a_0\) ，矛盾。 \(\blacksquare\) 例： \(x^5 - 2\) 被 \(p = 2\) 的 Eisenstein 條件擊中（中間係數全為 0、常數項 \(-2\) 不被 \(4\) 整除），故不可約——一次檢驗替代尋根苦戰。

3. 分圓多項式： \(\Phi_n(x) = \prod_{\gcd(k, n) = 1} (x - e^{2\pi i k/n})\) （ \(n\) 階本原單位根的極小多項式）， \(\deg \Phi_n = \varphi(n)\) （2.3 節的 \(\varphi\) 函數！）。Gauss 證明 \(\Phi_p\) 不可約，因此「正 \(n\) 邊形可尺規作圖 \(\iff \varphi(n)\) 是 2 的冪」——5.3 節的判決書已在本節起稿。

4. 模 \(p\) 化簡： \(\mathbb{Z}[x]\) 的 \(f\) 若模 \(p\) 後不可約且次數不降，則 \(f\) 在 \(\mathbb{Q}\) 上不可約（逆否：可約則模 \(p\) 後仍可約）。在有限體 \(\mathbb{F}_p[x]\) （有限！可窮舉）中判斷，代替在無限體中判斷——「化歸到有限」是代數的經典省力法。

一個具體例題#

例題 4.3.1：證明 \(f(x) = x^4 + x^3 + x^2 + x + 1 = \Phi_5(x)\) 在 \(\mathbb{Q}\) 上不可約，並在 \(\mathbb{F}_2[x]\) 中分解它，說明「模 \(p\) 化簡法」的使用限制。

解：法一（Eisenstein 的平移技巧）：直接套 Eisenstein 失敗（係數全 1）。換元 \(x \mapsto x + 1\) ：

\[ f(x+1) = \frac{(x+1)^5 - 1}{x} = x^4 + 5x^3 + 10x^2 + 10x + 5. \]

（展開時 \((x+1)^5 - 1\) 的常數項為 0，可除以 \(x\) 。）係數 \(5, 10, 10, 10, 5\) 全被素數 \(5\) 整除、首係數不被 5 整除、常數項 5 不被 25 整除——Eisenstein 條件全中，故 \(f(x+1)\) 不可約，從而 \(f(x)\) 不可約（平移是環自同構，保不可約性）。 \(\blacksquare\)

法二（模 2 化簡）：在 \(\mathbb{F}_2[x]\) 中 \(f \equiv x^4 + x^3 + x^2 + x + 1\) 。窮舉檢查： \(\mathbb{F}_2\) 只有一個非零元 1， \(f(1) = 5 \equiv 1 \ne 0\) ，無一次因式；二次不可約多項式只有 \(x^2 + x + 1\) ，而 \((x^2+x+1)^2 = x^4 + x^2 + 1 \ne f\) 。故模 2 後不可約，從而 \(f\) 在 \(\mathbb{Q}\) 上不可約。 \(\blacksquare\)

限制的反例： \(f(x) = x^4 + 1\) 在 \(\mathbb{Q}\) 上不可約（同法一： \(f(x+1) = x^4 + 4x^3 + 6x^2 + 4x + 2\) ，Eisenstein 於 \(p = 2\) ），但模 2 後 \(x^4 + 1 = (x+1)^4\) 完全分解——「模 \(p\) 化簡」是單向的：模後不可約 ⇒ 原先不可約；模後可約 ⇒ 原先未必可約。工具的使用邊界，與工具本身同樣重要。

歷史啟示#

  • 「形式化」救了多項式：把 \(x\) 從「變數」降格為「形式符號」，多項式環才成為嚴格對象；函數觀點（代入）變成定理（求值同態）而非定義。抽象化的報酬： \(R[x]\) 對任何 \(R\) 有效，包括 \(\mathbb{Z}/2\mathbb{Z}\) 、矩陣環、甚至非交換環。
  • 長除法需要「好係數」：帶餘除法在 \(F[x]\) （體係數）成立、在 \(\mathbb{Z}[x]\) 失敗——「在哪個環裡工作」是環論時代的文法問題。同一多項式在 \(\mathbb{Z}[x]\) 、 \(\mathbb{Q}[x]\) 、 \(\mathbb{F}_2[x]\) 中的「素性」（不可約性）各不相同。
  • 判別法是壓縮的暴力：Eisenstein 判別法把「窮舉所有分解」壓縮為「檢查一條整除鏈」——好的判別法是計算量的指數級縮減，這也是密碼學（10.1 節）賴以為生的原理。

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

  • 1.1–1.3 節：方程論的對象（「方與根」）在本節獲得形式定義；求根公式問題化為根式塔問題。
  • 4.1、4.2 節： \(F[x]\) 是整環、主理想整環、UFD 的三位一體範例； \((m(x))\) 主理想與商環構造是 4.2 節理論的常駐舞台。
  • 5.1 節：體擴張 \(\mathbb{Q}(\alpha)\) 的構造 \(F[x]/(m_\alpha)\) 與次數計算，全部依賴本節的帶餘除法與不可約性。
  • 5.2 節：有限體的存在唯一性定理以「 \(\mathbb{F}_p[x]\) 的不可約多項式」為構件。
  • 5.3 節：尺規作圖判決書的原料是分圓多項式的次數。
  • 6.1–6.3 節：Galois 群是「根的置換」，而根是多項式的根——本節是 Galois 理論的對象語言。
  • 10.1 節：AES 加密的 S-box 就是 \(\mathbb{F}_2[x]\) 中乘法模 \(x^8 + x^4 + x^3 + x + 1\) 的運算；Reed–Solomon 糾錯碼以多項式求值編碼。
  • 控制論與信號處理：線性遞迴序列、LFSR（線性反饋移位暫存器）的本原多項式選取，就是本節的不可約性計算。

練習#

  1. 用帶餘除法計算 \(x^3 + 2x^2 - x + 1\) 除以 \(x^2 + 1\) 的商與餘式（在 \(\mathbb{Q}[x]\) 中）。
  2. 用有理根定理證明 \(x^3 - 3x - 1\) 在 \(\mathbb{Q}\) 上不可約，並對照 2.1 節例題（此方程的 Galois 群是 \(A_3\) ）。
  3. 用 Eisenstein 判別法證明 \(x^6 + x^5 + x^4 + x^3 + x^2 + x + 1 = \Phi_7(x)\) 不可約（提示：先平移 \(x \mapsto x+1\) ，用二項式係數）。
  4. 在 \(\mathbb{F}_3[x]\) 中分解 \(x^2 + 1\) （檢查 \(x = 0, 1, 2\) ），判斷 \(\mathbb{F}_3[x]/(x^2+1)\) 是否為體，若是，指出它與哪個已知體同構。
  5. 思考題： \(\mathbb{Z}/2\mathbb{Z}[x]\) 中 \(x^2 - x\) 作為函數恆為零，作為多項式非零。用這個例子論證「多項式環不能定義為函數環」，並說明若強行定義為函數會丟失哪些定理。

進階研讀：多項式環的四個深化場景#

場景一： \(\mathbb{Z}[x]\) 的地位——UFD 但非 PID。 \(\mathbb{Z}[x]\) 是唯一分解整環（Gauss 引理：本原多項式之積本原），但不是主理想整環（ \((2, x)\) 無單一生成者）。這說明「唯一分解」比「輾轉相除」更弱也更普遍： \(R[x]\) 是 UFD 只要 \(R\) 是。層級圖譜：體 ⊂ PID ⊂ UFD ⊂ 整環，每個箭頭都不可逆（ \(F[x, y]\) 是 UFD 非 PID； \(\mathbb{Z}[\sqrt{-5}]\) 連 UFD 都不是）。環論的地圖，就是這張層級圖的精細化。

場景二：不可約多項式的計數——有限體的存在引擎。 \(\mathbb{F}_p[x]\) 中 \(n\) 次首一不可約多項式恰有 \(\dfrac{1}{n}\sum_{d \mid n} \mu(d) p^{n/d}\) 個（Möbius 反演公式，Gauss 已知）。這個正整數的出現證明了 \(n\) 次不可約多項式存在（若計數為 0 則公式為負，矛盾），從而證明 \(p^n\) 元有限體存在（5.2 節）——「計數公式恆正」是一種非構造的存在性證明，與 Sylow 定理（3.3 節）的計數證明同屬一個方法譜系。

場景三：分圓多項式與 Gauss 十七等分。 \(\Phi_{17}(x)\) 的次數 \(\varphi(17) = 16 = 2^4\) ，允許逐層開平方，因此正十七邊形可尺規作圖——Gauss 十九歲的成名作（1796，他自稱此事決定了他獻身數學而非語言學）。他在《算術研究》中明確寫下一般判準（正 \(n\) 邊形可作 \(\iff n = 2^k \cdot p_1 \cdots p_r\) ， \(p_i\) 相異 Fermat 素數），其完整證明需要 5.3 節的體論與 6.1 節的 Galois 對應——一條從時鐘群（2.3 節本原根）到圓規直尺的完整邏輯鏈，本節的分圓多項式是中繼站。

場景四：多項式環的「運算視角」——自由對象。 \(R[x]\) 是「在 \(R\) 上自由添加一個可交換元素」的萬能構造：給任何環同態 \(R \to S\) 與元素 \(s \in S\) ，存在唯一同態 \(R[x] \to S\) 把 \(x\) 送為 \(s\) （萬有性質，9.2 節的術語預告）。這解釋了「求值」為何自動是同態、也解釋了多項式環在範疇論中的原型地位。多項式不只是「代數的基本對象」，而是範疇論意義下的萬用插座——第 9 章將把這種「唯一延拓」的思想提煉為普遍原理。

補充：Gauss 引理——從 \(\mathbb{Z}\) 到 \(\mathbb{Q}\) 的架橋#

在 \(\mathbb{Z}[x]\) 與 \(\mathbb{Q}[x]\) 之間判斷不可約性，需要 Gauss 引理（1801）：整係數多項式在 \(\mathbb{Q}\) 上可約 ⟺ 在 \(\mathbb{Z}\) 上可約（配合「本原化」除以係數 gcd）。證明核心：本原多項式之積仍本原（用素數 \(p\) 對係數的「第一個不被整除處」做模 \(p\) 分析）。這條引理使 Eisenstein（其證明在 \(\mathbb{Z}\) 層面進行）的結論自動推廣到 \(\mathbb{Q}\) ，也使「 \(\mathbb{Q}\) 上的代數數」研究可以全程留在整數世界。在兩個環之間架橋，常比在任一環內深挖更有力——這是環論方法論的又一範式。

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

  • **多項式環 \(R[x]\) **：形式表達式按卷積乘法構成的環。
  • 次數：最高非零項下標；整環上 \(\deg fg = \deg f + \deg g\) 。
  • 帶餘除法： \(f = qg + r\) ， \(\deg r < \deg g\) （需體係數）。
  • 不可約多項式：多項式世界的素數。
  • Eisenstein 判別法：素數整除鏈判定不可約。
  • **分圓多項式 \(\Phi_n\) **：本原單位根的極小多項式，次數 \(\varphi(n)\) 。
  • 本原多項式 / Gauss 引理：係數 gcd 為 1 的多項式 / 其積仍本原。
  • 主理想整環 / UFD：理想皆主 / 分解唯一（ \(\mathbb{F}[x]\) 是 PID， \(\mathbb{Z}[x]\) 僅 UFD）。

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

  • 1801：Gauss《算術研究》：Gauss 引理、分圓理論、 \(\mathbb{F}_p[x]\) 不可約計數。
  • 1796：Gauss 正十七邊形作圖。
  • 1799：Gauss 首證代數基本定理。
  • 1824：Abel 五次不可根式解（多項式環語言下的最終形式，6.2 節）。
  • 1846/1850：Eisenstein 判別法（經 Schönemann 1846 亦有獨立版本）。
  • 1893：Weber 體論：多項式係數體的明確要求。
  • 1930：van der Waerden：形式多項式環的教科書定義。
  • 1965：Buchberger Gröbner 基——多項式環的計算化。
  • 2001：AES 標準採用 \(\mathbb{F}_2[x]\) 模 \(x^8 + x^4 + x^3 + x + 1\) 的算術。

深化問答三則#

問：為什麼帶餘除法需要「體」而普通加減乘不需要？ 答：因為長除法的每一步要「用首項消首項」，即需要首係數的乘法逆。 \(\mathbb{Z}[x]\) 中 \(2x\) 除 \(x\) 沒有商（ \(1/2\) 非整數），除法鏈斷裂。可見「體」不是更強的環的奢侈品，而是「除法可執行」的最低配置——這正是「體」這個概念被單獨抽出來命名的原因（第 5 章的主題由此獲得動機）。

問：Eisenstein 判別法看起來「湊巧」，它背後的原理是什麼？ 答：原理是模 \(p\) 化簡：把 \(\mathbb{Z}[x]\) 的分解問題降到 \(\mathbb{F}_p[x]\) 。Eisenstein 條件使模 \(p\) 後 \(f \equiv a_n x^n\) （單項式），而單項式的「唯一分解型」極簡，任何原分解都會被迫把 \(p\) 因子集中在一處，違反 \(p^2 \nmid a_0\) 。判別法是一個「精心挑選的投影」：選一個使問題變得透明的模 \(p\) 世界。尋找好投影，是代數技巧的核心來源。

問：本節與第 1 章「解方程」的關係該怎樣理解？ 答：第 1 章問「如何求根」，本節問「根的對象（多項式）內部有什麼結構」。三百年間問題的方向反轉了：從「在係數上操作以求根」變成「在多項式環上研究分解與擴張」。求根公式（1.2 節）是操作觀點的極限；不可約性與擴張次數（本節、第 5 章）是結構觀點的起點。方程論的終點不是公式，而是環——這是本書前四章的總路線。

（本節完）