Counting Schur Rings over Cyclic Groups of Semi-prime Order

技術的要約：半素数次数の巡回群におけるシューア・リングの計数

問題設定
本論文は、有限巡回群上のシューア・リングの列挙問題、特に半素数次数 $n = pq$（$p$と$q$は異なる素数）の群および次数$n = 4p$（$p$は奇素数）の群に焦第一的に焦点を当てている。$\Omega(n)$を巡回群$Z_n$上の相異なるシューア・リングの数とする。第2著者の先行研究では、巡回的シューア・リングを列挙するための一般的な手法が確立されているが、本論文は$\Omega(pq)$および$\Omega(4p)$ に関する明示的な閉形式の公式を提供し、これまでの400次までの列挙を拡張するものである。

手法
著者らは、LeungとManによって確立された分類フレームワークである「巡回群におけるシューア・リングの基本定理」を採用している。この定理は、巡回群上のすべてのシューア・リングが以下の4つのファミリーのいずれかに属することを述べている：

1. 自明なシューア・リング： $\{1, G \setminus \{1\}\}$ によって生成される環。
2. 自己同型シューア・リング： 自己同型群 $\text{Aut}(Z_n)$ の部分群に関連する環。
3. 直積： 群の直因子上のシューア・リングのテンソル積によって形成される環。
4. ウェッジ積： 群の適切なセクション $U = [K, H]$ 上で「ウェッジ」演算を用いて構成される環であり、特定の適合条件を必要とする。

手法には、「ウェッジ・コア」に基づく再帰的な計数戦略が含まれる。シューア・リングがウェッジ積として表現できる場合、それは分解可能（decomposable）であるとし、そうでなければ非分解的（indecomposable）であるとする。総数 $\Omega(n)$ は、以下の計数の和として導出される：

• 単一の自明な環。
• 直積（半素数の場合、しばしば自己同型的である）。
• ウェッジ分解可能なリング（適切なセクションと適合する部分環を分析することによって計数される）。
• 非分解的な自己同型リング（$\text{Aut}(Z_n)$ の部分群の数を決定することによって計数される）。

自己同型リングを計数するために、論文では同型関係 $\text{Aut}(Z_n) \cong \prod \text{Aut}(Z_{p_i^{e_i}})$ を利用する。著者らは、直積の巡回 $p$ 群 $Z_{p^k} \times Z_{p^\ell}$ の部分群の数を計算するためのCălugăreanuによる補題を適用し、$|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\}$ は相異なる素数）とする。シューア・リングの数は以下で与えられる：
  $$\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項は（自己同型群の部分群格子を介して）自己同型リングを数え、第2項はウェッジ分解可能なリングを数え、$+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$ の約数の数とする。シューア・リングの数は以下の通りである：
  $$\Omega(4p) = \frac{15k + 14}{k + 1}x + 3$$
  この証明には、二重計数を避けるために、ウェッジ積と直積の重複を注意深く考慮しながら、次数 $2, p, 4, 2p$ のウェッジ・コアに関する詳細な分析が含まれている。
• 特殊なケース: フェルマー素数（$p=2^k+1$）の場合、公式は $\Omega(4p) = 15k + 17$ に簡略化される。安全素数の場合、$\Omega(4p) = 61$ である。

意義と主張
本論文は、第2著者の以前の出版物 [4, 5, 6] によって開始された研究の継続として位置づけられている。その主な意義は、これまで小次数においてコンピュータによる列挙でのみアクセス可能であった半素数および $4p$ のケースに対し、$\Omega(n)$ の正確で計算可能な公式を提供したことにある。

• 検証: 著者らは、これらの公式が、Ziv-Av [8] による次数63までの巡回群上のシューア・リングのコンピュータ生成による列挙、および第2著者 [4] による次数400までの列挙と完全に一致していることを述べている。
• 範囲: 本論文は、すべての巡回群の列挙問題を解決することを主張しているのではなく、特定の構造的ケースである $pq$および$4p$ に限定している。また、導出された公式の有用性を示すために、100未満のすべてのそのような半素数の包括的な値の表を提供している。
• 理論的背景: 本研究は、シューア・リング、結合類（association schemes）、および代数的グラフ理論の間のつながりを強化するものであり、列挙の組合せ論的な複雑さを軽減するために、自己同型群の構造的特性を利用している。