3乗剰余の相互法則

数学、特に初等整数論・代数的整数論において、**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つの合同式が成り立つ:

: 
\begin{align}
x^{q} &\equiv x \bmod{q}, \\
x^{q-1} &\equiv 1 \bmod{q}.
\end{align}


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

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


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

:# 3乗剰余な元からなる集合。
:# 第一の集合の各元を  倍して得られる元からなる集合。
:# 第一の集合の各元を  倍して得られる元からなる集合。

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

:#  を法とした原始根に対する指数が、3を法として0となるもの（3で割り切れるもの）。
:#  を法とした原始根に対する指数が、3を法として1となるもの。
:#  を法とした原始根に対する指数が、3を法として2となるもの。

である。群論のことばでは、第一の集合は乗法群  の指数3の部分群であり、残り2つの和集合はその補集合である。

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

: 
\begin{align}
4p &= (2m-n)^{2} + 3n^{2} \\
&= (2n-m)^{2} + 3m^{2} \\
&= (m+n)^{2} + 3(m-n)^{2}
\end{align}


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

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

の形で  を表すことができる。
互いに素な整数  と に対し、**rational cubic residue symbol**  を次のように定義する。

: 
\left[\frac{m}{n}\right]_{3} = 
\begin{cases}
1 & m \text{ is a cubic residue } \bmod{n} \\
-1 & m \text{ is a cubic non-residue }\bmod{n}
\end{cases}


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

