数学、特に初等整数論・代数的整数論において、3乗剰余の相互法則（さんじょうじょうよのそうごほうそく、）立方剰余の相互法則（りっぽうじょうよのそうごほうそく）とも言う。とは、合同式 が解けるための条件を提示する、一連の定理群のことである。ここで「相互法則」という単語は、以下に提示する主定理に由来する。
主定理 と をアイゼンシュタイン整数環上の、3とも互いに素な素元とするとき、合同式 が可解となる必要十分条件は が可解となることである。
歴史 1748年より前に、オイラーは小さな整数の3乗剰余性について最初の予想をしたEuler, Tractatus ..., §§407--410が、彼の死後、1849年まで公表されなかった。
ガウスは、出版済みの著作において3乗剰余とその相互法則に関して3回言及している。1801年に公刊された著作 Disquisitiones Arithmeticae には、3乗剰余に関する結果が1つあるGauss, DA, footnote to art. 358。1818年には、平方剰余の相互法則の第五証明（数論のガウスの補題によるもの）と第六証明（によるもの）の導入において、これらの手法は3乗剰余およびにも適用できると述べているGauss, Theorematis fundamentalis ...。1832年には、4乗剰余の相互法則に関する（2つのうちの）2番目の脚注において、3乗剰余の相互法則はアイゼンシュタイン整数環によって最も簡単に記述されると述べているGauss, BQ, § 30。
彼の日記やその他の未発表の資料からは、ガウスは1805年までに整数の3乗剰余および4乗剰余の相互法則を知っており、1814年頃にはそれらについての完全な定理とその証明を発見したようであるCox, pp. 83--90 Lemmermeyer, pp. 199--201, 222--224。これらの証明は彼の死後の論文で発見されたが、それらが彼によるものかアイゼンシュタインによるものかは明らかになっていないLemmermeyer, p. 200。
ヤコビは1827年に3乗剰余に関するいくつかの定理を証明なしに発表したJacobi, De residuis cubicis ...。 1836年から1837年にかけてのケーニヒスベルクでの講演において、ヤコビは証明を提示したがLemmermeyer, p. 200、最初に出版された証明はアイゼンシュタインによる1844年のものであるEisenstein, Beweis des Reciprocitätssatzes ... Eisenstein, Nachtrag zum cubischen... Eisenstein, Application de l'algèbre...。
有理整数の場合 を法とする3乗剰余とは、その3乗が を法として合同な任意の数のことである。もし についての合同式 が整数解を持たないなら、 は を法とする3乗非剰余であるというcf. Gauss, BQ § 2。
数論でよくあることだが、素数を法とするほうがより上手くいくことが多いため、この節では全ての 、 などの法は正の奇素数であると仮定するcf. Gauss, BQ § 2。まず初めに、素数 が を満たすとき、すべての整数が3乗剰余であることに注意しよう。 から、0は明らかに3乗剰余であるため、整数 は で割り切れないと仮定する。整数 を を満たすように取っておく。ここで、フェルマーの小定理より、任意の整数 に対して、次の2つの合同式が成り立つ:
2つの合同式を辺々掛けることで、 が得られる。さて、 であったから、次が成り立つ:
したがって、唯一の興味深いケースは法 が を満たすときとなる。このとき、ゼロを除いた を法とする剰余類は、それぞれが 個の要素を持つ3つの集合に分割される。 を何らかの（ を法として）3乗非剰余な元とするとき、その集合は以下のように明示的に分類できる:
3乗剰余な元からなる集合。 第一の集合の各元を 倍して得られる元からなる集合。 第一の集合の各元を 倍して得られる元からなる集合。
この分割を表現する別の方法として、原始根を用いるものがある。すなわち:
を法とした原始根に対する指数が、3を法として0となるもの（3で割り切れるもの）。 を法とした原始根に対する指数が、3を法として1となるもの。 を法とした原始根に対する指数が、3を法として2となるもの。
である。群論のことばでは、第一の集合は乗法群 の指数3の部分群であり、残り2つの和集合はその補集合である。
の場合 フェルマーの定理によれば、 を満たす全ての素数 は（ と の符号を除き） の形に一意的に書けるGauss, DA, Art. 182 Cox, Ex. 1.4--1.5ことが知られている。ここで かつ とおけば、これは とも書き表せるなお、 であるため、この表現では と は一意的には決定されない。。したがって、
が成り立つことから、少しの計算によって 、、 のうちの丁度1つが3の倍数であることが示される。これにより、（ と の符号を除いて）一意的に
の形で を表すことができるIreland & Rosen, Props 8.3.1 & 8.3.2。 互いに素な整数 と に対し、rational cubic residue symbol を次のように定義する。
この記号は、ルジャンドル記号のような乗法性を持たないことに注意が必要である。このためには、のちの節で定義するような真の3乗剰余記号が必要となる。
オイラーの予想Euler, Tractatus, §§ 407–401 Lemmermeyer, p. 222–223 Tractatus de numerorum doctrina capita sedecim, quae supersunt, 411, footnote (chapter 11) : を素数とすると、以下が成り立つ:
最初の2つの命題は次のように言い換えることができるCox, p. 2, Thm. 4.15, Ex. 4.15 Ireland & Rosen, Prop. 9.6.2, Ex 9.23 Lemmermeyer, Prop. 7.1 & 7.2。 を3を法として1に合同な素数とするとき、以下が成り立つ: 2が の3乗剰余となるのは、 と書けるとき、そしてそのときに限る。 3が の3乗剰余となるのは、 と書けるとき、そしてそのときに限る。
ガウスの定理Gauss, DA footnote to art. 358 Lemmermeyer, Ex. 7.9: を次を満たす正の素数とする:
このとき、 が成り立つ。
このガウスの定理により、直ちに次が従う。
ヤコビの定理（証明なしで述べられている）。 Jacobi, De residuis cubicis... が正の素数とする。明らかに、 pとqの両方とも3を法として1に合同であるため、次のように仮定する。
をの解とする。このとき ： これにより
レーマーの定理。 qとpを素数とし、 このとき Lemmermeyer, Prop.7.4
ただし
最初の条件は、LまたはMを割り切る任意の数が3乗剰余（mod p ）であることを意味することに注意すること。
これの最初のいくつかの例Lemmermeyer, pp. 209–212, Props 7.1–7.3は、オイラー予想と同等である。
明らかに'L≡M（mod' 2）なので、q= 2のばあいの基準は以下のように簡略化することができる。
マルティネットの定理。 が素数であるとする。このときLemmermeyer, Ex. 7.11
シャリフィの定理。 を素数とする。このとき、 xの約数は3乗剰余（mod p ）。 Lemmermeyer, Ex. 7.12
アイゼンシュタイン整数
背景 ガウスは、4乗剰余に関する2番目の段落で、次のように述べている。双次残差の定理は、算術の分野が虚数に拡張された場合にのみ、最大の単純さと真の美しさで輝く。そのため、制限なしに、 a + biの形式の数が研究の対象を構成する...私たちはそのような数を整数の複素数と呼ぶ。 Gauss, BQ, § 30, translation in Cox, p. 83 [太字は原文のまま]これらの数は現在、Z [i ]で表されるガウス整数と呼ばれている。 iは1の4乗根であることに注意。
脚注で彼は以下のように付け加えている。3次剰余の理論は、a + bhの形式の数の考慮に同様の方法で基づいている必要がある。ここで、 hは方程式h 3 = 1の虚数根...同様に、高次の剰余の理論では他の虚数の導入となる。Gauss, BQ, § 30, translation in Cox, p. 84アイゼンシュタインは、三次剰余に関する彼の最初の記述でIreland & Rosen p. 141の立方根から構築された数の理論を展開した。それらは現在アイゼンシュタイン整数環と呼ばれている。アイゼンシュタインは（言い換えれば）「この環の特性を調査するには、 Z [i ]に関するガウスの研究を参照し、証明を修正するだけでよい」と述べた。いずれの環も一意分解環であるため、これは驚くべきことではない。
「高次の剰余の理論」に必要な「その他の虚数」は、1の冪乗根である。ガウス整数とアイゼンシュタイン整数を生成する虚数は、これらの最も単純な例である。
用語 を以下のように定める。
そして、アイゼンシュタイン整数環を考えるものとする：
これは、次の式で与えられるノルムを持つユークリッド環である。
ノルムは常に0または1（mod 3）に合同であることに注意すること。
の単数群 （可逆元の集合）は、1の6乗根の巡回群となる。
は一意因数分解環であり、素数は3つの類に分類される： Ireland & Rosen Prop 9.1.4
3は特殊な場合である：
3はの素数の二乗で割り切れるで唯一の素数 。素数3はで分岐すると言う 。
2（mod 3）正の素数に合同なのも の素元である 。これらの素数はで惰性すると言う 。惰性する素数のノルムは以下で与えられることに注意。
1（mod 3）に合同なの正の素数は、の2つの共役な素元の積である 。でこれらの素数は分解すると言う 。それらの因数分解は次の式で与えられる。
例えば
3と互いに素な元が、通常の整数とを法として合同である場合、その数は1次。 これはmod3でと合同だと言うのと同じある。のとき、またはの一つは素元である。さらに、2つの共役な素数の積は1次であり、1次の数の共役も1次である。
の一意分解定理はならば
ここでそれぞれの（アイゼンシュタインの定義による）素元。そして、この表現は、因子の順序を除き一意的である。
合同cf. Gauss, BQ, §§ 38–45と最大公約数cf. Gauss, BQ, §§ 46–47の概念は、でも通常の整数の場合と同じように次のように定義される。単数はすべての数値を割り切るため、法の任意の同伴な元を法としても合同関係は真であり 、GCDの同伴元もまたGCDである。
3乗剰余記号
定義 フェルマーの小定理の類似物は、 でも成立する。を素数で割り切れない元としたとき Ireland & Rosen. Prop. 9.3.1
ここでなのでまたは別の言い方をするとよって、次のように書くことができる。
は単数で、 この値はのを法とした3乗剰余記号と呼ばれ、以下のように書かれる。 Ireland & Rosen, p. 112
性質 3乗剰余記号はルジャンドル記号と同様の性質を持っている。
ならば
ここで、バーは複素共役を示す。 とが同伴ならば 合同式にでの解があり、かつそのときに限り Ireland & Rosen, Prop. 9.3.3 が以下の性質を満たすとする。このとき Ireland & Rosen, Prop. 9.3.4 Lemmermeyer, Prop 7.7 ルジャンドル記号がヤコビ記号に一般化されるのと同じ方法で、3乗剰余記号の「分母」を合成数（3と互いに素）に乗算的に拡張できる。ヤコビ記号のように、3乗剰余記号の値は「分母」が合成数である場合には、「分子」が「分母」を法として3乗剰余である場合は1に等しくなり、記号が1に等しくない場合、「分子」は「分母」を法とした3乗非剰余になるが、「分子」が3乗非剰余であっても、記号の値が1になることがある。
ただし
相互法則 αとβをの元とする。このとき
単数と素元1− ωには補充法則Lemmermeyer, Th. 6.9 Ireland & Rosen, Ex. 9.32–9.37がある：
α =a+bωである素元、a=3m+1及びb=3n とおく。 （a≡2（mod 3）の場合 αをその同伴元-αと置き換える。これは、3乗剰余記号値を変更しない。 ）このとき
関連項目 平方剰余 四次剰余 八次剰余 アイゼンシュタインの相互律（n乗剰余の相互法則） アルティン相互法則
脚注
注釈
出典
参考文献 オイラー、ヤコビ、アイゼンシュタインの元の論文への参照は、レマーマイヤーとコックスの参考文献からコピーされたものであり、この記事の作成には使用されなかった。
オイラー
これは実際には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にある。
現代の著者
外部リンク