3乗剰余の相互法則

テンプレート:要改訳 数学、特に初等整数論・代数的整数論において、3乗剰余の相互法則（さんじょうじょうよのそうごほうそく、テンプレート:Lang-en-short）とは、合同式 テンプレート:Math が解けるための条件を提示する、一連の定理群のことである。ここで「相互法則」という単語は、以下に提示する主定理に由来する。

主定理

テンプレート:Mvar と テンプレート:Mvar をアイゼンシュタイン整数環上の、3とも互いに素な素元とするとき、合同式 テンプレート:Math が可解となる必要十分条件は テンプレート:Math が可解となることである。

歴史

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年のものである 。

有理整数の場合

テンプレート:Mvar を法とする3乗剰余とは、その3乗が テンプレート:Mvar を法として合同な任意の数のことである。もし テンプレート:Mvar についての合同式 テンプレート:Math が整数解を持たないなら、テンプレート:Mvar は テンプレート:Mvar を法とする3乗非剰余であるという。

数論でよくあることだが、素数を法とするほうがより上手くいくことが多いため、この節では全ての テンプレート:Mvar、テンプレート:Mvar などの法は正の奇素数であると仮定する。まず初めに、素数 テンプレート:Mvar が テンプレート:Math を満たすとき、すべての整数が3乗剰余であることに注意しよう。テンプレート:Math から、0は明らかに3乗剰余であるため、整数 テンプレート:Mvar は テンプレート:Mvar で割り切れないと仮定する。整数 テンプレート:Mvar を テンプレート:Math を満たすように取っておく。ここで、フェルマーの小定理より、任意の整数 テンプレート:Mvar に対して、次の2つの合同式が成り立つ:

$\begin{array}{cc}{x}^q& \equiv xmodq,\\ x^{q-1}& \equiv 1modq.\end{array}$

2つの合同式を辺々掛けることで、テンプレート:Math が得られる。さて、テンプレート:Math であったから、次が成り立つ:

$x\equiv x^{2q-1}=x^{2(3n+2)-1}=x^{6n+3}={\left(x^{2n+1}\right)}^{3}modq.$

したがって、唯一の興味深いケースは法 テンプレート:Mvar が テンプレート:Math を満たすときとなる。このとき、ゼロを除いた テンプレート:Mvar を法とする剰余類は、それぞれが テンプレート:Math個の要素を持つ3つの集合に分割される。テンプレート:Mvar を何らかの（テンプレート:Mvar を法として）3乗非剰余な元とするとき、その集合は以下のように明示的に分類できる:

1. 3乗剰余な元からなる集合。
2. 第一の集合の各元を テンプレート:Mvar 倍して得られる元からなる集合。
3. 第一の集合の各元を テンプレート:Math 倍して得られる元からなる集合。

この分割を表現する別の方法として、原始根を用いるものがある。すなわち:

1. テンプレート:Mvar を法とした原始根に対する指数が、3を法として0となるもの（3で割り切れるもの）。
2. テンプレート:Mvar を法とした原始根に対する指数が、3を法として1となるもの。
3. テンプレート:Mvar を法とした原始根に対する指数が、3を法として2となるもの。

である。群論のことばでは、第一の集合は乗法群 テンプレート:Math の指数3の部分群であり、残り2つの和集合はその補集合である。

テンプレート:Math の場合

フェルマーの定理によれば、テンプレート:Math を満たす全ての素数 テンプレート:Mvar は（テンプレート:Mvar と テンプレート:Mvar の符号を除き）テンプレート:Math の形に一意的に書ける ことが知られている。ここで テンプレート:Math かつ テンプレート:Math とおけば、これは テンプレート:Math とも書き表せる。したがって、

$\begin{array}{cc}4p& =(2m-n{)}^2+3n^2\\ & =(2n-m{)}^2+3m^2\\ & =(m+n{)}^2+3(m-n{)}^2\end{array}$

