5.2 有限體 GALOIS 體#

本章導言#

上一節（5.1）我們建立了體擴張的一般語言，但例題多集中在 \(\mathbb{Q}\) 與 \(\mathbb{R}\) 。這一節走向另一端：只有有限個元素的體。這類對象早在 Galois 之前就有人觸及——Euler 與 Gauss 研究過模 \(p\) 的算術，1830 年前後 Galois 更系統地研究了「模質數冪」的結構——但「有限體必為 \(p^n\) 個元素、且在同構意義下唯一」這個完整圖景，要到二十世紀初才被公理化地固定下來。有限體是純粹結構思維的勝利：它不是被「發明」來解某個方程的，而是被公理逼出來的——公理如此，這些對象就必然存在、必然唯一。今日你手機上的每一次加密通訊、每一個 QR 碼的糾錯，都在 \(\mathbb{F}_{2^m}\) 上運算。

歷史前因：從同餘算術到 GALOIS 的 1830 論文#

歷史主鏈如下：

值得注意的驅動關係：Galois 在 1830 年寫這篇附錄時，並不是為了密碼學或編碼，而是為他自己的方程理論服務——有限體給了他一個乾淨的小模型，在其中「係數、根、置換」可以全部算得出來。這是「理論工具反哺理論自身」的典型例子。

定義與第一個例子： \(\mathbb{F}_p\)#

定義 5.2.1：一個體（field）是集合 \(F\) 配兩個運算 \(+, \times\) ，滿足： \((F,+)\) 是交換群、 \((F\setminus\{0\},\times)\) 是交換群、分配律成立，且 \(1 \neq 0\) 。

若 \(F\) 只有有限個元素，記 \(|F| = q\) 。

定理 5.2.2（特徵）：任何有限體的特徵是質數 \(p\) ，且 \(F\) 自然包含 \(\mathbb{F}_p = \mathbb{Z}/p\mathbb{Z}\) 作為最小子體。

證明思想：考慮 \(1, 1+1, 1+1+1, \dots\) 。因 \(F\) 有限，必有 \(m < n\) 使 \(\underbrace{1+\cdots+1}_m = \underbrace{1+\cdots+1}_n\) ，故某個正整數 \(k\) 滿足 \(k \cdot 1 = 0\) 。取最小的這種 \(k\) 。若 \(k = ab\) 為合成數，則 \((a\cdot1)(b\cdot1) = 0\) ，由體無零因子得 \(a\cdot 1 = 0\) 或 \(b\cdot 1 = 0\) ，與最小性矛盾。故 \(k=p\) 為質數。 \(\blacksquare\)

最簡單的例子就是 \(\mathbb{F}_p\) ：Gauss 在《Disquisitiones》中已完全掌握。例如 \(\mathbb{F}_5 = \{0,1,2,3,4\}\) ，其中 \(3^{-1} = 2\) （因 \(3\cdot 2 = 6 \equiv 1\) ）。

為什麼元素個數必是質數的冪#

定理 5.2.3：有限體 \(F\) 的元素個數為 \(p^n\) ，其中 \(p = \mathrm{char}(F)\) 。

證明思想：把 \(F\) 看成 \(\mathbb{F}_p\) 上的向量空間（這正是第 7 章「模」的思想在體上的預演：體是環，體是其上的模）。設維數為 \(n\) ，取基 \(e_1, \dots, e_n\) ，則每個元素唯一地寫成

故 \(|F| = p^n\) 。 \(\blacksquare\)

這裡的關鍵轉折是視角的切換： \(F\) 本來是一個「帶乘法的集合」，我們卻刻意丟掉乘法、只用加法來數它。這種「在什麼係數上看對象」的視角，正是線性代數進入代數學的入口。

存在性：用不可約多項式製造 \(\mathbb{F}_{p^n}\)#

光知道個數還不夠，我們要造出這些體。方法沿襲 4.3 節（多項式環）與 5.1 節（體擴張）的工具：

定理 5.2.4：對每個質數 \(p\) 與正整數 \(n\) ，取 \(\mathbb{F}_p[x]\) 中一個 \(n\) 次不可約多項式 \(f\) ，則商環

是一個 \(p^n\) 元的體。

證明思想： \(\mathbb{F}_p[x]\) 是主理想整環（4.3）， \((f)\) 在 \(f\) 不可約時是極大理想，故商環是體（這正是 4.2 節「理想與商環」的直接應用）。作為 \(\mathbb{F}_p\) 向量空間，它以 \(1, x, \dots, x^{n-1}\) 為基，故有 \(p^n\) 個元素。 \(\blacksquare\)

Moore（1893）唯一性定理：元素個數相同的有限體必同構。所以「 \(\mathbb{F}_{p^n}\) 」這個記號是良定的——不管用哪個不可約多項式去造，得到的都是同一個（同構意義下）。

FROBENIUS 自同構：有限體的心跳#

有限體有一個內建的自同構，整個理論繞著它轉：

定理 5.2.5：映射 \(\sigma(x) = x^p\) 是 \(\mathbb{F}_{p^n}\) 的自同構，且恰好保持 \(\mathbb{F}_p\) 不動。稱為 Frobenius 自同構。

