[论文解读] On vanishing sums for roots of unity

T. Y. Lam, Ka Hin Leung|ArXiv.org|Nov 13, 1995

Mathematics and Applications参考文献 7被引用 7

一句话总结

本文解决了如下问题：对于哪些整数 n，存在 n 个单位根（允许重复）的和为零。通过代数数论和分圆多项式性质，作者证明了这样的零和存在当且仅当 n 是 m 的素因子的非负整数线性组合，其中 m 是单位根的阶。该结果根据 m 的算术结构，对零和进行了完全刻画。

ABSTRACT

Consider the $m$-th roots of unity in {\bf C}, where $m>0$ is an integer. We address the following question: For what values of $n$ can one find $n$ such $m$-th roots of unity (with repetitions allowed) adding up to zero? We prove that the answer is exactly the set of linear combinations with non-negative integer coefficients of the prime factors of $m$.

研究动机与目标

• 确定所有整数 n，使得存在 n 个 m 次单位根（允许重复）且其和为零。
• 理解单位根零和发生的算术条件。
• 根据 m 的素因数分解，刻画此类 n 的集合。
• 建立关于指定长度零和存在的完整代数准则。

提出的方法

• 使用代数数论分析 m 次分圆域中的整数环。
• 应用极小多项式和分圆多项式的性质，以限制可能的零和。
• 利用单位根在乘法下构成群，且其加法关系受代数整数控制的事实。
• 将问题简化为复平面上单位根之间加法关系的研究。
• 在代数整数的整数上线性相关性理论背景下应用线性相关性理论。
• 证明此类 n 的集合在加法下封闭，并包含 m 的素因子，从而得出其为非负整数线性组合的刻画。

实验结果

研究问题

• RQ1 对于哪些 n 值，存在一个包含 n 个 m 次单位根的多重集，其和为零？
• RQ2 n 的哪些代数条件能保证此类零和的存在？
• RQ3 m 的素因数分解如何限制单位根零和可能的长度 n？
• RQ4 每个此类 n 是否都能表示为 m 的素因子的非负整数线性组合？
• RQ5 能否利用 m 的数论性质完全刻画所有此类 n 的集合？

主要发现

• 存在 n 个 m 次单位根的零和，当且仅当 n 是 m 的素因子的非负整数线性组合。
• 所有此类 n 的集合构成由 m 的素因子生成的数值半群。
• 该结果是精确的：若 n 不属于由 m 的素因子生成的半群，则不可能存在这样的零和。
• 该刻画与根的重复无关，允许使用多重集。
• 证明依赖于单位根和的整性以及分圆域的性质。
• 该结果推广了以往的部分结果，并为该问题提供了完整解法。