平方剰余の相互法則

平方剰余（英語版）（へいほうじょうよ、英: quadratic residue）とは、ある自然数を法としたときの平方数のことであり、平方剰余の相互法則（へいほうじょうよのそうごほうそく、英: law of quadratic reciprocity）は、ある整数 $a$ が別の整数 $p$ の平方剰余であるか否かを判定する法則である。

定義編集

整数 $a$ と $p$ とが互いに素であるとする。合同式

x^{2}\equiv a{\pmod {p}}

が解を持つとき、 $a$ は $p$ を法として平方剰余であるといい、そうでないとき平方非剰余であるという。

平方剰余記号編集

奇素数 $p$ と、 $p$ と互いに素な整数 $a$ に対して、記号

\left({\frac {a}{p}}\right):={\begin{cases}1&{\text{if }}\exists x\in \mathbb {Z} [x^{2}\equiv a{\pmod {p}}]\\-1&{\text{if }}\forall x\in \mathbb {Z} [x^{2}\not \equiv a{\pmod {p}}]\end{cases}}

を定める。

奇素数 $p$ で割り切れるような整数 $a$ に対しても

\left({\frac {a}{p}}\right):=0

と定めておくことがある。

記号 $\left({\frac {a}{p}}\right)$ を、平方剰余記号、またはアドリアン＝マリ・ルジャンドルにちなんでルジャンドル記号と呼ぶ。

相互法則編集

平方剰余の相互法則は整数 $a$ が奇素数 $p$ を法として平方剰余であるか否かを判定する法則である。

p

,

q

を相異なる奇素数とするときに、

\left({\frac {p}{q}}\right)\left({\frac {q}{p}}\right)=(-1)^{{\frac {p-1}{2}}\cdot {\frac {q-1}{2}}}

が成り立つ。

また、このほかに以下の第1補充法則、第2補充法則が知られている。

第1補充法則:

\left({\frac {-1}{p}}\right)=(-1)^{\frac {p-1}{2}}.

第2補充法則:

\left({\frac {2}{p}}\right)=(-1)^{\frac {p^{2}-1}{8}}.

また、 $p$ と互いに素な整数 $a$ , $b$ に対して

\left({\frac {ab}{p}}\right)=\left({\frac {a}{p}}\right)\left({\frac {b}{p}}\right)

が成立する。一般に素数 $p$ に対して $Z p \times = {1, 2, ..., p - 1}$ は $p$ を法とする乗法に関して群をなすが、この式はルジャンドル記号が $Z p \times$ から ${-1, 1}$ への群準同型を与えることを示している。この写像の核は位数 $(p - 1)/2$ の部分群であり、 $Z p \times$ の元のちょうど半分が平方剰余、残り半分が平方非剰余となる。

この法則は、レオンハルト・オイラーによって予想され、カール・フリードリッヒ・ガウスによって証明された（ガウス日誌によれば、1796年 4月8日。発表されたのは1801年の『整数論』において）。ガウスはこの法則に対して生涯で7つ（または8つ）の異なる証明を与えた^[1]。その一つの動機は、三次や四次の相互法則を証明することにあった。現在では240以上もの証明が知られている^[1]。

三次や四次の相互法則は、ヤコビ、アイゼンシュタインによって独立に証明された（1844年にアイゼンシュタインが証明を公表）。より高次のまた一般的な代数的整数における一般的な相互法則の証明は（ヒルベルトの第9問題）、高木貞治やエミール・アルティンによってなされた。（アルティン相互法則を参照）