[论文解读] Olson's theorem for cyclic groups

Van Vu|ArXiv.org|Jun 23, 2005

Finite Group Theory Research参考文献 3被引用 4

一句话总结

该论文将Olson在循环群上的子集和定理推广至合数模数，证明了若Z_n的子集A满足|A| ≥ Cn^{1/2}且A中所有元素与n互素，则A是完全的（即其子集和覆盖模n的所有剩余类）。证明结合了子集和中等差数列的存在性结果与模覆盖论证，利用互素条件确保通过和集闭包实现完整的剩余类覆盖。

ABSTRACT

Let $n$ be a large number. A subset $A$ of $Z_n$ is complete if $S_A = Z_n$, where $S_A$ is the collection of the subset sums of $A$. Olson proved that if $n$ is a prime and $|A|> 2n^{1/2} $, then $S_A$ is complete. We show that a similar result for the case when $n$ is a composite number, using a different approach.

研究动机与目标

• 将仅适用于素数模数的Olson定理推广至合数循环群Z_n的情形。
• 确定子集A ⊂ Z_n的最小大小，使得其子集和S_A覆盖整个群Z_n。
• 建立Z_n中子集完全性的条件，特别关注A中元素与n互素的作用。
• 探讨‘本原元’情形（元素与n互素）与一般Diderrich问题（无互素性假设）之间的区别。

提出的方法

• 应用推论2.2，该推论保证：[n]中大小≥ Cn^{1/2}的子集A'在其子集和中包含长度为n的等差数列。
• 利用S_A'中存在长度为n的等差数列P'的事实，分析其公差d' = gcd(d', n)，若d'不与n互素，则d' < Cn^{1/2}。
• 若d'不与n互素，则定义d = gcd(d', n)，故d < Cn^{1/2}，并利用A中剩余元素（即B = A \ A'）覆盖模d的所有剩余类。
• 利用引理2.4，该引理断言：任意由n个与n互素的整数构成的多重集在子集和下可生成模n的所有剩余类，将其应用于B以覆盖Z_d。
• 综合结果：由于S_A'包含公差为d'、长度为n的等差数列，且S_B覆盖模d的所有剩余类，因此和集S_A' + S_B覆盖模n的所有剩余类。
• 由此得出：在A中所有元素与n互素且|A| ≥ Cn^{1/2}的假设下，S_A包含Z_n的所有元素，从而证明A的完全性。

实验结果

研究问题

• RQ1 Olson在素数模数下的定理能否推广至合数循环群Z_n？
• RQ2 当A中元素必须与n互素时，子集A ⊂ Z_n的最小大小是多少，才能使其子集和S_A覆盖Z_n的全部元素？
• RQ3 A中元素与n的互素性条件如何影响Z_n中子集和的完全性？
• RQ4 在互素情形下，Cn^{1/2}的界是否紧致？能否改进为2n^{1/2} + o(1)？
• RQ5 当元素与n互素与不互素时，Z_n中子集和的结构有何不同？

主要发现

• 存在常数C，使得任意满足|A| ≥ Cn^{1/2}且A中所有元素与n互素的子集A ⊂ Z_n，均有S_A = Z_n，即A是完全的。
• 证明依赖于推论2.2，该推论保证大小≥ Cn^{1/2}的子集在其子集和中包含长度为n的等差数列。
• 若该等差数列的公差d'不与n互素，则d = gcd(d', n) < Cn^{1/2}，此时A中剩余元素（即B）被用于覆盖模d的所有剩余类。
• 引理2.4确保：任意由n个与n互素的整数构成的多重集在子集和下可生成模n的所有剩余类，该结论被应用于B以覆盖Z_d。
• 和集S_A' + S_B覆盖模n的所有剩余类，且由于S_A' + S_B ⊆ S_A，可推出S_A = Z_n。
• 互素条件是必要的；若无此条件，当3|n时可构造出大小为n/3的不完全部集，凸显该假设在定理中的关键作用。