3乗剰余の相互法則

数学、特に初等整数論・代数的整数論において、3乗剰余の相互法則（さんじょうじょうよのそうごほうそく、）とは、合同式 が解けるための条件を提示する、一連の定理群のことである。ここで「相互法則」という単語は、以下に提示する主定理に由来する。
歴史.
1748年より前に、オイラーは小さな整数の3乗剰余性について最初の予想をしたが、彼の死後、1849年まで公表されなかった。
ガウスは、出版済みの著作において3乗剰余とその相互法則に関して3回言及している。1801年に公刊された著作 Disquisitiones Arithmeticae には、3乗剰余に関する結果が1つある。1818年には、平方剰余の相互法則の第五証明（数論のガウスの補題によるもの）と第六証明（によるもの）の導入において、これらの手法は3乗剰余およびにも適用できると述べている。1832年には、4乗剰余の相互法則に関する（2つのうちの）2番目の脚注において、3乗剰余の相互法則はアイゼンシュタイン整数環によって最も簡単に記述されると述べている。
彼の日記やその他の未発表の資料からは、ガウスは1805年までに整数の3乗剰余および4乗剰余の相互法則を知っており、1814年頃にはそれらについての完全な定理とその証明を発見したようである 。これらの証明は彼の死後の論文で発見されたが、それらが彼によるものかアイゼンシュタインによるものかは明らかになっていない。
ヤコビは1827年に3乗剰余に関するいくつかの定理を証明なしに発表した。 1836年から1837年にかけてのケーニヒスベルクでの講演において、ヤコビは証明を提示したが、最初に出版された証明はアイゼンシュタインによる1844年のものである 。
有理整数の場合.
 を法とする3乗剰余とは、その3乗が を法として合同な任意の数のことである。もし についての合同式 が整数解を持たないなら、 は を法とする3乗非剰余であるという。
