形式陈述

有限域是底层集合有限的域。任意有限域 $F$$F$ 的特征为某个素数 $p$$p$，且作为素子域 $\mathbb F_p$${\mathbb{F}}_p$ 上有限维向量空间，其元素数为

$$ |F|=p^n $$$$|F|=p^n$$

某个 $n\ge1$$n\ge 1$。反之，对每个素数幂 $q=p^n$$q=p^n$，存在含 $q$$q$ 个元素的域，且在同构意义下唯一，记作 $\mathbb F_q$${\mathbb{F}}_q$。$\mathbb F_q$${\mathbb{F}}_q$ 恰是代数闭包中多项式 $x^q-x$$x^q-x$ 的全部根；其乘法群 $\mathbb F_q^\times$${\mathbb{F}}_q^{\times }$ 是阶 $q-1$$q-1$ 的循环群。$\mathbb F_{p^m}$${\mathbb{F}}_{p^m}$ 嵌入 $\mathbb F_{p^n}$${\mathbb{F}}_{p^n}$ 当且仅当 $m\mid n$$m\mid n$。

直觉

有限域同时受加法向量空间和乘法循环群约束；“大小必须是素数幂”和“每个素数幂只有一种域”使其结构异常刚性。

例子与边界

$\mathbb F_p=\mathbb Z/p\mathbb Z$${\mathbb{F}}_p=\mathbb{Z}/p\mathbb{Z}$。$\mathbb F_4$${\mathbb{F}}_4$ 可构造为 $\mathbb F_2[x]/(x^2+x+1)$${\mathbb{F}}_2[x]/(x^2+x+1)$，其非零元素形成阶 $3$$3$ 循环群。不存在含 $6$$6$ 个元素的域，因为 $6$$6$ 不是素数幂。$\mathbb Z/p^2\mathbb Z$$\mathbb{Z}/p^2\mathbb{Z}$ 有 $p^2$$p^2$ 个元素但含零因子，不是域，说明“元素数是素数幂”只是必要而非任意环的充分条件。不同不可约多项式可给出不同外观的构造，但结果域同构；这种唯一性不是说它们作为某个固定大域的子集字面相同。有限域并非都等于素域，只有 $n=1$$n=1$ 时如此。

推论与应用

有限域用于纠错码、密码学、有限几何和多项式算法；其 Frobenius 自同构与子域格也是 Galois 理论的最清晰模型。

参考资料

• David S. Dummit and Richard M. Foote, Abstract Algebra, 3rd ed., Wiley, 2004，Ch. 14, existence and uniqueness of finite fields。
• Michael Artin, Algebra, 2nd ed., Pearson, 2011，Ch. 13, finite fields and cyclic multiplicative groups。