On Permutation Groups of Cyclic Codes over Finite Fields

技术摘要：有限域上循环码的置换群

问题陈述
循环码的置换群是编码理论的基础，在确定重量分布和译码算法方面具有应用价值。尽管线性码的置换群已得到广泛研究，但完整的分类仅存在于少数特定类别中（例如汉明码、Reed-Muller 码）。具体而言，具有复合长度和特定生成多项式的循环码的置换群在很大程度上仍未被分类。本文旨在解决确定任意有限域 $\mathbb{F}_{r^\alpha}$ 上长度为 $hp$、$r^m p^n$和$pq$的循环码置换群的问题，其中$p, q, r$为互异素数，$h, m, n$为整数。主要关注点在于生成多项式为$x^{pq}-1$的因子，但不是$x^p-1$或$x^q-1$ 的因子的码，这一情形此前未被探索。

方法论
作者采用了一种新颖的方法，利用循环码字的两种不同矩阵表示，将极长长度的码与素数长度的码联系起来。

1. 矩阵表示：对于长度为 $n$ 的码字 $c$ 和 $n$ 的因子 $\ell$，本文定义了：
   • 类型 1 ($M_{r\ell}$)：一个 $n/\ell \times \ell$ 的矩阵，其中第 $i$ 行包含符号 $(c_{i\ell}, \dots, c_{i\ell+\ell-1})$。
   • 类型 2 ($M_{c\ell}$)：一个 $\ell \times n/\ell$ 的矩阵，其中第 $i$ 列包含符号 $(c_{i\ell}, \dots, c_{i\ell+\ell-1})^T$。
     这些表示允许作者分别分析置换对行和列的作用。
2. ** wreath 积**：分析严重依赖于 wreath 积 ($A \wr H$) 的概念，以描述所得置换群的结构。
3. 归约至素数长度：通过分析生成多项式和矩阵结构，作者将寻找复合长度码的置换群的问题归约为已知素数长度码的置换群（具体利用关于素数长度 $p$ 的引理 1）。

主要贡献与结果
本文对三类特定的循环码的置换群进行了完整确定：

1. 长度为 $hp$ 的码：
   对于正整数 $h$ 和素数 $p$，设 $g(x)$ 为 $x^p-1$ 的因子。本文证明了循环码 $C_{hp, g(x)}$ 的置换群同构于 wreath 积 $S_h \wr G$，其中 $G$ 是素数长度 $p$ 的码 $C_{p, g(x)}$ 的置换群（定理 1）。这推广了此前仅限于二元域和不可约多项式的结果。

2. 长度为 $r^m p^n$ 的码：
   对于素数 $r \neq p$ 和整数 $m, n$，本文确定了码 $C_{r^m p^n, g(x^{r^u p^v})}$ 的置换群。结果表明，该置换群同构于 $G \wr S_{r^u p^v}$，其中 $G$ 是长度为 $r^{m-u} p^{n-v}$ 的码的置换群（定理 2 和推论 3）。这将范围扩展到了非不可约生成多项式以及更复杂的长度结构。

3. 长度为 $pq$ 的码：
   对于互异素数 $p, q \neq r$，本文研究了生成多项式为 $x^{pq}-1$ 的因子，但不是 $x^p-1$ 或 $x^q-1$ 的因子的码。具体而言，对于分圆多项式 $Q_{pq}(x)$ 和多项式 $(x-1)Q_p(x)Q_q(x)$，作者证明了置换群同构于直积 $S_p \times S_q$（定理 4）。

   • 该结果的意义：作者明确指出，这似乎是第一项确定生成多项式为 $x^{pq}-1$ 的因子但不是 $x^p-1$（或 $x^q-1$）的因子的循环码置换群的工作。
   • 本文进一步将其扩展到长度 $hpq$，表明该群为$S_h \wr (S_p \times S_q)$（推论 5）。

意义与主张
本文的主要意义在于建立了具有极长长度/特殊生成多项式的循环码的置换群与具有素数长度的循环码的置换群之间的强联系。通过利用这两种矩阵表示，作者成功分类了此前未分类的长度为 $hp$、$r^m p^n$和$pq$ 的置换群。

作者谦逊地指出，虽然结果涵盖了特定的长度和生成多项式，但它们提供了一个框架，可能在未来的工作中应用于更具体的长度（如 $pq^2$）和更一般的生成多项式。表 I 中给出的二元循环码的计算结果经 MAGMA 验证，与理论发现一致，加强了所推导同构的有效性。这项工作通过为这些特定码族中的译码和重量分布分析提供必要的群论结构，架起了抽象代数编码理论与实际工程应用之间的桥梁。