Juyoung JeongComments Off on 르장드르의 정리(Legendre's theorem)와 쿠머의 정리(Kummer's theorem)
소수 $p$가 주어졌다고 하자. $0$이 아닌 임의의 정수 $n$에 대하여, $n$의 $p$진 값매김($p$-adic valuation)은 $\nu_{p}(n)$을 $p^{\nu}$가 $n$를 나누게 하는 양의 정수 $\nu$ 중 가장 큰 수로 정의한다. 또한 $\nu_{p}(0) = \infty$로 정의한다. 즉,
으로 정의된다. 따라서 정의에 의해서 $\nu_{p}(n)$은 $n$을 소인수분해 했을 때 $p$의 지수와 같음을 알 수 있다.
$ $
르장드르의 정리(Legendre's theorem)
$ $
증명. 생략..
$ $
한 편, 주어진 양의 정수 $n$에 대한 $p$진 전개($p$-adic expansion)를 생각해 보자. 다시 말해 적당한 $a_0,\, \ldots,\, a_k \in \{0,\, 1,\, \ldots,\, p-1\}$가 유일하게 존재하여
\[ n = a_0 + a_1p + a_2p^2 + \cdots a_kp^k \]
와 같이 나타낼 수 있다. 이 때, $s_{p}(n) = a_0 + a_1 + \cdots + a_k$로 정의하자. 즉, $s_{p}(n)$은 $n$을 $p$진전개 했을 때, 각 자릿수의 합과 같음을 알 수 있다. 일반적으로 $\nu_{p}(n)$과 $s_{p}(n)$ 사이에는 큰 관련이 없지만, $\nu_{p}(n!)$과 $s_{p}(n)$ 사이에는 다음과 같이 밀접한 관련이 있음을 보일 수 있다.
위 르장드르의 정리에서 $p=2$인 경우, 특별히 아래와 같이 재미있는 결론을 얻는다. 예를 들어 $n = 100$이라 하면, $100 = 1100100_{(2)}$이므로 $s_2(100) = 3$임을 알 수 있다. 따라서 $100!$의 소인수분해에서의 $2$의 지수는 $\nu_2(100!) = 100 - s_2(100) = 100 - 3 = 97$임을 알 수 있다.
$ $
$ $
쿠머의 정리(Kummer's theorem)
소수 $p$와 두 양의 정수 $m,\, n$이 주어졌다고 하자. 이제 $mn$의 소인수분해에서의 $p$의 지수는 $m$의 소인수분해에서의 $p$의 지수와 $n$의 소인수분해에서의 $p$의 지수의 합과 같다. 또한 $n^m$의 소인수분해에서의 $p$의 지수는 $n$의 소인수분해에서의 $p$의 지수에 $m$을 곱한 값과 같다. 즉,
$\nu_p(mn) = \nu_p(m) + \nu_p(n)$
$\nu_p(n^m) = m \cdot \nu_p(n)$
이 성립한다.
$ $
이제 이 사실들을 바탕으로 $p$진 값매김을 정수에서 유리수로 확장해 보자. 우선 (b)에서 $m = -1$를 대입하면, $\nu_p(\frac{1}{n}) = - \nu_p(n)$를 얻는다. 따라서 임의의 두 정수 $m,\,n$에 대하여 (단, $m \neq 0$)