[論文レビュー] On the density of primes in arithmetic progression having a prescribed primitive root

Pieter Moree|ArXiv.org|Dec 7, 1999

Analytic Number Theory Research参考文献 8被引用数 3

ひとこと要約

この論文は、一般化されたリーマン仮説の下で、与えられた原始根を持つ算術的等差数列内の素数の自然密度を明示的に計算している。類体論と解析的整数論を用いて、この密度の閉形式表現を導出し、ホーリーとレングストラによる原始根条件を満たす素数の分布に関する先行研究を定量的に精緻化している。

ABSTRACT

Let a,f and g be integers, with a and f coprime. Under the generalized Riemann hypothesis it follows from work of Hooley and Lenstra that the set of primes p such that p=a(mod f) and g is primitive root mod p has a natural density. In this note we explicitly evaluate this density and give some applications of this result.

研究の動機と目的

• 固定された整数 g が法 p で原始根であるような素数 p ≡ a (mod f) の自然密度を特定すること。
• 一般化されたリーマン仮説の下で、この密度の明示的公式を提示し、先行研究の存在結果を拡張すること。
• 密度公式の数論的応用、特にアーティンの原始根予想の研究における具体的応用を提示すること。

提案手法

• 密度関連のディリクレ級数の収束を保証するために、一般化されたリーマン仮説（GRH）を用いる。
• g が法 p で持つ乗法的位数に関連するレイトクラス体における素数の分解挙動を特徴付けるために類体論を適用する。
• チェボタレフの密度定理を用いて、このような素数の密度を関連拡大のガロア群構造に関連付ける。
• 指標和とディリクレ L 関数を用いて、密度を局所的密度の積の有理数倍として計算する。
• f や g を割る素数に関する有限積として密度を導出し、g の法 f における乗法的位数を含む。
• アーティンの原始根予想の特殊ケース（例：g=2, f=1）と整合することを示して、公式の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 一般化されたリーマン仮説の下で、固定された整数 g が法 p で原始根であるような素数 p ≡ a (mod f) の自然密度は何か？
• RQ2 代数的整数論を用いて、このような素数の密度を明示的に計算する方法は何か？
• RQ3 g の乗法的位数とレイトクラス体の構造は、密度の決定にどのように寄与するか？
• RQ4 f=1 または g が素数であるような特殊ケースでは、公式はどのように簡略化されるか？

主な発見

• g が法 p で原始根であるような素数 p ≡ a (mod f) の自然密度は、f における g の乗法的位数と、f を導手とするレイトクラス体の構造に依存する有理数で与えられる。
• この密度は、Q 上の多項式 x^d - g の分解体の次数の逆数に等しい。ここで d は g を法 f における乗法的位数とする。
• g = 2 かつ f = 1 の場合、密度はよく知られたアーティン定数（約 0.373955...）に簡略化され、アーティン予想と整合することが確認される。
• 公式は局所的障害を考慮している：f を割る任意の素数 p に対して g が平方であれば、密度はゼロとなる。
• 結果は一般化されたリーマン仮説に依存するが、密度の明示的かつ計算可能な表現を提供する。
• gcd(a,f)=1 かつ g が完全数の冪でない限り、任意の a, f, g に対して密度を明示的に計算可能である。