有限域

在數學中，有限域（英語：finite field）或伽羅瓦域（英語：Galois field，為紀念埃瓦里斯特·伽羅瓦命名）是包含有限個元素的域。與其他域一樣，有限域是進行加減乘除運算都有定義並且滿足特定規則的集合。有限域最常見的例子是當 p 為素數時，整數對 p 取模。

有限域的元素個數稱為它的階。

有限域在許多數學和計算機科學領域的基礎，包括數論、代數幾何、伽羅瓦理論、有限幾何學、密碼學和編碼理論。

定理

• 有限域的階（有限域中元素的個數）是一個素數的冪。
• 對於每個素數p和每個正整數n在同構的意義下存在惟一的${\displaystyle p^{n}}$階的有限域，並且所有元素都是方程 ${\displaystyle x^{p^{n}}-x=0}$ 的根，該域的特徵為p。
• 有限域的乘法群是循環群。即若F是有限體，則存在${\displaystyle \alpha \in F}$使得${\displaystyle F^{*}=\{x\in F|x\neq 0\}=\langle \alpha \rangle }$。
• 有限域是完美域，即它的任何代數擴張一定是可分擴張。
• 有限域的有限擴張一定是伽羅瓦擴張，並且對應的伽羅瓦群是循環群。

存在性與唯一性

設 q = pⁿ 為質數冪， F 為多項式

${\displaystyle P=X^{q}-X}$

於質數域 GF(p) 上的分裂域。換言之， F 是最低階的有限域，使得 P 在 F 內有 q 個互異的根（注意 P 的形式導數（英語：formal derivative）為 ${\displaystyle -1\neq 0}$ ，因此 P 無重根）。

利用二項式定理，可證恆等式

${\displaystyle (x+y)^{p}=x^{p}+y^{p}}$

在特徵為 p 的域上成立（中一新生之夢）。此恆等式說明 P 任兩根之和或積仍為 P 的根。同時， P 的根的乘法逆元仍是根，因此 P 的根構成一個 q 階的域。由 F 的最小性，可知此域即為 F。

由於分裂域在同構意義下唯一， q 階域也在同構意義下唯一（已證其為 ${\displaystyle P=X^{q}-X}$ 的分裂域）。而且，若域 F 有一個階為 ${\displaystyle q=p^{k}}$ 的子域，則其元素恰為 ${\displaystyle X^{q}-X}$ 的 q 個根，所以 F 不能包含另一個階為 q 的子域。

E·H·摩爾於 1893 年證明了以下的分類定理，可作為本節的總結：^[1]

有限域的階為質數冪。對任意一個質數冪 q, 都存在 q 階的域，並且任意兩個 q 階的域都同構。該些域中，任意的元素 x 都滿足

${\displaystyle x^{q}=x,}$

且多項式 X^q − X 可分解成

${\displaystyle X^{q}-X=\prod _{a\in F}(X-a).}$

由此可知，GF(pⁿ) 有同構於 GF(p^m) 的子域當且僅當 m 整除 n；該情況下，僅有唯一的子域與 GF(p^m) 同構。多項式 X^pm − X 整除 X^pn − X 也是當且僅當 m 整除 n.

弗羅貝尼烏斯自同構和伽羅瓦理論

設 p 為質數， q = pⁿ 為質數冪。

在 GF(q) 中，恆等式 (x + y)^p = x^p + y^p 說明映射

${\displaystyle \varphi :x\mapsto x^{p}}$

是 GF(q) 上 GF(p)-線性的域自同構，其保持子域 GF(p) 的元素。該映射稱為弗羅貝尼烏斯自同構，得名於費迪南德·格奧爾格·弗羅貝尼烏斯。

記 φ^k 為 φ 的 k 次疊代，則

${\displaystyle \varphi ^{k}:x\mapsto x^{p^{k}}.}$

此前已證明 φⁿ 為恆同映射。若 0 < k < n, 則自同構 φ^k 並非恆同映射，否則多項式

${\displaystyle X^{p^{k}}-X}$

就有多於 p^k 個根，矛盾。

此外 GF(q) 並無其他 GF(p)-自同構。換言之，GF(pⁿ) 恰有 n 個 GF(p)-自同構，其為

${\displaystyle \mathrm {Id} =\varphi ^{0},\varphi ,\varphi ^{2},\ldots ,\varphi ^{n-1}.}$

以伽羅瓦理論觀之， GF(pⁿ) 是 GF(p) 的伽羅瓦擴展，且其伽羅瓦群為循環群。

弗羅貝尼烏斯映射為滿射，因此任意一個有限域都是完美域（英語：perfect field）。

一些小型的有限域

F₂:

+ 0 1 0 0 1 1 1 0

· 0 1 0 0 0 1 0 1

F₃:

+ 0 1 2 0 0 1 2 1 1 2 0 2 2 0 1

· 0 1 2 0 0 0 0 1 0 1 2 2 0 2 1

F₄: 考慮${\displaystyle x^{2}+x+1=0,}$ 方程的根不在F₂中。記其中一根為A, 則${\displaystyle A^{2}+A+1=0,}$且另一根為 ${\displaystyle B=A^{2}.}$

+ 0 1 A B 0 0 1 A B 1 1 0 B A A A B 0 1 B B A 1 0

· 0 1 A B 0 0 0 0 0 1 0 1 A B A 0 A B 1 B 0 B 1 A

參考文獻

1. Moore, E. H., A doubly-infinite system of simple groups, E. H. Moore; et al (編), Mathematical Papers Read at the International Mathematics Congress Held in Connection with the World's Columbian Exposition, Macmillan & Co.: 208–242, 1896

• 《近世代數》

參見

• 域論