[論文レビュー] The Cauchy-Davenport Theorem for Finite Groups

Jeffrey Paul Wheeler|arXiv (Cornell University)|Feb 8, 2012

Limits and Structures in Graph Theory参考文献 13被引用数 4

ひとこと要約

この論文は、素数位数の巡回群に制限された古典的なコーシー＝ドゥーバーの定理を、任意の有限群へ一般化する。任意の非空部分集合 A および B に対して、積集合 |A·B| が |A·B| ≥ min{p(G), |A| + |B| - 1} を満たすことを証明する。ここで p(G) は G の最小ねじれ位数である。証明は、群の拡大と陪集合分解を用いた可解群における帰納法に基づく。アーベル群に関する先行研究を拡張し、非アーベル有限群に対しても問題を解決する。

ABSTRACT

The Cauchy-Davenport theorem states that for any two nonempty subsets A and B of Z/pZ we have |A+B| >= min{p,|A|+|B|-1}, where A+B:={a+b (mod p) | a in A, b in B}. We generalize this result from Z/pZ to arbitrary finite (including non-abelian) groups. This result from early in 2006 is independent of Gyula Karolyi's 2005 result.

研究の動機と目的

• ℤ/pℤ に対して成立するコーシー＝ドゥーバーの定理を、任意の有限（非アーベルを含む）群へ拡張すること。
• アーベル群の古典的な和集合の下界に類似した、有限群における積集合 A·B のサイズの下界を確立すること。
• 非アーベル有限群においてコーシー＝ドゥーバーの不等式が成り立つかどうかという未解決問題を解消すること。
• アーベル群および素数べき位数の巡回群に関する先行結果を統合・一般化すること。
• 最小ねじれ位数 p(G) を用いた、有限群における積集合の最小サイズの完全な特徴付けを提供すること。

提案手法

• 有限可解群における帰納法を用い、正規部分群 K ⊲ G および商群 G/K を活用する。
• 陪集合代表元を用いて写像 ψ: G → K × G/K を構成し、部分集合 A および B を G/K 上のファイバーに分解可能にする。
• 商群 G/K および核 K においてコーシー＝ドゥーバーの不等式を適用し、A および B の射影に対して |A²·B²| ≥ α + β - 1 が成り立つことを利用する。
• 自己同型 φ_h およびねじれ係数 η_{h1,h2} を用いて、K × G/K 上での群演算を定義し、写像 ψ による構造の保存を保証する。
• |G| が奇数の場合、フィート＝トンプソンの定理によりすべての奇数位数群が可解であることから、可解群に還元する。
• 部分群およびファイバーに対して帰納仮定を適用し、核と商群からの境界を組み合わせて、グローバルな下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 非アーベル有限群においても、コーシー＝ドゥーバーの不等式 |A+B| ≥ min{p, |A|+|B|−1} が成り立つか。
• RQ2 最小ねじれ位数 p(G) が、任意の有限群における |A·B| の普遍的な下界として機能できるか。
• RQ3 可解群の構造および群の拡大が、加法的組合せ論的境界の一般化をどのように促進するか。
• RQ4 フィート＝トンプソンの定理は、奇数位数群への拡張を可能にする上で果たす役割は何か。
• RQ5 この下界はすべての有限群においてタイトか。また、アーベル群および巡回群における既知の結果と比べてどう異なるか。

主な発見

• すべての有限群においてコーシー＝ドゥーバーの不等式が成立する：非空部分集合 A, B ⊆ G に対して |A·B| ≥ min{p(G), |A| + |B| - 1} が成り立つ。
• 偶数位数の群では p(G) = 2 であり、|A·B| ≥ 2 となるが、|A| = |B| = 1 の場合に限り等号が成立する。
• 奇数位数の群では、フィート＝トンプソンの定理により可解性が保証され、正規部分群および商群を用いた帰納的分解が可能になる。
• 証明により、この下界が鋭いことが示される：|A| + |B| - 1 ≤ p(G) のとき、不等式は |A·B| ≥ |A| + |B| - 1 に簡略化される。
• |A| + |B| - 1 > p(G) のとき、下界は依然として p(G) であり、|A*| + |B*| - 1 = p(G) を満たす部分集合 A*, B* を選べば、|A·B| ≥ |A*·B*| = p(G) が達成される。
• この結果は、アーベル群におけるカロイの先行研究を一般化し、非アーベル設定へエルドシュ＝ハイルブルン問題を拡張する。