정의
부냐콥스키 추측은 정수 계수를 갖는 일차 이상의 불가약 다항식이 양의 정수값을 무한히 많이 소수로 가질 수 있는지를 묻는 수학적 추측이다. 구체적으로, 다음 세 조건을 만족하는 다항식
- 최고차항의 계수가 양수이며,
- 정수 계수를 가지며,
- 모든 정수 $n$에 대해 $f(n)$이 1보다 큰 공통인수를 갖지 않는다(즉, $\gcd{f(n)\mid n\in\mathbb{Z}}=1$)
에 대하여, $f(n)$이 소수인 $n$이 무한히 존재한다는 것이 이 추측의 내용이다.
개요
부냐콥스키 추측은 1857년 러시아 수학자 빅토르 부냐코프스키(Viktor Bunyakovsky)가 제시한 것으로, 다항식이 소수값을 무한히 생성할 수 있는 충분·필요조건에 대한 일반적인 진술을 제공한다. 현재까지는 1차 다항식에 대해서는 디리클레의 등차수열 소수정리(Dirichlet's theorem)가 증명된 바 있으며, 2차 이상의 경우는 대부분 미해결 상태이다. 일부 특수한 형태의 다항식(예: $n^2+1$, $n^2+n+41$ 등)에 대해 무한히 많은 소수가 존재한다는 강력한 실험적 증거가 있지만, 일반적인 경우에 대한 증명은 알려져 있지 않다.
어원·유래
이 추측의 이름은 19세기 러시아의 수학자 빅토르 야코프레비치 부냐코프스키(Viktor Yakovlevich Bunyakovsky, 1804 – 1889)를 따서 붙여졌다. 그는 대수학과 정수론 분야에서 다수의 연구를 수행했으며, 특히 다항식과 소수의 관계에 대한 초기 연구로 알려져 있다.
특징
- 조건의 필요성: 최고차항이 양수이어야 하는 이유는 $f(n)$이 무한히 커지도록 보장하기 위함이며, 불가약성 및 공통인수 조건은 소수값이 무한히 존재할 수 있는 최소한의 전제조건이다.
- 연관 추측: 부냐콥스키 추측은 배터만–혼(Bateman–Horn) 추측의 특수 경우로 볼 수 있다. 배터만–혼 추측은 다항식 집합이 동시에 소수값을 가질 확률을 제시하는 일반화된 형태이다.
- 현재 연구 동향: 최근에는 대수적 수론과 분석적 수론의 기법을 이용해 특정 차수·형태의 다항식에 대해 부분적인 결과를 얻는 연구가 진행 중이다. 예를 들어, 차수가 2인 경우에는 스크린스키와 같은 연구자들이 평균적인 소수분포에 관한 비정형적 결과를 제시하고 있다.
- 미해결 상태: 차수가 2 이상인 일반적인 경우에 대한 완전한 증명이나 반증은 아직 존재하지 않는다. 따라서 부냐콥스키 추측은 현재도 수론 분야의 주요 미해결 문제 중 하나로 간주된다.
관련 항목
- 디리클레의 등차수열 소수정리 (Dirichlet's theorem on arithmetic progressions)
- 배터만–혼 추측 (Bateman–Horn conjecture)
- 소수정리 (Prime number theorem)
- 하디–리틀우드 소수쌍 추측 (Hardy–Littlewood conjecture)
- 정수다항식 (Integer polynomial)
- 불가약 다항식 (Irreducible polynomial)