: **オイラーの予想**  : を素数とすると、以下が成り立つ:
:: 
\begin{align}
\left[\tfrac{2}{p}\right]_{3} = 1 &\iff 3 \mid b, \\
\left[\tfrac{3}{p}\right]_{3} = 1 &\iff 9 \mid b \text{ or } 9 \mid (a \pm b), \\
\left[\tfrac{5}{p}\right]_{3} = 1 &\iff 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[\tfrac{6}{p}\right]_{3} = 1 &\iff 9 \mid b \text{ or } 9 \mid (a \pm 2b), \\
\left[\tfrac{7}{p}\right]_{3} = 1 &\implies (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{align}

最初の2つの命題は次のように言い換えることができる  。
:  を3を法として1に合同な素数とするとき、以下が成り立つ:
:* 2が  の3乗剰余となるのは、 と書けるとき、そしてそのときに限る。
:* 3が  の3乗剰余となるのは、 と書けるとき、そしてそのときに限る。

: **ガウスの定理** :  を次を満たす正の素数とする:
:: p = 3n + 1= \tfrac{1}{4} \left(L^{2} + 27M^{2}\right).
: このとき、L(n!)^3 \equiv 1 \bmod p が成り立つ。

このガウスの定理により、直ちに次が従う。
: \left[\tfrac{L}{p}\right]_{3} = \left[\tfrac{M}{p}\right]_{3} = 1.

: **ヤコビの定理（証明なしで述べられている）。**  \mathit{q}\equiv\mathit{p}\equiv\text{1}\pmod{\text{6}}が正の素数とする。明らかに、 *p*と*q*の両方とも3を法として1に合同であるため、次のように仮定する。
:: p = \tfrac14 \left(L^2+ 27M^2\right), \qquad q = \tfrac14 \left(L'^2+ 27M'^2\right).
: \mathit{x}を\mathit{x}^2\equiv\text{-3}\pmod{q}の解とする。このとき
:: x\equiv\pm \frac{L'}{3M'}\bmod q,：
: これにより
:: \begin{align}
\left[\frac{q}{p}\right]_3 =1 \quad &\Longleftrightarrow \quad \left[\frac{\frac{L+3Mx}{2}p}{q}\right]_3 =1 \quad \Longleftrightarrow \quad \left[\frac{\frac{L+3Mx}{L-3Mx}}{q}\right]_3 =1 \\
\left[\frac{q}{p}\right]_3 =1 \quad &\Longrightarrow \quad \left[\frac{\frac{LM'+L'M}{LM'-L'M}}{q}\right]_3 =1
\end{align}

: **レーマーの定理。** *q*と*p*を素数とし、 p = \tfrac14 \left(L^2+ 27M^2\right)このとき 
:: \left[\frac{q}{p}\right]_3 = 1 \quad \Longleftrightarrow \quad q \mid LM \text{ or } L\equiv\pm \frac{9r}{2u+1} M\bmod{q},
: ただし
:: u\not\equiv 0,1,-\tfrac12, -\tfrac13 \bmod q \quad \text{and} \quad 3u+1 \equiv r^2 (3u-3)\bmod q.

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

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

: \begin{align}
\left[\frac{2}{p}\right]_3 =1 \quad &\Longleftrightarrow \quad L \equiv M \equiv 0 \bmod 2 \\
\left[\frac{3}{p}\right]_3 =1 \quad &\Longleftrightarrow \quad M \equiv 0 \bmod 3 \\
\left[\frac{5}{p}\right]_3 =1 \quad &\Longleftrightarrow \quad LM \equiv 0 \bmod 5 \\
\left[\frac{7}{p}\right]_3 =1 \quad &\Longleftrightarrow \quad LM \equiv 0 \bmod 7
\end{align}

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

:  \left[\frac{2}{p}\right]_3 =1 \quad \Longleftrightarrow \quad M \equiv 0 \bmod 2. 

: **マルティネットの定理。** \mathit{p}\equiv\mathit{q}\equiv\text{1}\pmod{\text{3}}が素数であるとする。 pq = \tfrac14 (L^2+ 27M^2)このとき
:: \left[\frac{L}{p}\right]_3 \left[\frac{L}{q}\right]_3 =1\quad \Longleftrightarrow \quad \left[\frac{q}{p}\right]_3 \left[\frac{p}{q}\right]_3 =1.

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

## アイゼンシュタイン整数

### 背景
ガウスは、4乗剰余に関する2番目の段落で、次のように述べている。**双次残差の定理は、算術の分野が虚数に**拡張された場合にのみ、最大の単純さと真の美しさで輝く。そのため、制限なしに、 *a* + *bi*の形式の数が研究の対象を構成する...私たちはそのような数を**整数の複素数と呼ぶ**。  [太字は原文のまま]これらの数は現在**、Z** [*i* ]で表されるガウス整数と呼ばれている。 *i*は1の4乗根であることに注意。

脚注で彼は以下のように付け加えている。*3次剰余の理論は、a* + *bh*の形式の数の考慮に同様の方法で基づいている必要がある。ここで、 *h*は方程式*h* 3 = 1の虚数根...同様に、高次の剰余の理論では他の虚数の導入となる。アイゼンシュタインは、三次剰余に関する彼の最初の記述で1の立方根から構築された数の理論を展開した。それらは現在アイゼンシュタイン整数環と呼ばれています。アイゼンシュタインは（言い換えれば）「この環の特性を調査するには、 **Z** [*i* ]に関するガウスの研究を参照し、証明を修正するだけでよい」と述べた。いずれの環も一意分解環であるため、これは驚くべきことではない。

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

### 用語
 \omegaを以下のように定める。

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

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

: \Z[\omega] = \left \{ a + b \omega \ : \ a, b \in \Z \right \}.

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

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

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

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

: \left \{ \pm 1, \pm \omega, \pm \omega^2\right \}.

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

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

::  3 = -\omega^2 (1-\omega)^2.
:: 
:: 3は\Z[\omega]の素数の二乗で割り切れる\Zで唯一の素数 。素数3は[<math>\Z[\omega]</math>](https://ja.wikipedia.org/wiki/%E3%82%AC%E3%83%AD%E3%82%A2%E6%8B%A1%E5%A4%A7%E3%81%A7%E3%81%AE%E7%B4%A0%E3%82%A4%E3%83%87%E3%82%A2%E3%83%AB%E3%81%AE%E5%88%86%E8%A7%A3)で分岐すると言う 。

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

:: N(q) = q^2 \equiv 1 \bmod{3}.

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

:: p=N (\pi) = N (\overline{\pi})= \pi \overline{\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次である。

\Z[\omega]の一意分解定理は\lambda \neq 0ならば

: \lambda = \pm\omega^\mu(1-\omega)^\nu\pi_1^{\alpha_1}\pi_2^{\alpha_2}\pi_3^{\alpha_3} \cdots, \qquad \mu \in \{0, 1, 2\}, \quad \nu, \alpha_1, \alpha_2, \ldots \geqslant 0

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

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

### 3乗剰余記号

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

: \alpha^{N (\pi) - 1} \equiv 1 \bmod{\pi}.

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

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

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

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

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

* \alpha \equiv \beta \bmod{\pi}ならば\left (\tfrac{\alpha}{\pi}\right )_3=\left (\tfrac{\beta}{\pi}\right )_3.
* \left (\tfrac{\alpha\beta}{\pi}\right )_3=\left (\tfrac{\alpha}{\pi}\right )_3\left (\tfrac{\beta}{\pi}\right )_3.
* \overline{\left (\tfrac{\alpha}{\pi}\right )_3}=\left (\tfrac{\overline{\alpha}}{\overline{\pi}}\right )_3,ここで、バーは複素共役を示す。
* \piと\thetaが同伴ならば\left (\tfrac{\alpha}{\pi}\right )_3=\left (\tfrac{\alpha}{\theta}\right )_3
* 合同式x^3 \equiv \alpha \bmod{\pi}に\Z[\omega]での解があり、かつそのときに限り\left(\tfrac{\alpha}{\pi}\right)_3 = 1. 
* a, b \in \Zが以下の性質を満たすとする。\gcd(a, b) = \gcd(b, 3) = 1,このとき\left(\tfrac{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

### 相互法則
&#x3B1;と&#x3B2;を\mathbb{Z}の元とする。このとき

: \Bigg(\frac{\alpha}{\beta}\Bigg)_3 = \Bigg(\frac{\beta}{\alpha}\Bigg)_3. 

単数と素元1− &#x3C9;には補充法則 がある：

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

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


## 関連項目
* 平方剰余
* 四次剰余
* 八次剰余
* アイゼンシュタインの相互律（n乗剰余の相互法則）
* アルティン相互法則

## 脚注

### 注釈

### 出典

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

### オイラー
* 

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

* 

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

* 

* 

これらは*Gauss'sWerke* 、Vol II、pp.65-92と93&#x2013;148にある。

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

* 

これは*Gauss'sWerke* 、Vol II、pp.47 &#x2013; 64にある。

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

* 

### アイゼンシュタイン
* 

* 

* 

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

### ヤコビ
* 

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

### 現代の著者
* 

* 

* 

## 外部リンク
*