[논문 리뷰] There are infinitely many prime numbers in all arithmetic progressions with first term and difference coprime

Peter Gustav Lejeune Dirichlet|arXiv (Cornell University)|2008. 08. 10.

Analytic Number Theory Research인용 수 7

한 줄 요약

디리클레는 첫 항과 공차가 서로소인 산술급수에 무한히 많은 소수가 존재함을, 디리클레의 캐릭터, L-함수, 복소해석학을 포함하는 해석적 방법을 사용하여 증명한다. 핵심 기여는 이 수론의 기본 결과에 대한 첫 번째 엄밀한 증명으로, s=1에서 L-함수의 영이 아님을 통해 서로소 산술급수 내 소수의 무한성을 확립하는 것이다.

ABSTRACT

Dirichlet's proof of infinitely many primes in arithmetic progressions was published in 1837, introduced L-series for the first time, and it is said to have started rigorous analytic number theory. Dirichlet uses Euler's earlier work on the zeta function and the distribution of primes. He first proves a simpler case before going to full generality. The paper was translated from German by R. Stephan and given a reference section.

연구 동기 및 목표

• 서로소인 첫 항과 공차를 가진 모든 산술급수에 무한히 많은 소수가 존재함을 엄밀히 증명하는 것.
• 이전에 레그렌드에 의해 추측되거나 부분적으로 정당화되었던 오랫동안 미해결된 수론 문제를 해결하는 것.
• 디리클레의 캐릭터와 L-함수를 기반으로 한 새로운 해석적 방법을 개발하여 산술급수 내 소수의 무한성을 입증하는 것.
• 미래의 수론 응용, 특히 클래스 수와 이차형식의 연구를 위한 기초를 마련하는 것.

제안 방법

• 홀수 소수 모듈로에서 원시근을 사용하여 정수의 지수를 정의함으로써, 곱셈 함수에 대한 로그 유사 성질을 가능하게 한다.
• 단위근과 제타-유사 함수를 포함하는 기하급수의 곱을 구성하여 디리클레 L-함수를 생성한다.
• 지수의 곱셈적 구조와 단위근을 이용하여 L-함수를 모듈로와 서로소인 정수들의 합으로 표현한다.
• s가 오른쪽에서 1에 수렴할 때 L-함수의 해석적 성질을 수렴성과 연속성 논증을 통해 분석한다.
• 비자명한 캐릭터에 대한 L-함수의 로그는 s→1+일 때 유한하게 유지되며, 주어진 캐릭터의 경우 로그적으로 발산함을 증명한다.
• 주어진 캐릭터의 L-함수의 발산을 이용하여 모순과 급수 비교를 통해 각 서로소 잔여류 내 소수의 무한성을 유추한다.

실험 결과

연구 질문

• RQ1 서로소인 첫 항과 공차를 가진 모든 산술급수에 무한히 많은 소수가 존재하는가?
• RQ2 해석적 수론을 사용하여 이러한 급수 내 소수의 무한성을 엄밀히 증명할 수 있는가?
• RQ3 디리클레 L-함수는 서로소 잔여류 간 소수의 등분포를 어떻게 확립하는가?
• RQ4 왜 주어진 L-함수의 로그의 발산이 각 서로소 잔여류 내 소수의 무한성을 암시하는가?
• RQ5 복소해석적 기법을 사용하여 s=1에서 L-함수의 영이 아님을 어떻게 입증할 수 있는가?

주요 결과

• 논문은 서로소인 첫 항과 공차를 가진 모든 산술급수에 무한히 많은 소수가 존재함을 입증하여 오랫동안 미해결이었던 추측을 해결한다.
• 증명은 s=1에서 디리클레 L-함수의 영이 아님에 기반하며, 이는 단위근을 포함하는 급수의 해석적 계속성과 수렴성 성질을 통해 입증된다.
• 주어진 서로소 잔여류 내 소수의 합은 로그적으로 발산하며, 이는 소수의 무한성을 암시한다.
• 주어진 L-함수의 로그는 s→1+일 때 발산하지만, 비주어진 L-함수의 로그는 유한하게 유지되므로 발산은 주어진 캐릭터에 의해 이끌린다.
• 특정 소수와 서로소인 정수들에 대한 부호가 붙은 역수의 합 (16)이 0이 아니라는 것이 입증되었으며, 이는 수렴 논증에 필수적이다.
• 캐릭터 합과 디리클레 캐릭터의 구조를 이용하여 결과를 모든 서로소 산술급수로 일반화한다.