トップQs
タイムライン
チャット
視点

冪乗剰余記号

ウィキペディアから

Remove ads

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

背景と表記

要約
視点

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

である素イデアルであるとし、 n互いに素(すなわち )。

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

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

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

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

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

Remove ads

定義

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

Remove ads

性質

要約
視点

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

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

Remove ads

ヒルベルト記号との関係

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

と互いに素、ここで局所体の素元とする。 [3]

Remove ads

一般化

要約
視点

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

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

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

に対しては、

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

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

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

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

n乗剰余の相互法則

平方剰余法則の類似物である乗剰余の相互法則は、ヒルベルト記号を利用して以下として定式化できる[4]

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

Remove ads

関連項目

注釈

参考文献

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads