論文要約：有限群の Erdős-Ginzburg-Ziv 定数に関する研究

論文タイトル: THE ERD˝OS-GINZBURG-ZIV THEOREM CONSTANT OF FINITE GROUPS
著者: YANG ZHAO, GUOQING WANG
発表日: 2026 年 3 月 22 日（arXiv:2603.21052v1）

1. 問題の背景と定義

本論文は、組合せ数論の一分野である「ゼロ和理論（Zero-Sum Theory）」における重要な不変量であるErdős-Ginzburg-Ziv 定数（EGZ 定数） $E(G)$ の評価に関する研究である。

• 定義: 有限群 $G$（位数 $n$）に対して、$E(G)$ を「$G$ 上の任意の長さ $\ell$ の列 $(g_1, \dots, g_\ell)$ が、$n$ 個の異なる添字 $i_1, \dots, i_n$ を持ち、それらの積 $g_{i_1} * \dots * g_{i_n}$ が（順序を適切に並べ替えることで）単位元 $1$となるような部分列を含むような、最小の正整数$\ell$」として定義する。
• 歴史的経緯:
  • 1961 年、Erdős, Ginzburg, Ziv は $G$ が有限アーベル群の場合、$E(G) \le 2|G| - 1$ が成り立つことを証明した（実際には等号成立）。
  • 有限巡回群 $C_n$ に対しては $E(C_n) = 2n - 1$ であることが知られている。
  • 一般の有限群に対する上界として、Olson (1976) は $E(G) \le 2|G| - 1$ を示した。
• 未解決の予想: 2010 年、Gao と Li は、非巡回的な有限群 $G$ に対して $E(G) \le \frac{3|G|}{2}$ が成り立つという予想（Conjecture 1.1）を提唱した。
  • これまでに、奇数位数の群や特定の条件を満たす群（$2p^t$ 位数など）についてはこの予想が証明されていたが、一般の非巡回群、特に 4 で割り切れる位数を持つ群を含む完全な解決はなされていなかった。

2. 主要な結果

本論文の主要な成果は、Gao と Li の予想を**「位数が 4 で割り切れない非巡回有限群」のすべてに対して証明し、等号成立の条件を完全に特徴づけた**点にある。

定理 1.2 (Main Theorem):
$G$ を位数 $n$ の非巡回有限群とし、$4 \nmid n$（$n$ が 4 で割り切れない）とする。このとき、以下のことが成り立つ。

1. 上界: $E(G) \le \frac{3n}{2}$
2. 等号成立の条件: $E(G) = \frac{3n}{2}$ となるのは、$G$ が指数 2 の巡回部分群を持つ場合に限る（すなわち、$G$ が半直積 $C_{n/2} \rtimes C_2$ の形をとる場合）。

3. 手法と証明の概要

証明は、群の構造分類と、既知の補題を巧みに組み合わせることで構成されている。

3.1 準備と既知の補題

証明には以下の既知の結果や補題が用いられている。

• Davenport 定数 $d(G)$: 単位元を含まない部分列の最大長さ。$E(G) \ge d(G) + |G|$ の関係がある。
• アーベル群の場合: $E(G) = d(G) + |G|$ が成り立つ（Lemma 3.3）。
• 位数が奇数の場合: 非巡回で $C_3 \times C_3$ ではない群に対して $E(G) \le \frac{3|G|-3}{2}$ が既知（Lemma 3.7）。
• 指数 2 の部分群: 位数 $2m$ ($m$ は奇数) の群は指数 2 の部分群を持つ（Lemma 3.6）。
• メタ巡回群: $G = C_m \rtimes C_2$ ($m \ge 3$) の場合、$E(G) = \frac{3|G|}{2}$ が成り立つ（Lemma 3.8）。

3.2 証明の戦略

証明は、$G$ が「指数 2 の巡回部分群を持つか否か」で場合分けされる。

ケース A: $G$ が指数 2 の巡回部分群 $H$ を持つ場合

• $G$ が非巡回であるため、$G \cong C_{n/2} \rtimes C_2$ の形となる。
• $G$ がアーベル群の場合は Lemma 3.3 と $d(G) \le n/2$ から $E(G) \le 3n/2$ が導かれる。
• $G$ が非アーベル群の場合は、Lemma 3.8 より直接 $E(G) = 3n/2$ となる。
• したがって、このケースでは予想が成立し、等号も達成される。

ケース B: $G$ が指数 2 の巡回部分群を持たない場合

この場合、$E(G) < \frac{3n}{2}$ であることを示す必要がある。

1. 位数が奇数の場合: 既知の結果（Lemma 3.7）および Remark 3.4 により、$E(G) \le \frac{3n-3}{2} < \frac{3n}{2}$ となる。
2. 位数が偶数の場合 ($n$ は偶数だが 4 で割り切れないため、$n=2 \times (\text{奇数})$):
   • Lemma 3.6 より、$G$ は指数 2 の部分群 $K$ を持つ。
   • 部分ケース 1: $K \not\cong C_3 \times C_3$ の場合。
     • $K$ の位数も奇数であり、$K$ が非巡回なら Lemma 3.7 を適用。$K$ が巡回なら $G$ の構造から矛盾が生じるか、あるいは $E(K)$ の評価から $E(G) \le \frac{3n}{2} - 1$ を導く（Lemma 3.5 の利用）。
   • 部分ケース 2: $K \cong C_3 \times C_3$ の場合。
     • このとき $|G| = 18$ となる。
     • $G$ がアーベル群なら $G \cong C_3 \times C_6$ となり、Remark 3.4 から $E(G) = 25 < 27$ となる。
     • $G$ が非アーベル群の場合、位数 18 の群の分類により、$G$ は $S_3 \times C_3$ または $(C_3 \times C_3) \rtimes_{-1} C_2$ のいずれかに同型である。
     • Lemma 3.11 がこれらの特殊な群に対して $E(G) \le 26 < 27$ を証明する。これが証明の核心部分である。

3.3 Lemma 3.11 の証明の要点

$G \cong S_3 \times C_3$ または $(C_3 \times C_3) \rtimes_{-1} C_2$ に対して、長さ 26 の任意の列 $S$ が長さ 18 の積 1 部分列を持つことを示す。

• 商群 $G/H \cong C_2$ への射影 $\phi$ を考え、列を商群上の列と核 $H \cong C_3 \times C_3$ 上の列に分解する。
• 対偶法を用い、長さ 18 の積 1 部分列が存在しないと仮定する。
• 商群 $C_2$ 上の EGZ 定数 ($E(C_2)=3$) と $H$ 上の構造（Lemma 3.9, Remark 3.10）を組み合わせ、列の構造が極めて制限されることを示す。
• 最終的に、列の要素が特定の構造（例えば、ある元 $\alpha$ が非常に多く現れるなど）に制限され、矛盾（長さ 18 の積 1 部分列の存在）に帰着させる。

4. 貢献と意義

1. 予想の解決: 位数が 4 で割り切れない非巡回有限群に対する Gao-Li 予想を完全に解決した。これはゼロ和理論における長年の課題の一つである。
2. 逆問題の解決: 単に上界を示すだけでなく、$E(G) = \frac{3|G|}{2}$ となる群を「指数 2 の巡回部分群を持つ群」として完全に特徴づけた。これは、EGZ 定数の極値問題（Inverse Problem）における重要な進展である。
3. 手法の発展: 位数 18 の特殊な非アーベル群（$S_3 \times C_3$ など）に対する精密な構造解析（Lemma 3.11）は、より複雑な群に対する研究への道を開くものである。
4. 理論的枠組みの強化: Davenport 定数と EGZ 定数の関係、および商群を用いた帰納的アプローチの適用が、非可換群におけるゼロ和問題の解析手法として確立された。

5. 結論

本論文は、有限群の EGZ 定数に関する重要な進展をもたらした。特に、4 で割り切れない位数を持つ非巡回群において、$E(G) \le \frac{3|G|}{2}$ が成立し、等号が成立する群の構造が完全に解明されたことは、組合せ数論および代数学の分野において大きな意義を持つ。今後の研究では、4 で割り切れる位数を持つ群（特に $2^k$ 倍の構造を持つ群）への拡張が次の課題となる可能性がある。