有限域

有限域同时受加法向量空间和乘法循环群约束；“大小必须是素数幂”和“每个素数幂只有一种域”使其结构异常刚性。有限整域中乘以非零元素是有限集合上的单射，因而也是满射，所以每个非零元素都有逆；这解释了为何“有限整域”自动成为域。有限域的大小不能任意取，只能是素数幂$p^n$，其中特征$p$ 决定素域，维数 $n$ 决定元素总数。

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

在 ${\mathbb{F}}_3$ 上，多项式 $x^2+1$ 无根，因而

确为域。若 $\alpha$ 是 $x$ 的剩余类，则 ${\alpha }^2=-1=2$，每个元素唯一写成 $a+b\alpha$。Frobenius 自同构满足

因为 ${\alpha }^3=-\alpha$；它的平方为恒等，固定域恰是 ${\mathbb{F}}_3$。所有九个元素都满足 $u^9=u$。不可约性不能省略：若改取可约多项式 $x^2-1$，则商环中 $(x-1)(x+1)=0$，出现非零零因子，所得对象不再是域。

有限域用于纠错码、密码学、有限几何和多项式算法。它可由多项式环公理库多项式环Polynomial ring系数来自给定环、以形式不定元构造的多项式集合。对不可约多项式取商构造，非零元素构成循环群；作为 $x^{p^n}-x$ 的分裂域公理库分裂域Splitting field使给定多项式完全分裂且由其全部根生成的最小扩域。，扩张 ${\mathbb{F}}_{p^n}/{\mathbb{F}}_p$ 是标准的Galois 扩张公理库Galois 扩张Galois extension · 伽罗瓦扩张同时正规且可分的代数扩张，使扩张次数与域自同构对称性在有限情形精确配平。，其Galois 群公理库伽罗瓦群Galois group固定基域的扩域自同构在复合下形成的群。由 Frobenius 生成。子域格因此成为 Galois 对应最清晰的模型之一。

算法里，有限域提供可精确实现的随机代数。通用哈希公理库通用哈希Universal hashing · Universal hash family从函数族随机选择哈希函数，使任意预先固定的不同键对以至多 1/m 的概率碰撞。用域上的线性/多项式族控制碰撞，线性 Sketch公理库线性 SketchLinear sketch以线性映射 Sf 压缩频率向量，使更新与分布式摘要可直接相加。让分片摘要可相加，编码型数据结构则借冗余符号恢复错误或缺失。若把运算搬到机器整数，必须明确模数、溢出与字长；普通截断乘法不再自动满足域公理。

在亚线性模型中，域结构只是协议和测试器使用的代数工具，并不替代资源声明。Equality 的通信指纹公理库Equality 通信问题Equality communication problem · EQ communication problem比较双方 n-bit 私有串是否完全相同，展示确定性完整传输与公共随机指纹之间的指数差异。把长串映到有限域元素后比较，成本仍按双方交换的 bit 与随机币模型计算；查询下界的多项式方法公理库查询下界的多项式方法Polynomial method for query lower bounds · Query polynomial method将 T-query 算法的接受概率表示为低次多项式，再用精确次数或近似次数排除过少查询。把接受概率表示为低次多项式，次数来自查询数而非域大小；BLR 线性测试公理库BLR 线性测试BLR linearity test · Blum-Luby-Rubinfeld linearity test以三个函数值检查 f(x)+f(y)=f(x+y)，并用 Fourier 一致性证明高通过率函数接近某个线性函数。则从域上抽取点并以拒绝概率刻画远离线性的函数。应用这些结论时必须分别固定域、采样分布、误差和 oracle 访问方式，不能把“在有限域上计算”本身当作低通信或少查询保证。