[論文レビュー] On vanishing sums for roots of unity

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

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

ひとこと要約

この論文は、重複を許すn個の単位根が和が0になるような整数nについての問題を解決する。代数的整数論および円分多項式の性質を用いて、このような消える和が存在するのは、nが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個のm乗単位根が和が0になるような整数nをすべて特定すること。
• 消える和が生じる算術的条件を理解すること。
• mの素因数分解に基づいて、このようなnの集合を特徴づけること。
• 所定の長さの消える和の存在に対する完全な代数的基準を確立すること。

提案手法

• 代数的整数論を用いてm乗円分体における整数環を分析する。
• 最小多項式および円分多項式の性質を適用し、可能な消える和を制約する。
• 単位根が乗法に関して群をなし、その加法的関係が代数的整数によって支配されることを用いる。
• 問題を複素平面上の単位根同士の加法的関係の研究に還元する。
• 代数的整数の文脈における整数上での線形従属の理論を適用する。
• このようなnの集合が加法に関して閉じており、mの素因数を含むことから、非負整数線形結合として特徴づけられることを証明する。

実験結果

リサーチクエスチョン

• RQ1 nのどの値に対して、和が0になるn個のm乗単位根の多重集合が存在するか？
• RQ2 nにどのような代数的条件を課すと、このような消える和が保証されるか？
• RQ3 mの素因数分解は、単位根の消える和の長さnにどのような制約を課えるか？
• RQ4 すべてのこのようなnは、mの素因数の非負整数線形結合として表せるか？
• RQ5 mの数論的性質を用いて、このようなnの集合を完全に特徴づけられるか？

主な発見

• n個のm乗単位根の和が0になるのは、nがmの素因数の非負整数線形結合であるときかつそのときに限る。
• このようなnの集合は、mの素因数によって生成される数値的半群をなす。
• この結果は鋭い：nがmの素因数によって生成される半群に属さない限り、このような和は0にならない。
• 重複を許す多重集合を含め、この特徴づけは成立する。
• 証明は単位根の和の整数性および円分体の性質に依拠する。
• この結果は、以前の部分的な結果を一般化し、問題に対する完全な解決を提供する。