大学数学基礎解説

ちょっとおしゃれに平方剰余の第一補充法則を証明する

代数学,有限群論,初等整数論

719

この記事の目標

この記事では「平方剰余の第一補充法則」という初等整数論の命題に対し、抽象代数学の基本的な手法を用いた証明を2つ与える。

平方剰余の第一補充法則の主張

まずはその主張を見ることにする:

平方剰余の第一補充法則

奇素数 $p$ について、方程式 $x^{2} \equiv - 1 (\mod p)$ が整数解 $x$ をもつための必要十分条件は $p \equiv 1 (\mod 4)$ であることである。

「方程式 $x^{2} \equiv - 1 (\mod p)$ が整数解 $x$ をもつ」ことは「多項式 $x^{2} + 1 \in F_{p} [x]$ が $F_{p}$ に根をもつ」ことと同値であり、そして解と係数の関係よりこのとき $x^{2} + 1$ の( $p$ が奇素数であることから等しくない)2つの根はどちらも $F_{p}$ に含まれる。

準備

第一の証明に入る前に少々準備をする。次の主張は具体的に置換を記述すれば自明であろう:

有限集合 $A$ について写像 $g : A \to A$ が $g^{2} = {id}_{A}$ を満たすなら、 $g$ は $A$ 上の置換 $a \mapsto g (a)$ を与え、その置換は $\frac{# {a \in A ∣ g (a) \neq a}}{2}$ 個の互換の積として書ける。

これによって次が成立する:

奇素数 $p$ について、写像 $f : F_{p}^{\times} \to F_{p}^{\times}$ ( $f (x) = - x^{- 1}$ )は $F_{p}^{\times}$ 上の奇置換を定める。

$f^{2} = {id}_{F_{p}^{\times}}$ なので $f$ が $F_{p}^{\times}$ 上の置換を定めることは明らか。
写像 $f_{1}, f_{2} : F_{p}^{\times} \to F_{p}^{\times}$ を $f_{1} (x) = - x$ , $f_{2} (x) = x^{- 1}$ と定める。すると $f_{1}^{2} = f_{2}^{2} = {id}_{F_{p}^{\times}}$ であるから、 $f_{1}$ は $\frac{# {x \in F_{p}^{\times} ∣ f_{1} (x) \neq x}}{2}$ 個、 $f_{2}$ は $\frac{# {x \in F_{p}^{\times} ∣ f_{2} (x) \neq x}}{2}$ 個の互換の積として書ける $F_{p}^{\times}$ 上の置換を定める。
よって $f = f_{2} \circ f_{1}$ より $f$ が定める置換は
$\frac{# {x \in F_{p}^{\times} ∣ f_{1} (x) \neq x}}{2} + \frac{# {x \in F_{p}^{\times} ∣ f_{2} (x) \neq x}}{2} = \frac{# F_{p}^{\times}}{2} + \frac{# (F_{p}^{\times} ∖ {1, - 1})}{2} = p - 2$ 個の互換の積として書けるので示せた。

第一の証明

以上の準備をもとに平方剰余の第一補充法則を示す:

第一の証明

補題2, 3から $\frac{# {x \in F_{p}^{\times} ∣ f (x) \neq x}}{2} = \frac{# {x \in F_{p}^{\times} ∣ x^{2} + 1 \neq 0}}{2}$ は奇数。よって $# F_{p}^{\times} = p - 1$ と $0^{2} + 1 \neq 0 in F_{p}$ より、 $x^{2} + 1 \in F_{p} [x]$ が $F_{p}$ にもつ(相異なる)根の個数を $A$ とすれば、 $p - A \equiv - 1 (\mod 4)$ となる。
よって $A = 0, 2$ であるから、 $A \neq 0$ は $p \equiv 1 (\mod 4)$ に同値。

第二の証明

上の証明は乗法群の上に定まる置換の考察によって初等整数論の主張が導かれる意外性においておもしろいが、単に平方剰余の第一補充法則を示すだけならSylowの定理から簡単に出る。

第二の証明

(必要性)
方程式 $x^{2} \equiv - 1 (\mod p)$ の整数解 $x$ は $F_{p}^{\times}$ の位数4の元に対応するから、 $# F_{p}^{\times} = p - 1$ は4の倍数でなければならない。

(十分性)
$# F_{p}^{\times} = p - 1$ が4の倍数なら $F_{p}^{\times}$ の2-Sylow部分群は位数が4以上となる。位数2以下の $F_{p}^{\times}$ の元 $x$ は $x^{2} - 1 \in F_{p}^{\times} [x]$ の根だから $\pm 1$ のみ。よって $F_{p}^{\times}$ は位数4の元 $x$ を含み、 $x^{2}$ の位数は2だから $x^{2} = - 1$ が成立する。