저번에 합동식에서 나눗셈을 하기 위한 조건에 대해서 알아보았습니다.
이 내용을 바탕으로 정수론에서 매우 중요하게 다뤄지는 정리인 페르마 소정리에 대해서 알아보겠습니다.
페르마 소정리는 아래와 같습니다. (단, $p$는 소수, $a$는 $p$의 배수가 아닌 정수)
$$
a^{p-1} \equiv 1 \mod p
$$
예를 들어서 $p = 7, a = 12$ 라고 하면,
$$
12^{7-1} = 12^{6} = 2985984 \equiv 1 \mod 7
$$
이 됩니다. 암호학의 핵심이 되는 정리라고 할 수 있죠.
이 정리가 어떻게 응용될 수 있는지는 나중에 더 보기로 하고, 이번 글에서는 이 정리의 증명에 집중하겠습니다.
페르마 소정리의 증명
다음과 같은 크기 $p-1$의 집합을 살펴보겠습니다. (단, $p$는 소수)
$$
\lbrace 1, 2, \cdots, p-1 \rbrace
$$
이 집합의 모든 원소에 $a$ 를 곱하겠습니다. (단, $a$는 $p$의 배수가 아닌 정수입니다)
$$
\lbrace a, 2a, \cdots, (p-1)a\rbrace
$$
먼저 다음 사실을 보이는 것이 이 증명의 핵심입니다.
$$
\lbrace 1, 2, \cdots, p-1 \rbrace = \lbrace a, 2a, \cdots, (p-1)a \rbrace \mod p
$$
예를 들어서 $p = 5, a = 2$라고 하면,
$\lbrace 1, 2, 3, 4\rbrace$에 $2$를 곱한 집합 $\lbrace 2, 4, 6, 8 \rbrace$는 $\bmod 5$에서 $\lbrace 2, 4, 1, 3 \rbrace = \lbrace 1, 2, 3, 4 \rbrace$가 됩니다.
위의 사실을 보이기 위해 아래의 사실을 보입시다.
$$ \lbrace a, 2a, \cdots, (p-1)a \rbrace \mod p \text{의 모든 원소들은 서로 다르다.} $$
증명은 귀류법을 쓰면 간단합니다. $i \neq j$인데 $ia \equiv ja \mod p$인 $i, j$가 존재한다고 가정합시다.
$p$가 소수이므로 저번 글에서 봤었듯 양변을 $a$로 나눌 수 있습니다.
양변을 나누면 $i \equiv j \mod p$가 되며, $1 \leq i, j \leq p-1$ 이므로 $i = j$입니다. 이는 가정에 모순입니다.
따라서 $\lbrace a, 2a, \cdots, (p-1)a\rbrace$와 $\lbrace 1, 2, \cdots, p-1 \rbrace$은 같은 집합입니다.
두 집합이 법 $p$에 대해 동일하므로 이 두 집합의 모든 각 원소를 곱한 값도 같을 것입니다.
$$
a^{p-1}(p-1)! \equiv (p-1)! \mod p
$$
$(p-1)!$과 $p$는 공통 인수를 가지지 않으므로 서로소입니다.
따라서, $(p-1)!$의 역원이 존재하며, 양변을 $(p-1)!$ 으로 나누면 아래의 식이 성립합니다.
$$
a^{p-1} \equiv 1 \mod p \quad \blacksquare
$$
기약잉여계
페르마 소정리의 증명 자체는 간단하지만, 이 과정에서 중요한 개념이 등장합니다.
$p$가 소수일 때 아래의 식이 성립합니다.
$$
\lbrace 1, 2, \cdots, p-1 \rbrace \equiv \lbrace a, 2a, \cdots, (p-1)a \rbrace \mod p)
$$
이런 형태의 집합은 정수론 곳곳에서 중요하게 쓰입니다. 그래서 이름도 있습니다. 바로 기약잉여계라고 합니다.
기약잉여계: 정수 $m$에 대하여 1부터 $m-1$까지 $m$과 서로소인 수들을 모아놓은 것
예를 들어 $9$ 기약잉여계는 $\lbrace 1, 2, 4, 5, 7, 8 \rbrace$가 되겠네요.
기약잉여계의 특징은 모든 원소가 역원을 가지기 때문에, 언제나 나눗셈이 가능하다는 점입니다.
이렇게 페르마 소정리에 대한 내용을 끝냅니다. 다음 글에서는 페르마 소정리의 일반화 버전인 오일러 정리에 대해 알아보겠습니다.
'수학 > 정수론' 카테고리의 다른 글
정수론 (7) - 확장 유클리드 알고리즘 (1) | 2020.01.26 |
---|---|
정수론 (6) - 오일러의 정리와 오일러 파이 함수 (8) | 2020.01.23 |
정수론 (4) - 합동식에서의 나눗셈 (4) | 2020.01.17 |
정수론 (3) - 합동식 (6) | 2020.01.13 |
정수론 (2) - 베주 항등식 (7) | 2020.01.11 |