證明：在特徵 \(p\) 下，二項式定理的中間二項係數 \(\binom{p}{k}\) （ \(0<k<p\) ）都被 \(p\) 整除，故

乘法保持顯然： \((xy)^p = x^p y^p\) 。又 \(x \in \mathbb{F}_p \iff x^p = x\) （ \(\mathbb{F}_p\) 恰是 \(X^p - X\) 的根集合，共 \(p\) 個根，無重根因導數為 \(-1 \neq 0\) ）。 \(\blacksquare\)

這個 \(\sigma\) 的循環生成群 \(\langle \sigma \rangle\) 同構於 \(\mathbb{Z}/n\) ——這正是第 6 章 Galois 對應在有限體上的具體化身：**Galois 群 \(\mathrm{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p) \cong \mathbb{Z}/n\) **，由 Frobenius 生成。這是全書最容易完整算出的非平凡 Galois 群。

乘法群是循環群#

定理 5.2.6： \(\mathbb{F}_{q}^{\times} = \mathbb{F}_q \setminus \{0\}\) 是 \(q-1\) 階循環群。

證明思想：這是 2.3 節循環群理論與 3.3 節（群作用）的合奏。 \(\mathbb{F}_q^\times\) 是交換群，設其指數（最大階元素的階）為 \(m\) 。交換群中每個元素的階都整除 \(m\) （可用 \(\mathbb{Z}/m\) 上的多項式根數論證：多項式 \(X^m - 1\) 在體中至多 \(m\) 個根，而全體 \(q-1\) 個元素都是它的根，故 \(q - 1 \le m\) ；又 \(m \le q-1\) ，故 \(m = q-1\) ）。 \(\blacksquare\)

階為 \(q-1\) 的那個元素稱為原根（primitive root）。Euler 與 Gauss 當年苦苦追尋的「存在原根」，在這個框架下是一個多項式根數的簡單推論。

具體例題：手工構造 \(\mathbb{F}_4\)#

例題 5.2.1：構造四元素體 \(\mathbb{F}_4\) ，寫出其加法與乘法表，並找出原根與 Frobenius 自同構。

解： \(X^2 + X + 1\) 在 \(\mathbb{F}_2\) 上無根（代入 \(0,1\) 均不為 \(0\) ），故不可約。令 \(\alpha\) 滿足 \(\alpha^2 + \alpha + 1 = 0\) ，則

特徵為 \(2\) ，故 \(\alpha + \alpha = 0\) ，且 \(\alpha^2 = \alpha + 1\) （移項注意 \(-1 = 1\) ）。由此：

所以 \(\alpha\) 的階是 \(3\) ，是 \(\mathbb{F}_4^\times\) （ \(3\) 階循環群）的原根。乘法表完全由 \(\alpha^3 = 1\) 決定：

Frobenius 自同構（此處 \(p=2\) ）為 \(\sigma(x) = x^2\) ：

它交換 \(\alpha\) 與 \(\alpha+1\) ，正如 \(\mathbb{C}\) 的共軛交換 \(i\) 與 \(-i\) ——Frobenius 就是有限體世界的「共軛」。 \(\blacksquare\)

注意 \(\mathbb{F}_4 \not\cong \mathbb{Z}/4\) ：後者中 \(2 \cdot 2 = 0\) ，有零因子，根本不是體。這正是定理 5.2.3 說「個數必為質數冪」而 \(\mathbb{Z}/4\) 卻失敗的原因—— \(\mathbb{F}_4\) 的加法群是 Klein 四元群 \(V_4\) （回顧 3.2 節），不是循環群。

與其他領域的關聯#

• 往第 6 章： \(\mathrm{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p) \cong \mathbb{Z}/n\) 由 Frobenius 生成，是 Galois 對應最小的完整實例；中間體恰為 \(\mathbb{F}_{p^d}\) （ \(d \mid n\) ），與 \(\mathbb{Z}/n\) 的子群一一對應。
• 往第 10 章：RSA 在 \(\mathbb{Z}/p\mathbb{Z}\) 的乘法群上運算；橢圓曲線密碼在有限體 \(\mathbb{F}_p\) 、 \(\mathbb{F}_{2^m}\) 上定義。沒有有限體，就沒有現代公鑰密碼。
• 編碼理論：QR 碼、CD、太空探測器使用的 Reed–Solomon 碼，其符號就取自 \(\mathbb{F}_{256} = \mathbb{F}_{2^8}\) ；糾錯能力來自多項式「 \(d\) 次多項式由 \(d+1\) 個點唯一決定」這一純代數事實。
• 往第 8 章：有限體是「離散對稱」，Lie 的連續群是「連續對稱」，兩者共享群公理這個公共語言——對稱的數學不分離散與連續。

結語#

有限體的故事展示了一種新的數學生產方式：Galois 在 1830 年研究它，是為了打磨自己的方程理論；Moore 在 1893 年證明唯一性，靠的是公理化方法；到了二十世紀後半，Shannon 與編碼學家發現它是資訊時代的地基。一個被純粹結構思考逼出來的對象，最後成為工程實務的標準零件——這是本書反覆出現的主旋律，下一節我們用同一套體論工具，去審判兩千年的幾何懸案：尺規作圖。