정의
산술의 기본 정리(英: Fundamental theorem of arithmetic)는 1보다 큰 모든 자연수는 소수들의 곱으로 표현할 수 있으며, 이 소수들의 배열(순서)과 개수를 제외하고는 이러한 소인수분해가 유일함을 의미한다. 즉,
$$
n = p_1^{a_1} p_2^{a_2}\dots p_k^{a_k};(p_i\text{는 서로 다른 소수},;a_i\ge 1)
$$
와 같이 표현되는 경우, ${p_i},{a_i}$는 $n$에 대해 유일하다.
개요
산술의 기본 정리는 정수론의 가장 기본적인 결과 중 하나로, 수 체계에서 소인수분해가 가능하고 그 결과가 유일함을 보장한다. 이 정리는 정수의 약수와 배수를 다루는 여러 이론(예: 최대공약수·최소공배수, 디오판틴 방정식)과 연계되어 있으며, 현대 대수학에서 고유인수분해 도메인(Unique Factorization Domain, UFD)의 개념으로 일반화된다.
정리의 존재성(소인수분해가 가능함)은 귀류법을 이용한 간단한 귀류 증명으로, 무한히 소인수가 존재하지 않는 최소의 반례를 가정함으로써 증명한다.
유일성은 유클리드 보조정리(Euclid’s lemma)와 귀류법을 결합하여 증명한다. 전통적으로는 유클리드의 원론 제IX권에서 소인수분해와 관련된 아이디어가 제시되었으며, 19세기 초에 프랑스 수학자 라플라스와 프리드리히 베른하르트 하웰(Heinrich Eduard Heine) 등이 정식화하였다.
어원/유래
- 산술(算術) : 고대 중국·일본·한국에서 사용된 한자어로, ‘수를 세고 다루는 기술’이라는 의미를 가진다. 현대 한국어에서는 ‘수학의 한 분야인 산술’을 가리킨다.
- 기본(基本) : ‘근본이 되는, 가장 기본적인’이라는 뜻이며, ‘정리(定理)’는 ‘논리적으로 증명된 명제’를 의미한다. 따라서 “산술의 기본 정리”는 ‘산술(정수론)에서 가장 근본적인 정리’라는 의미가 된다.
정리 자체는 고대 그리스 수학자 유클리드가 소수와 합성수의 성질을 논한 것이 시초이며, ‘산술의 기본 정리’라는 명칭은 현대 수학 교육에서 20세기 초부터 널리 사용되었다.
특징
- 존재성 : 모든 $n>1$은 하나 이상의 소수의 곱으로 나타낼 수 있다.
- 유일성 : 소수와 그 지수의 집합은 순서와 중복을 제외하고는 유일하다.
- 유클리드 보조정리와의 연계
- 유클리드 보조정리: $p$가 소수이고 $p\mid ab$이면 $p\mid a$ 혹은 $p\mid b$이다.
- 이 정리를 이용해 소인수분해의 유일성이 증명된다.
- 대수적 일반화
- 정수 환경 $\mathbb{Z}$는 고유인수분해 도메인(UFD)이며, 다항식 환 $\mathbb{Z}[x]$ 등에서도 유사한 구조가 정의된다.
- 응용
- 최대공약수(gcd)와 최소공배수(lcm)의 계산은 소인수분해에 기반한다.
- 디리클레 곱, 오일러 파이 함수 $\varphi(n)$, 리우빌 함수 등 수론 함수들의 공식은 본 정리를 전제로 한다.
관련 항목
- 소수·합성수
- 유클리드 보조정리
- 최대공약수·최소공배수
- 고유인수분해 도메인 (Unique Factorization Domain, UFD)
- 정수론
- 디리클레 곱, 오일러 파이 함수
- $\mathbb{Z}$의 대수적 구조
참고 문헌
- G. H. Hardy, E. M. Wright, An Introduction to the Theory of Numbers, 6th ed., Oxford University Press, 2008.
- K. Ireland, M. Rosen, A Classical Introduction to Modern Number Theory, Springer, 1990.
- 한국수학회, 수학백과사전, 한국수학회, 2021.