オイラーの基準
📂整数論オイラーの基準
定理
素数について p=2
a2p−1≡(pa)(modp)
説明
これによると、a が二次剰余か非二次剰余かを見たい場合は、ただ計算すればいい。もちろん累乗はそう簡単な作業ではないが、全数を計算するよりはマシだろう。証明自体はそれほど難しくはないが、補助定理が多く用いられるため、ある程度の勉強が必要だ。
証明
a がQRの場合とNRの場合に分けて考えよう。
Case 1. aがQRの場合
aがQRであるため、あるbに対して a=b2 が成り立ち、次のようになる。
a2p−1≡b22p−1≡bp−1(modp)
フェルマーの小定理: ap−1≡1(modp)
フェルマーの小定理により bp−1≡1(modp) となるので
a2p−1≡(pa)≡1(modp)
Case 2. aがNRの場合
合同方程式 xp−1−1≡0(modp) から始める。
合同方程式の代数学の基本定理: f(x)=a0xd+a1xd−1+⋯+ad−1x+ad に対して方程式 f(x)≡0(modp) は、多くても d 個の合同でない解を持つ
代数学の基本定理により、以下の合同方程式は p−1 個の合同でない解を持つ。
0≡xp−1−1≡(x2p−1+1)(x2p−1−1)(modp)
QRとNRの個数: 2 より大きい素数 p について、QRとNRは正確に 2(p−1) 個存在する
一方で、素数 p についてQRとNRは正確に 2p−1 個ずつ存在し、Case 1で見たように、2p−1 個のQRは(x2p−1−1)≡0(modp) の解である。つまり、残りの 2p−1 NRは (x2p−1+1)≡0(modp) の解でなければならない。したがって、次のようになる。
a2p−1≡(pa)≡−1(modp)
Case 1, 2を統合すると、次のように得られる。
a2p−1≡(pa)(modp)
■