数論でよくあることだが、素数を法とするほうがより上手くいくことが多いため、この節では全ての 、 などの法は正の奇素数であると仮定する。まず初めに、素数 が を満たすとき、すべての整数が3乗剰余であることに注意しよう。 から、0は明らかに3乗剰余であるため、整数 は で割り切れないと仮定する。整数 を を満たすように取っておく。ここで、フェルマーの小定理より、任意の整数 に対して、次の2つの合同式が成り立つ:
2つの合同式を辺々掛けることで、 が得られる。さて、 であったから、次が成り立つ:
したがって、唯一の興味深いケースは法 が を満たすときとなる。このとき、ゼロを除いた を法とする剰余類は、それぞれが 個の要素を持つ3つの集合に分割される。 を何らかの（ を法として）3乗非剰余な元とするとき、その集合は以下のように明示的に分類できる:
この分割を表現する別の方法として、原始根を用いるものがある。すなわち:
である。群論のことばでは、第一の集合は乗法群 の指数3の部分群であり、残り2つの和集合はその補集合である。
の場合.
フェルマーの定理によれば、 を満たす全ての素数 は（ と の符号を除き） の形に一意的に書ける ことが知られている。ここで かつ とおけば、これは とも書き表せる。したがって、
が成り立つことから、少しの計算によって 、、 のうちの丁度1つが3の倍数であることが示される。これにより、（ と の符号を除いて）一意的に
の形で を表すことができる。
互いに素な整数 と に対し、rational cubic residue symbol を次のように定義する。
この記号は、ルジャンドル記号のような乗法性を持たないことに注意が必要である。このためには、のちの節で定義するような真の3乗剰余記号が必要となる。
最初の2つの命題は次のように言い換えることができる 。
このガウスの定理により、直ちに次が従う。
最初の条件は、"L"または"M"を割り切る任意の数が3乗剰余（mod "p" ）であることを意味することに注意すること。
これの最初のいくつかの例は、オイラー予想と同等である。
明らかに'L≡M（mod' 2）なので"、q"= 2のばあいの基準は以下のように簡略化することができる。
アイゼンシュタイン整数.
背景.
ガウスは、4乗剰余に関する2番目の段落で、次のように述べている。双次残差の定理は、算術の分野が虚数に拡張された場合にのみ、最大の単純さと真の美しさで輝く。そのため、制限なしに、 "a" + "bi"の形式の数が研究の対象を構成する...私たちはそのような数を整数の複素数と呼ぶ。 [太字は原文のまま]これらの数は現在、Z ["i" ]で表されるガウス整数と呼ばれている。 "i"は1の4乗根であることに注意。
脚注で彼は以下のように付け加えている。"3次剰余の理論は、a" + "bh"の形式の数の考慮に同様の方法で基づいている必要がある。ここで、 "h"は方程式"h" 3 = 1の虚数根...同様に、高次の剰余の理論では他の虚数の導入となる。アイゼンシュタインは、三次剰余に関する彼の最初の記述で1の立方根から構築された数の理論を展開した。それらは現在アイゼンシュタイン整数環と呼ばれています。アイゼンシュタインは（言い換えれば）「この環の特性を調査するには、 Z ["i" ]に関するガウスの研究を参照し、証明を修正するだけでよい」と述べた。いずれの環も一意分解環であるため、これは驚くべきことではない。
「高次の剰余の理論」に必要な「その他の虚数」は、1の冪乗根である。ガウス整数とアイゼンシュタイン整数を生成する虚数は、これらの最も単純な例である。
用語.
formula_25を以下のように定める。
そして、アイゼンシュタイン整数環を考えるものとする：
これは、次の式で与えられるノルムを持つユークリッド環である。
ノルムは常に0または1（mod 3）に合同であることに注意すること。
formula_29の単数群 （可逆元の集合）は、1の6乗根の巡回群となる。
formula_29は一意因数分解環であり、素数は3つの類に分類される： 
3と互いに素な元が、通常の整数とformula_46を法として合同である場合、その数は1次。 これはmod3でformula_47と合同だと言うのと同じです。formula_48のとき、formula_49またはformula_50の一つは素元である。さらに、2つの共役な素数の積は1次であり、1次の数の共役も1次である。
formula_29の一意分解定理はformula_52ならば
ここでそれぞれのformula_54（アイゼンシュタインの定義による）素元。そして、この表現は、因子の順序を除き一意的である。
合同と最大公約数の概念は、formula_29でも通常の整数formula_34の場合と同じように次のように定義される。単数はすべての数値を割り切るため、法formula_57の任意の同伴な元を法としても合同関係は真であり 、GCDの同伴元もまたGCDである。
3乗剰余記号.
定義.
フェルマーの小定理の類似物は、 formula_29 でも成立する。formula_59を素数formula_60で割り切れない元としたとき 
ここでformula_62なのでformula_63または別の言い方をするとformula_64よって、次のように書くことができる。
formula_66は単数で、 この値はformula_59のformula_60を法とした3乗剰余記号と呼ばれ、以下のように書かれる。 
性質.
3乗剰余記号はルジャンドル記号と同様の性質を持っている。
定理の証明.
αとβをformula_85の元とする。このとき
単数と素元1− ωには補充法則 がある：
α ="a"+"bω"である素元"、a"=3m+1及び"b"=3n とおく。 （a≡2（mod 3）の場合 αをその同伴元-αと置き換える。これは、3乗剰余記号値を変更しない。 ）このとき
参考文献.
オイラー、ヤコビ、アイゼンシュタインの元の論文への参照は、レマーマイヤーとコックスの参考文献からコピーされたものであり、この記事の作成には使用されなかった。
オイラー.
これは実際には1748–1750年に書かれたが、死後に出版された。第5巻、pp182–283に該当箇所がある。
ガウス.
ガウスは、四次相互法則について公開した2つの段落に連続セクションの番号を付けている：最初は§§1– 23、2番めは§§24– 76に含まれている。これらを参照する脚注は「ガウス"、BQ、§n」"の形式。 "Disquisitiones Arithmeticaeの"参照は脚注「ガウス、DA,Art.n」形式のものである。
これらは"Gauss'sWerke" 、Vol II、pp.65-92と93–148にある。
ガウスの平方剰余相互法則の5番目と6番目の証明は
これは"Gauss'sWerke" 、Vol II、pp.47 – 64にある。
上記の3つすべてのドイツ語訳は次のとおり。これには、 DisquisitionesArithmeticaeとガウスの他の数論に関する論文もある。
アイゼンシュタイン.
これらの論文はすべて彼の全集"のVolI"にある。
ヤコビ.
これは彼の全集の"VolVI"にある。