有限域 GF(q)

有限域（finite field，亦称伽罗瓦域 Galois field）是经典代数码的运算舞台：Reed–Solomon 码的多项式赋值、BCH 码的取根设计，都要求符号集上能做加、乘、除。有限域存在当且仅当阶为素数幂 q=p^m，且在同构意义下唯一；编码理论里最常用的是 GF(2^m)，它让"一个符号= m 个比特"的打包成为可能。量子纠错侧，单比特 Pauli 群商掉相位后恰好是 GF(4)，CRSS 的 GF(4) 构造由此而来。

为什么需要有限域

GF(2) 上只有异或与逻辑乘，构造 $[7,4,3]$ 汉明码足够；但 Reed–Solomon 码要对多项式在 $n$ 个互异点上赋值、BCH 码要求 $x^n-1$ 的根，这些操作都需要除法（除以非零元）。一个集合连同两种运算构成域，当且仅当每个非零元素都有乘法逆元。有限域的基本定理：存在 $q$ 阶域当且仅当 $q=p^m$（$p$ 素数），且同阶域彼此同构，记 ${\mathbb{F}}_q$ 或 $\mathrm{GF}(q)$Albert & Faist 2026 (arXiv)。

素域 ${\mathbb{F}}_p$ 就是模 $p$ 整数（$p$ 必须是素数，否则非零元未必有逆）；扩域要靠多项式商环构造。

GF(2^m) 的构造：多项式商环

取 $m$ 次不可约多项式 $p(x)\in {\mathbb{F}}_2[x]$，定义

${\mathbb{F}}_{2^m}={\mathbb{F}}_2[x]/(p(x)),$

元素是次数 $<m$ 的多项式（共 $2^m$ 个），加法是系数按模 2 逐位相加（即按位异或），乘法是多项式乘法后再模 $p(x)$ 取余，除法由扩展欧几里得算法给出。一个常用实例：$p(x)=x^8+x^4+x^3+x^2+1$ 是 ${\mathbb{F}}_2$ 上的本原多项式，Kasai 的 girth-16 非二元 LDPC 实验即用它定义 ${\mathbb{F}}_{2^8}$，再以 $8\times 8$ 伴侣矩阵展开成二元校验矩阵Kasai 2025 (arXiv)。

本原元与循环乘法群

${\mathbb{F}}_q$ 的非零元构成 $q-1$ 阶乘法群 ${\mathbb{F}}_q^{\ast }$，且这个群是循环群：存在本原元（primitive element）$\alpha$ 使 ${\mathbb{F}}_q^{\ast }=\{1,\alpha ,{\alpha }^2,\dots ,{\alpha }^{q-2}\}$。证明思路：交换群中若元素阶的最大值 $e$ 小于群阶，则多项式 $x^e-1$ 将有超过 $e$ 个根，矛盾；故存在阶恰为 $q-1$ 的元素。每个非零元都可写成 ${\alpha }^i$，“乘法=指数相加”——工程上用指数表与 Zech 对数把域乘法做成查表 $O(1)$ 操作，这是 RS/BCH 译码器能硬件化的基础。若商环代表元 $x$（即 $\alpha$）本身是本原元，则称 $p(x)$ 为本原多项式。

共轭根、最小多项式与分圆陪集

Frobenius 映射 $z\mapsto z^2$ 保持加法与乘法（$(a+b{)}^2=a^2+b^2$ 在特征 2 下成立），因此 $\alpha$ 与 ${\alpha }^2,{\alpha }^4,{\alpha }^8,\dots$ 共轭：以 $\alpha$ 为根的 ${\mathbb{F}}_2$ 上多项式必以整批共轭元为根，它们有同一个最小多项式

$m_{\alpha }(x)={\prod }_i(x-{\alpha }^{2^i}),$

求积跑遍互异的共轭元。把指数按”乘 2 模 $n$“归类得到分圆陪集（cyclotomic coset）$C_i=\{i,2i,4i,\dots \}\mathrm{mod}n$。例如 $n=15$（即 ${\mathbb{F}}_{16}$ 中的 15 次单位根）：

$C_1=\{1,2,4,8\},C_3=\{3,6,12,9\},$

每批 4 个元素对应一个 4 次最小多项式。BCH 码”取连续根定距离、按陪集取整批定维数”的设计流程完全建立在这个结构上（见bch-codes）Bose & Ray-Chaudhuri 1960 (Information and Control)。

域的选择如何决定码

• Reed–Solomon 码需要 $n$ 个互异赋值点，故 $n\le q$；二元实现取 ${\mathbb{F}}_{2^m}$，一个符号携带 $m$ 比特，[255,223,33] 深空标准码即取 $q=2^8$Reed & Solomon 1960 (J. SIAM)。
• BCH 码要求生成多项式的根是 $n$ 次单位根，故 $n\mid 2^m-1$；域取得越大，可用的 $n$ 越密。
• 突发错误：${\mathbb{F}}_{2^m}$ 上一个符号错等于至多 $m$ 个连续比特错，符号级距离在比特层面被”放大”——大域不是负担而是突发信道的设计杠杆（见reed-solomon）。

量子侧：GF(4) 与 Pauli 群

把单比特 Pauli 算符（不计相位）对应到 ${\mathbb{F}}_4=\{0,1,\omega ,\bar{\omega }\}$ 的 $I,X,Z,Y$，Pauli 群的乘法表就变成 GF(4) 的乘法表，对易判据变成 GF(4) 上的迹型埃尔米特内积。Calderbank–Rains–Shor–Sloane 沿此路线把”加性量子码”（即稳定子码）化为 GF(4) 上的加性经典码，量子码的界与构造由此直接借用经典编码的整套工具Calderbank et al. 1998 (IEEE Trans. Inf. Theory)；qudit 推广见qudit-codes，基于 GF(4) 循环码的量子码族见perfect-quantum-codes。

延伸阅读

• bch-codes
• reed-solomon
• linear-codes
• qudit-codes
• perfect-quantum-codes