[论文解读] The Cauchy-Davenport Theorem for Finite Groups

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

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

一句话总结

本文将经典的柯西-戴维德森定理从素数阶循环群推广到任意有限群，证明了对于有限群 G 的任意非空子集 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)。
• 该结果推广了卡罗利对阿贝尔群的研究工作，并将埃拉德-海布伦问题扩展至非阿贝尔情形。