정의
정규 소수(regular prime)는 수론에서 Kummer가 도입한 개념으로, 소수 $p$에 대해 다음 조건을 만족하는 경우를 말한다.
- $p$가 $p$번째 원시적 단위근($p$차 원시 근)에 대한 원시적 사이클로트니컬 필드 $\mathbb{Q}(\zeta_p)$의 클래스 수(class number)를 나누지 않는다.
동등한 정의로는, $p$가 다음과 같은 Bernoulli 수들의 분자들을 나누지 않을 때 정규 소수라 한다.
$$ p mid \operatorname{numerator}\bigl(B_{2}, B_{4}, \dots , B_{p-3}\bigr) $$
여기서 $B_{k}$는 Bernoulli 수이며, $k$는 짝수이고 $2 \le k \le p-3$이다.
역사·배경
정규 소수 개념은 19세기 독일 수학자 에리히 카머(Erich Kummer)에 의해 도입되었다. Kummer는 페르마의 마지막 정리를 증명하기 위한 시도로, 정규 소수와 비정규 소수(irregular prime)를 구분하였다. 그는 정규 소수에 대해서는 고유분해(unique factorization) 문제가 사이클로트니컬 정수 환경에서도 유지된다는 것을 보였다.
주요 성질
| 성질 | 설명 |
|---|---|
| 무한성 | 정규 소수가 무한히 존재한다는 사실은 아직 증명되지 않았다. 현재 알려진 결과는 비정규 소수가 무한히 존재한다는 점이다(1978년 Wagstaff). |
| 예시 | 현재까지 확인된 작은 정규 소수는 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97 등이다. (단, 2는 정의상 포함되지 않는다.) |
| 비정규 소수 | 가장 작은 비정규 소수는 37이며, 그 이후로는 59, 67, 101, 103, 131, 149 등 다수 존재한다. |
| Kummer 정리 | 정규 소수 $p$에 대해, $p$는 페르마의 마지막 정리(Fermat's Last Theorem)의 경우 $n = p$에 대하여 “정규”인 경우에만 근호법을 이용해 증명이 가능하다. |
관련 연구
- Kummer's Criterion: 위의 Bernoulli 수 분자 조건은 Kummer’s criterion이라고 불리며, 정규 소수 판별에 실용적인 도구가 된다.
- Iwasawa Theory: 정규 소수와 관련된 사이클로트니컬 필드의 $p$-adic L-함수 연구는 Iwasawa 이론의 핵심 주제 중 하나다.
- Computational Results: 현대 컴퓨터 계산을 통해 수천만까지의 소수에 대해 정규·비정규 여부가 검증되었다.
참고 문헌·출처
- E. Kummer, “Über die Ergänzungssätze zu den allgemeinen reciprocitätsgesetzen”, Journal für die reine und angewandte Mathematik, 1850년대.
- Wikipedia, “Regular prime” (내용 확인일: 2024년 6월).
- R. Schoof, “Counting points on elliptic curves over finite fields”, 1995년.
위와 같이 “정규 소수”는 수학적 정의와 역사적 배경이 존재하는 확립된 개념이다. 추가적인 세부 사항이나 최신 연구 동향은 전문 수학 서적 및 논문을 참고한다.
