====== 소수 ======

[[약수]]가 정확히 두 개(1 또는 자기 자신)인 [[자연수]]. 흔히 $$\mathbb{P}$$로 쓴다. 소수의 [[집합]]은 [[가산집합|가산]] [[무한집합]](증명은 [[소수의무한성]]을 참고하라)이며 모든 자연수는 그 약수의 갯수에 따라 1(한 개), 소수(두 개), [[합성수]](세 개 이상)로 나눌 수 있다.

모든 자연수는 하나 이상의 소수의 곱으로 유일하게 나타낼 수 있다. (1을 소수로 인정하지 않는 이유는 여기에서 온다.) 이 때문에 소수는 [[수론]]의 주요 연구 대상 중 하나이며 소수에 대한 많은 연구가 진행되고 있다.

{{tag>수학}}