오일러의 정리

오일러의 정리 (Euler's Theorem) 는 다음과 같습니다.

서로소인 두 자연수 $a$, $n$에 대하여 $$ a^{\phi(n)} \equiv 1 \pmod{n} $$ 이다.
이때의 $\phi(n)$은 오일러 토션트 함수 입니다.
$n$이 소수 인 경우인 페르마의 소정리 의 일반화라고 볼 수 있습니다.
서로소 조건을 제외하면 다음과 같은 등식을 만족합니다.
임의의 두 자연수 $a$, $n$에 대하여 $$ a^{\phi(n)} \equiv a^{2\phi(n)} \pmod{n} $$ 이다.
즉, $a^{k} \pmod{n}$ 값은 $k \geq \phi(n)$에 대하여 주기를 이루게 됩니다. 지수 탑 같은 것을 구할 때 사용됩니다.