冪乗剰余記号

代数的整数論では、 ***n''乗剰余記号'''（整数''n'' > 2の場合）は、（2次の場合の）[[ルジャンドル記号]]を''n''乗に一般化したものである。これらの記号は、 [[三次剰余の相互法則|3次]]、 [[四次剰余の相互法則|4次]]、および関連するより高い次数での[[相互法則]]の文脈と証明で使用される。 

== 背景と表記 ==
''k''を[[整数環]]を持つ[[代数体]]とし、<math>\mathcal{O}_k</math>をその整数環とする。<math>\mathcal{O}_k</math>には[[1の冪根|1の原始n乗根<math>\zeta_n</math>]]が含まれているとする。

<math>\mathfrak{p}</math>を<math>\mathfrak{p} \subset \mathcal{O}_k </math>である[[素イデアル]]であるとし、 ''n''と<math>\mathfrak{p}</math>は[[互いに素]]（すなわち<math>n \not \in \mathfrak{p}</math> ）。

<math>\mathfrak{p}</math>のノルムは、剰余環の位数として定義される（ <math>\mathfrak{p}</math>は素イデアルであるため、剰余環は[[有限体]]）。：

: <math>\mathrm{N} \mathfrak{p} := |\mathcal{O}_k / \mathfrak{p}|.</math>

<math>\mathcal{O}_k</math>での[[フェルマーの小定理]]の類似物は<math>\alpha \in \mathcal{O}_k - \mathfrak{p}</math>ならば

: <math>\alpha^{\mathrm{N} \mathfrak{p} -1}\equiv 1 \bmod{\mathfrak{p}} </math>

が成り立つという主張であり、そのまま成立する。

そして、 <math>\mathrm{N} \mathfrak{p} \equiv 1 \bmod{n}</math>のとき、上記を利用した

: <math>\alpha^{\frac{\mathrm{N} \mathfrak{p} -1}{n}}\equiv \zeta_n^s\bmod{\mathfrak{p} }</math>

は[[well-defined]]であり、<math>\alpha^{\frac{\mathrm{N} \mathfrak{p} -1}{n}}</math>が<math>\bmod{\mathfrak{p} }</math>で[[1の冪根]]<math>\zeta_n^s</math>と合同であることを意味する。

== 定義 ==
上の右辺に出現した[[1の冪根]]は、<math>\mathcal{O}_k</math>***における\mathit{n}*乗剰余記号*'と呼ばれ、以下の記号で示される。

: \left(\frac{\alpha}{\mathfrak{p} }\right)_n= \zeta_n^s \equiv \alpha^{\frac{\mathrm{N} \mathfrak{p} -1}{n}}\bmod{\mathfrak{p}}.

## 性質
*<math>\mathit{n}</math>*乗剰余記号は、古典的な（2次の）ルジャンドル記号と非常に類似した特性を持っている。（以下、 \zetaを1の原始''n''乗根として固定する）：

: \left(\frac{\alpha}{\mathfrak{p} }\right)_n = \begin{cases}
0 & \alpha\in\mathfrak{p}\\
1 & \alpha\not\in\mathfrak{p}\text{ and } \exists \eta \in\mathcal{O}_k : \alpha \equiv \eta^n \bmod{\mathfrak{p}}\\
\zeta & \alpha\not\in\mathfrak{p}\text{ and there is no such }\eta
\end{cases}

すべての場合（記号の値がゼロおよび非ゼロのいずれの場合でも）において

: \left(\frac{\alpha}{\mathfrak{p}}\right)_n \equiv \alpha^{\frac{\mathrm{N} \mathfrak{p} -1}{n}}\bmod{\mathfrak{p}}. 
:  \left(\frac{\alpha}{\mathfrak{p}}\right)_n \left(\frac{\beta}{\mathfrak{p}}\right)_n = \left(\frac{\alpha\beta}{\mathfrak{p} }\right)_n 
: \alpha \equiv\beta\bmod{\mathfrak{p}} \quad \Rightarrow \quad \left(\frac{\alpha}{\mathfrak{p} }\right)_n = \left(\frac{\beta}{\mathfrak{p} }\right)_n 

## ヒルベルト記号との関係
\mathit{n}次の冪乗剰余記号は、ヒルベルト記号とも関連している。 (\cdot,\cdot)_{\mathfrak{p}}を素イデアル\mathfrak{p}に対して

: \left(\frac{\alpha}{\mathfrak{p} }\right)_n = (\pi, \alpha)_{\mathfrak{p}} 

\mathfrak{p} は\mathit{n}と互いに素、ここで\piは局所体<math>K_{\mathfrak{p}}</math>の素元とする。 

## 一般化
n 次のヤコビ記号はヤコビ記号がルジャンドル記号を拡張するのと同じ方法で、素イデアルまたはゼロ以外の元を「分母」として使用するように、冪乗剰余記号を拡張できる。

任意のイデアル\mathfrak{a}\subset\mathcal{O}_kは素イデアルの積に表され、その方法は一意的である。

: \mathfrak{a} = \mathfrak{p}_1 \cdots\mathfrak{p}_g.

n 次のヤコビ記号はこれを利用して乗法的に定義される：

:  \left(\frac{\alpha}{\mathfrak{a} }\right)_n = \left(\frac{\alpha}{\mathfrak{p}_1 }\right)_n \cdots \left(\frac{\alpha}{\mathfrak{p}_g }\right)_n. 

0 \neq \beta\in\mathcal{O}_kに対しては、

: \left(\frac{\alpha}{\beta}\right)_n := \left(\frac{\alpha}{(\beta) }\right)_n,

ここで、(\beta)は\betaによって生成された主イデアルである。

2次のヤコビ記号と同様に、この記号は上部と下部それぞれのパラメーターについて乗法的である。

* \alpha\equiv\beta\bmod{\mathfrak{a}}\Rightarrow\left(\tfrac{\alpha}{\mathfrak{a} }\right)_n = \left(\tfrac{\beta}{\mathfrak{a} }\right)_n
*  \left(\tfrac{\alpha}{\mathfrak{a} }\right)_n \left(\tfrac{\beta}{\mathfrak{a} }\right)_n = \left(\tfrac{\alpha\beta}{\mathfrak{a} }\right)_n 
*  \left(\tfrac{\alpha}{\mathfrak{a} }\right)_n \left(\tfrac{\alpha}{\mathfrak{b} }\right)_n = \left(\tfrac{\alpha}{\mathfrak{ab} }\right)_n 

記号の値は常に1の原始''n''乗根。その乗法性のため、一方のパラメーターが\mathit{n}乗剰余である場合は常に1に等しくなる。 逆は真ではない。

* \alpha\equiv\eta^n\bmod{\mathfrak{a}}\Rightarrow\left(\tfrac{\alpha}{\mathfrak{a} }\right)_n =1
*  \left(\tfrac{\alpha}{\mathfrak{a} }\right)_n \neq 1\Rightarrow\alphaは\mathfrak{a}を法としたn乗剰余ではない。
* 場合 \left(\tfrac{\alpha}{\mathfrak{a} }\right)_n =1\Rightarrow\alphaは\mathfrak{a}を法としてn乗剰余かもしれないし、そうでないかもしれない。

## n乗剰余の相互法則
平方剰余の法則の類似物である\mathit{n}*乗剰余の相互法則*は、ヒルベルト記号を利用して以下として定式化できる。

: \left({\frac{\alpha}{\beta}}\right)_n \left({\frac{\beta}{\alpha}}\right)_n^{-1} = \prod_{\mathfrak{p} | n\infty} (\alpha,\beta)_{\mathfrak{p}},

ただし、\alphaと\betaは互いに素である。

## 関連項目

* アルティン記号
* ガウスの補題

## 注釈

## 参考文献

* 
* 
* 
*