冪乗剰余記号

代数的整数論では、 n乗剰余記号（整数n > 2の場合）は、（2次の場合の）ルジャンドル記号をn乗に一般化したものである。これらの記号は、 3次、 4次、および関連するより高い次数でのQuadratic reciprocity deals with squares; higher refers to cubes, fourth, and higher powers.相互法則の文脈と証明で使用される。 All the facts in this article are in Lemmermeyer Ch. 4.1 and Ireland & Rosen Ch. 14.2

 背景と表記 
kを整数環を持つ代数体とし、をその整数環とする。には1の原始n乗根が含まれているとする。

をである素イデアルであるとし、 nとは互いに素（すなわち ）。

のノルムは、剰余環の位数として定義される（ は素イデアルであるため、剰余環は有限体）。：



でのフェルマーの小定理の類似物はならば



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

そして、 のとき、上記を利用した



はwell-definedであり、がで1の冪根と合同であることを意味する。

 定義 
上の右辺に出現した1の冪根は、における乗剰余記号と呼ばれ、以下の記号で示される。



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



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





 ヒルベルト記号との関係 
次の冪乗剰余記号は、ヒルベルト記号とも関連している。 を素イデアルに対して



 はと互いに素、ここでは局所体の素元とする。 Neukirch (1999) p. 336

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

任意のイデアルは素イデアルの積に表され、その方法は一意的である。



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



に対しては、



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

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





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


 はを法とした乗剰余ではない。
 場合はを法として乗剰余かもしれないし、そうでないかもしれない。

 n乗剰余の相互法則 
平方剰余の法則の類似物である乗剰余の相互法則は、ヒルベルト記号を利用して以下として定式化できるNeukirch (1999) p. 415。



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

 関連項目 

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

 注釈 

 参考文献 






Category:代数的整数論
Category:数学に関する記事