정의
페르마의 소정리(Fermat's Little Theorem)는 정수론에서 가장 기본적인 정리 중 하나로, 다음과 같이 서술된다.
- $p$가 소수이고, $a$가 정수이며 $p$가 $a$를 나누지 않을 때
$$ a^{,p-1} \equiv 1 \pmod{p} $$ - 동등한 형태로는 $a^{,p} \equiv a \pmod{p}$가 있다.
역사적 배경
이 정리는 17세기 프랑스의 수학자 피에르 드 페르마(Pierre de Fermat)가 서신에서 처음 언급하였다(1640년경). 페르마는 정리를 증명하지 않았으며, 그의 사후에 다른 수학자들이 증명을 제시하였다. 최초의 완전한 증명은 18세기 스위스 수학자 레온하르트 오일러(Leonhard Euler)가 1736년에 제시하였다. 이후 여러 다른 증명 방법(가우스의 군론적 접근, 복소수론적 접근 등)이 개발되었다.
주요 성질 및 활용
| 항목 | 내용 |
|---|---|
| 조건 | $p$는 소수, $a$는 정수이며 $\gcd(a, p)=1$ |
| 결과 | $a^{p-1}$을 $p$로 나눈 나머지는 1 |
| 동등식 | $a^{p} \equiv a \pmod{p}$ |
| 응용 | - 소수 판정(예: 페르마 소수 테스트) - RSA 암호와 같은 공개키 암호 시스템의 수학적 기반 - 모듈러 연산에서 지수법칙 단순화 |
| 관련 정리 | - 오일러 정리(일반화된 형태) - 휠스 정리, 카르마이클 함수 등 |
증명의 개요
가장 일반적인 증명은 군론적 접근을 이용한다.
- $\mathbb{Z}_p^\times$ (즉, $p$와 서로소인 잉여 클래스들의 집합)은 $p-1$개의 원소를 갖는 곱셈군이며, 이는 순환군이다.
- 임의의 $a \in \mathbb{Z}_p^\times$에 대해, 군의 원소 전체를 $a$와 곱한 집합은 원래 집합과 동일한 원소를 포함한다.
- 따라서 $\prod_{k=1}^{p-1} k \equiv \prod_{k=1}^{p-1} (a k) \pmod{p}$가 되고, 좌·우 변을 정리하면 $a^{p-1} \equiv 1 \pmod{p}$가 된다.
수학적 의의
페르마의 소정리는 소수와 모듈러 연산 사이의 근본적인 관계를 보여주며, 현대 암호학·컴퓨터 과학·알고리즘 설계 등 다양한 분야에서 실용적으로 활용된다.
참고 문헌
- P. Fermat, Correspondence (1640) – 정리 최초 제시.
- L. Euler, “De progressione geometrica” (1736) – 최초 완전 증명.
- G. H. Hardy, E. M. Wright, An Introduction to the Theory of Numbers, 6th ed., Oxford University Press, 2008.
이 문서는 객관적이고 중립적인 서술을 목표로 하며, 확인된 학술적 자료에 기반한다.