が成り立つことから、少しの計算によって テンプレート:Mvar、テンプレート:Mvar、テンプレート:Math のうちの丁度1つが3の倍数であることが示される。これにより、（テンプレート:Mvar と テンプレート:Mvar の符号を除いて）一意的に

$p=\frac{1}{4}(L^2+27M^2)$

の形で テンプレート:Mvar を表すことができる。 互いに素な整数 テンプレート:Mvar とテンプレート:Mvar に対し、rational cubic residue symbolテンプレート:訳語疑問点 テンプレート:Math を次のように定義する。

${\left[\frac{m}{n}\right]}_3=\{\begin{array}{cc}1& m\text{ is a cubic residue }modn\\ -1& m\text{ is a cubic non-residue }modn\end{array}$

この記号は、ルジャンドル記号のような乗法性を持たないことに注意が必要である。このためには、のちの節で定義するような真の3乗剰余記号が必要となる。

オイラーの予想 : テンプレート:Mathを素数とすると、以下が成り立つ:

$\begin{array}{cc}{\left[\frac{2}{p}\right]}_3=1& ⟺3\mid b,\\ {\left[\frac{3}{p}\right]}_3=1& ⟺9\mid b\text{ or }9\mid (a\pm b),\\ {\left[\frac{5}{p}\right]}_3=1& ⟺15\mid b\text{ or }(3\mid b\text{ and }5\mid a)\text{ or }15\mid (a\pm b)\text{ or }15\mid (2a\pm b),\\ {\left[\frac{6}{p}\right]}_3=1& ⟺9\mid b\text{ or }9\mid (a\pm 2b),\\ {\left[\frac{7}{p}\right]}_3=1& ⟹(3\mid b\text{ and }7\mid a)\text{ or }21\mid (b\pm a)\text{ or }7\mid (4b\pm a)\text{ or }21\mid b\text{ or }7\mid (b\pm 2a).\end{array}$

最初の2つの命題は次のように言い換えることができる 。

テンプレート:Mvar を3を法として1に合同な素数とするとき、以下が成り立つ:

• 2が テンプレート:Mvar の3乗剰余となるのは、テンプレート:Math と書けるとき、そしてそのときに限る。
• 3が テンプレート:Mvar の3乗剰余となるのは、テンプレート:Math と書けるとき、そしてそのときに限る。

ガウスの定理 : テンプレート:Mvar を次を満たす正の素数とする:

$p=3n+1=\frac{1}{4}(L^2+27M^2).$

このとき、$L(n!{)}^3\equiv 1modp$ が成り立つ。

このガウスの定理により、直ちに次が従う。

${\left[\frac{L}{p}\right]}_3={\left[\frac{M}{p}\right]}_3=1.$

ヤコビの定理（証明なしで述べられている）。 $𝑞\equiv 𝑝\equiv \text{1}(\mathrm{mod}\text{6})$が正の素数とする。明らかに、 pとqの両方とも3を法として1に合同であるため、次のように仮定する。

$p=\frac{1}{4}(L^2+27M^2),q=\frac{1}{4}(L{\text{'}}^2+27M{\text{'}}^2).$

$𝑥$を${𝑥}^2\equiv \text{-3}(\mathrm{mod}q)$の解とする。このとき

$x\equiv \pm \frac{L^{\prime }}{3M^{\prime }}modq,$：

これにより

$\begin{array}{cc}{\left[\frac{q}{p}\right]}_3=1& ⟺{\left[\frac{\frac{L+3Mx}{2}p}{q}\right]}_3=1⟺{\left[\frac{\frac{L+3Mx}{L-3Mx}}{q}\right]}_3=1\\ {\left[\frac{q}{p}\right]}_3=1& ⟹{\left[\frac{\frac{L{M}^{\prime }+L^{\prime }M}{L{M}^{\prime }-L^{\prime }M}}{q}\right]}_3=1\end{array}$

レーマーの定理。 qとpを素数とし、 $p=\frac{1}{4}(L^2+27M^2)$このとき

${\left[\frac{q}{p}\right]}_3=1⟺q\mid LM\text{ or }L\equiv \pm \frac{9r}{2u+1}Mmodq,$

ただし

$u\equiv ̸0,1,-\frac{1}{2},-\frac{1}{3}modq\text{and}3u+1\equiv r^2(3u-3)modq.$

最初の条件は、LまたはMを割り切る任意の数が3乗剰余（mod p ）であることを意味することに注意すること。

これの最初のいくつかの例は、オイラー予想と同等である。

$\begin{array}{cc}{\left[\frac{2}{p}\right]}_3=1& ⟺L\equiv M\equiv 0mod2\\ {\left[\frac{3}{p}\right]}_3=1& ⟺M\equiv 0mod3\\ {\left[\frac{5}{p}\right]}_3=1& ⟺LM\equiv 0mod5\\ {\left[\frac{7}{p}\right]}_3=1& ⟺LM\equiv 0mod7\end{array}$

明らかに'L≡M（mod' 2）なので、q= 2のばあいの基準は以下のように簡略化することができる。

${\left[\frac{2}{p}\right]}_3=1⟺M\equiv 0mod2.$

マルティネットの定理。 $𝑝\equiv 𝑞\equiv \text{1}(\mathrm{mod}\text{3})$が素数であるとする。$pq=\frac{1}{4}(L^2+27M^2)$このとき

${\left[\frac{L}{p}\right]}_3{\left[\frac{L}{q}\right]}_3=1⟺{\left[\frac{q}{p}\right]}_3{\left[\frac{p}{q}\right]}_3=1.$

シャリフィの定理。 $𝑝=\text{1}+\text{3}𝑥+\text{9}{𝑥}^2$を素数とする。このとき、 xの約数は3乗剰余（mod p ）。

アイゼンシュタイン整数

背景

ガウスは、4乗剰余に関する2番目の段落で、次のように述べている。

双次残差の定理は、算術の分野が虚数に拡張された場合にのみ、最大の単純さと真の美しさで輝く。そのため、制限なしに、 a + biの形式の数が研究の対象を構成する...私たちはそのような数を整数の複素数と呼ぶ。 [太字は原文のまま]

これらの数は現在、Z [i ]で表されるガウス整数と呼ばれている。 iは1の4乗根であることに注意。 脚注で彼は以下のように付け加えている。

3次剰余の理論は、a + bhの形式の数の考慮に同様の方法で基づいている必要がある。ここで、 hは方程式h ³ = 1の虚数根...同様に、高次の剰余の理論では他の虚数の導入となる。

アイゼンシュタインは、三次剰余に関する彼の最初の記述で1の立方根から構築された数の理論を展開した。それらは現在アイゼンシュタイン整数環と呼ばれています。アイゼンシュタインは（言い換えれば）「この環の特性を調査するには、 Z [i ]に関するガウスの研究を参照し、証明を修正するだけでよい」と述べた。いずれの環も一意分解環であるため、これは驚くべきことではない。

「高次の剰余の理論」に必要な「その他の虚数」は、1の冪乗根である。ガウス整数とアイゼンシュタイン整数を生成する虚数は、これらの最も単純な例である。

用語

$\omega$を以下のように定める。

$\omega =\frac{-1+i\sqrt{3}}{2}=e^{\frac{2\pi i}{3}},{\omega }^3=1.$

そして、アイゼンシュタイン整数環を考えるものとする：

$\mathbb{Z}[\omega ]=\{a+b\omega :a,b\in \mathbb{Z}\}.$

これは、次の式で与えられるノルムを持つユークリッド環である。

$N(a+b\omega )=a^2-ab+b^2.$

ノルムは常に0または1（mod 3）に合同であることに注意すること。

$\mathbb{Z}[\omega ]$の単数群 （可逆元の集合）は、1の6乗根の巡回群となる。

$\{\pm 1,\pm \omega ,\pm {\omega }^2\}.$

$\mathbb{Z}[\omega ]$は一意因数分解環であり、素数は3つの類に分類される：

• 3は特殊な場合である：

$3=-{\omega }^2(1-\omega {)}^2.$

3は$\mathbb{Z}[\omega ]$の素数の二乗で割り切れる$\mathbb{Z}$で唯一の素数 。素数3は$\mathbb{Z}[\omega ]$で分岐すると言う 。

• 2（mod 3）正の素数$\mathbb{Z}$に合同なのも$\mathbb{Z}[\omega ]$ の素元である 。これらの素数は$\mathbb{Z}[\omega ]$で惰性すると言う 。惰性する素数$q$のノルムは以下で与えられることに注意。

$N(q)=q^2\equiv 1mod3.$

• 1（mod 3）に合同な$\mathbb{Z}$の正の素数は、$\mathbb{Z}[\omega ]$の2つの共役な素元の積である 。$\mathbb{Z}[\omega ]$でこれらの素数は分解すると言う 。それらの因数分解は次の式で与えられる。

$p=N(\pi )=N(\bar{\pi })=\pi \bar{\pi }.$

例えば

$7=(3+\omega )(2-\omega ).$

3と互いに素な元が、通常の整数と$(1-\omega {)}^2$を法として合同である場合、その数は1次。 これはmod3で$\pm 2$と合同だと言うのと同じです。$\gcd (N(\lambda ),3)=1$のとき、$\lambda ,\omega \lambda ,$または${\omega }^2\lambda$の一つは素元である。さらに、2つの共役な素数の積は1次であり、1次の数の共役も1次である。

$\mathbb{Z}[\omega ]$の一意分解定理は$\lambda \ne 0$ならば

$\lambda =\pm {\omega }^{\mu }(1-\omega {)}^{\nu }{\pi }_1^{{\alpha }_1}{\pi }_2^{{\alpha }_2}{\pi }_3^{{\alpha }_3}\cdots ,\mu \in \{0,1,2\},\nu ,{\alpha }_1,{\alpha }_2,\dots ⩾0$

ここでそれぞれの${\pi }_i$（アイゼンシュタインの定義による）素元。そして、この表現は、因子の順序を除き一意的である。

合同と最大公約数の概念は、$\mathbb{Z}[\omega ]$でも通常の整数$\mathbb{Z}$の場合と同じように次のように定義される。単数はすべての数値を割り切るため、法$\lambda$の任意の同伴な元を法としても合同関係は真であり 、GCDの同伴元もまたGCDである。

3乗剰余記号

定義

フェルマーの小定理の類似物は、 $\mathbb{Z}[\omega ]$ でも成立する。$\alpha$を素数$\pi$で割り切れない元としたとき

${\alpha }^{N(\pi )-1}\equiv 1mod\pi .$

ここで$N(\pi )\ne 3$なので$N(\pi )\equiv 1mod3.$または別の言い方をすると$3\mid N(\pi )-1.$よって、次のように書くことができる。

${\alpha }^{\frac{N(\pi )-1}{3}}\equiv {\omega }^{k}mod\pi ,$

${\omega }^k$は単数で、 この値は$\alpha$の$\pi$を法とした3乗剰余記号と呼ばれ、以下のように書かれる。

${\left(\frac{\alpha }{\pi }\right)}_3={\omega }^k\equiv {\alpha }^{\frac{N(\pi )-1}{3}}mod\pi .$

性質

3乗剰余記号はルジャンドル記号と同様の性質を持っている。

• $\alpha \equiv \beta mod\pi$ならば${\left(\frac{\alpha }{\pi }\right)}_3={\left(\frac{\beta }{\pi }\right)}_3.$
• ${\left(\frac{\alpha \beta }{\pi }\right)}_3={\left(\frac{\alpha }{\pi }\right)}_3{\left(\frac{\beta }{\pi }\right)}_3.$
• $\overline{{\left(\frac{\alpha }{\pi }\right)}_3}={\left(\frac{\bar{\alpha }}{\bar{\pi }}\right)}_3,$ここで、バーは複素共役を示す。
• $\pi$と$\theta$が同伴ならば${\left(\frac{\alpha }{\pi }\right)}_3={\left(\frac{\alpha }{\theta }\right)}_3$
• 合同式$x^3\equiv \alpha mod\pi$に$\mathbb{Z}[\omega ]$での解があり、かつそのときに限り${\left(\frac{\alpha }{\pi }\right)}_3=1.$
• $a,b\in \mathbb{Z}$が以下の性質を満たすとする。$\gcd (a,b)=\gcd (b,3)=1,$このとき${\left(\frac{a}{b}\right)}_3=1.$
• ルジャンドル記号がヤコビ記号に一般化されるのと同じ方法で、3乗剰余記号の「分母」を合成数（3と互いに素）に乗算的に拡張できる。ヤコビ記号のように、3乗剰余記号の値は「分母」が合成数である場合には、「分子」が「分母」を法として3乗剰余である場合は1に等しくなり、記号が1に等しくない場合、「分子」は「分母」を法とした3乗非剰余になるが、「分子」が3乗非剰余であっても、記号の値が1になることがある。

${\left(\frac{\alpha }{\lambda }\right)}_3={\left(\frac{\alpha }{{\pi }_1}\right)}_3^{{\alpha }_1}{\left(\frac{\alpha }{{\pi }_2}\right)}_3^{{\alpha }_2}\cdots ,$

ただし

$\lambda ={\pi }_1^{{\alpha }_1}{\pi }_2^{{\alpha }_2}{\pi }_3^{{\alpha }_3}\cdots$

相互法則

αとβを$\mathbb{Z}$の元とする。このとき

$(\frac{\alpha }{\beta }{)}_3=(\frac{\beta }{\alpha }{)}_3.$

単数と素元1− ωには補充法則 がある：

α =a+bωである素元、a=3m+1及びb=3n とおく。 （a≡2（mod 3）の場合 αをその同伴元-αと置き換える。これは、3乗剰余記号値を変更しない。 ）このとき

$(\frac{\omega }{\alpha }{)}_3={\omega }^{\frac{1-a-b}{3}}={\omega }^{-m-n},(\frac{1-\omega }{\alpha }{)}_3={\omega }^{\frac{a-1}{3}}={\omega }^m,(\frac{3}{\alpha }{)}_3={\omega }^{\frac{b}{3}}={\omega }^n.$

関連項目

• 平方剰余
• 四次剰余
• 八次剰余
• アイゼンシュタインの相互律（n乗剰余の相互法則）
• アルティン相互法則

参考文献

オイラー、ヤコビ、アイゼンシュタインの元の論文への参照は、レマーマイヤーとコックスの参考文献からコピーされたものであり、この記事の作成には使用されなかった。

オイラー

• テンプレート:Citation

これは実際には1748–1750年に書かれたが、死後に出版された。第5巻、pp182–283に該当箇所がある。

• テンプレート:Citation

ガウス

ガウスは、四次相互法則について公開した2つの段落に連続セクションの番号を付けている：最初は§§1– 23、2番めは§§24– 76に含まれている。これらを参照する脚注は「ガウス、BQ、§n」の形式。 Disquisitiones Arithmeticaeの参照は脚注「ガウス、DA,Art.n」形式のものである。

• テンプレート:Citation

• テンプレート:Citation

これらはGauss'sWerke 、Vol II、pp.65-92と93–148にある。

ガウスの平方剰余相互法則の5番目と6番目の証明は

• テンプレート:Citation

これはGauss'sWerke 、Vol II、pp.47 – 64にある。

上記の3つすべてのドイツ語訳は次のとおり。これには、 DisquisitionesArithmeticaeとガウスの他の数論に関する論文もある。

• テンプレート:Citation

アイゼンシュタイン

• テンプレート:Citation

• テンプレート:Citation

• テンプレート:Citation

これらの論文はすべて彼の全集のVolIにある。

ヤコビ

• テンプレート:Citation

これは彼の全集のVolVIにある。

現代の著者

• テンプレート:Citation

• テンプレート:Citation

• テンプレート:Citation

外部リンク

• テンプレート:MathWorld