[논문 리뷰] On the density of primes in arithmetic progression having a prescribed primitive root

Pieter Moree|ArXiv.org|1999. 12. 07.

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 ≡ a (mod f)에 대해 모듈로 p에서 원시근이 되는 소수의 자연밀도를 결정하는 것.
• 이 밀도에 대한 명시적 공식을 제시하여 일반화된 리만 가설 하에서 이전의 존재성 결과를 확장하는 것.
• 밀도 공식의 구체적 응용을 제시하여 수론 분야, 특히 아르틴의 원시근 추측 연구에 기여하는 것.

제안 방법

• 밀도와 관련된 디리클레 급수의 수렴을 보장하기 위해 일반화된 리만 가설(GRH)을 활용한다.
• g가 모듈로 p에서의 순서에 관련된 레이 체 이론을 적용하여 소수의 분할 행동을 특성화한다.
• 체포타레프 밀도 정리를 활용하여 이러한 소수의 밀도를 관련 확장의 갈루아 군 구조와 연결한다.
• 특성 합과 디리클레 L함수를 사용하여 밀도를 국소 밀도의 곱에 대한 유리수 배로 계산한다.
• f와 g를 나누는 소수들에 대한 유한한 곱으로서 밀도를 유도하며, 이는 g가 모듈로 p에서의 곱셈 순서를 포함한다.
• 특수한 경우(예: g가 소수일 때 또는 f=1일 때)에서의 알려진 결과와의 일致를 통해 공식을 검증한다.

실험 결과

연구 질문

• RQ1 일반화된 리만 가설 하에서, 고정된 정수 g가 모듈로 p에서 원시근이 되는 소수 p ≡ a (mod f)의 자연밀도는 무엇인가?
• RQ2 대수적 수론을 사용하여 이러한 소수의 밀도를 어떻게 명시적으로 계산할 수 있는가?
• RQ3 g의 곱셈 순서와 레이 체 이론의 구조는 밀도 결정에 어떤 역할을 하는가?
• RQ4 특수한 경우, 예를 들어 f=1이거나 g가 소수일 때 공식은 어떻게 단순화되는가?

주요 결과

• g가 모듈로 f에서의 곱셈 순서와 f의 레이 체 이론의 구조에 따라 달라지는 유리수로 주어지는 소수 p ≡ a (mod f)에 대해 g가 원시근이 되는 자연밀도를 갖는다.
• 이 밀도는 다항식 x^d - g가 Q에서 분해되는 분해체의 차수의 역수와 같다. 여기서 d는 g가 모듈로 f에서의 곱셈 순서이다.
• g = 2이고 f = 1일 경우, 밀도는 잘 알려진 아르틴 상수 0.373955...로 단순화되며, 아르틴 추측과 일致함을 확인한다.
• 공식은 국소적 차단 요소를 고려한다: f를 나누는 어떤 소수에 대해 g가 제곱임이 확인되면 밀도는 0이 된다.
• 결과는 일반화된 리만 가설에 조건을 두고 있지만, 밀도에 대한 정확하고 계산 가능한 표현식을 제공한다.
• 주어진 a, f, g에 대해, gcd(a,f)=1 이고 g가 완전한 거듭제곱이 아니면, 이 방법을 사용하여 밀도를 명시적으로 계산할 수 있다.