Counting Schur Rings over Cyclic Groups of Semi-prime Order

技术摘要：半素数阶循环群上 Schur 环的计数

问题陈述
本文研究了循环群上 Schur 环的枚举问题，特别关注阶数为半素数 $n = pq$（其中$p$和$q$是互异素数）的群以及阶数为$n = 4p$（其中$p$是奇素数）的群。令$\Omega(n)$表示循环群$Z_n$ 上不同 Schur 环的数量。虽然第二作者之前的研究已经建立了枚举循环 Schur 环的一般方法，但本文为 $\Omega(pq)$ 和 $\Omega(4p)$ 提供了显式的闭式公式，将已知的枚举范围扩展到了 400 阶。

方法论
作者采用了由 Leung 和 Man 建立的分类框架，即循环群上 Schur 环的基本定理。该定理指出，所有循环群上的 Schur 环都属于以下四类之一：

1. 平凡 Schur 环： 由 $\{1, G \setminus \{1\}\}$ 生成的环。
2. 自同构 Schur 环： 与自同构群 $\text{Aut}(Z_n)$ 的子群相关的环。
3. 直积： 通过群的直因子上的 Schur 环进行张量积形成的环。
4. 楔积（Wedge products）： 通过在群的一个适当截面 $U = [K, H]$ 上进行“楔”操作构造的环，这需要特定的相容性条件。

该方法涉及基于 Schur 环“楔核（wedge core）”的递归计数策略。如果一个 Schur 环可以表示为楔积，则称其为可分解的；否则，它是不可分解的。总数 $\Omega(n)$ 是通过对以下各项进行求和得出的：

• 单个平凡环。
• 直积（在半素数情况下，通常是自同构的）。
• 楔可分解环（通过分析适当截面和相容子环来进行计数）。
• 不可分解自同构环（通过确定 $\text{Aut}(Z_n)$ 的子群数量来进行计数）。

为了计算自同构环，论文利用了同构关系 $\text{Aut}(Z_n) \cong \prod \text{Aut}(Z_{p_i^{e_i}})$。作者应用了 Călugăreanu 关于循环 $p$-群直积 $Z_{p^k} \times Z_{p^\ell}$ 的子群数量的引理，以计算 $|L(\text{Aut}(Z_n))|$。

主要贡献与结果

1. 半素数情况 ($n = pq$)
论文基于 $p-1$ 和 $q-1$ 的素因子分解推导出了 $\Omega(pq)$ 的一般公式。

• 定理 1.1： 令 $p = \prod_{i=1}^n r_i^{k_i} + 1$ 且 $q = \prod_{i=1}^n r_i^{\ell_i} + 1$，其中 $\{r_i\}$ 是互异素数。Schur 环的数量由下式给出：
  $$\Omega(pq) = \left( \prod_{i=1}^n \sum_{j=0}^{\min(k_i, \ell_i)} \phi(r_i^j)(k_i - j + 1)(\ell_i - j + 1) \right) + 2 \prod_{i=1}^n (k_i + 1)(\ell_i + 1) + 1$$
  此处，第一项计算自同构环（通过自同构群的子群格），第二项计算楔可分解环，$+1$ 则计入平凡环。
• 推论： 论文提供了针对特定情况的简化公式，包括：
  • 安全素数（Safe Primes）： 如果 $p$ 和 $q$ 是安全素数（$p=2r+1$），则 $\Omega(pq) = 53$。
  • 费马素数（Fermat Primes）： 提供了针对 $p=3$ 和 $p=5$ 的特定简化。
  • 一般 $2p$ 情况： $\Omega(2p) = 3x + 1$，其中 $x$ 是 $p-1$ 的约数个数。

2. 阶数为 $4p$ 的情况
论文处理了更为复杂的阶数为 $4p$ 的情况。

• 定理 1.6： 令 $p = 2^k a + 1$（其中 $a$ 为奇数），且 $x$ 为 $p-1$ 的约数个数。Schur 环的数量为：
  $$\Omega(4p) = \frac{15k + 14}{k + 1}x + 3$$
  证明过程涉及对阶数为 $2, p, 4$ 和 $2p$ 的楔核进行详细分析，并仔细处理楔积与直积之间的重叠，以避免重复计数。
• 特殊情况： 对于费马素数（$p=2^k+1$），公式简化为 $\Omega(4p) = 15k + 17$。对于安全素数，$\Omega(4p) = 61$。

意义与主张
本文定位为对第二作者此前发表作品 [4, 5, 6] 的延续。其主要意义在于为 $\Omega(n)$ 在半素数和 $4p$ 情况下的计算提供了精确、可计算的公式，而此前这些情况只能通过计算机枚举小阶数来获取。

• 验证： 作者指出，他们的公式与之前对 63 阶以下（Ziv-Av [8]）及 400 阶以下（第二作者 [4]）循环群上 Schur 环的计算机生成枚举结果完全吻合。
• 范围： 本文并不声称解决了所有循环群的枚举问题，而是将其贡献限制在 $pq$和$4p$ 这两种特定的结构化情形中。文中提供了一个 100 以下所有此类半素数的数值表，展示了所推导公式的实用性。
• 理论背景： 该工作强化了 Schur 环、关联方案（association schemes）与代数图论之间的联系，利用自同构群的结构性质降低了枚举的组合复杂度。