代数的整数論では、 n乗剰余記号(整数n > 2の場合)は、(2次の場合の)ルジャンドル記号をn乗に一般化したものである。これらの記号は、 3次、 4次、および関連するより高い次数での[1]相互法則の文脈と証明で使用される。 [2]
kを整数環を持つ代数体とし、
をその整数環とする。
には1の原始n乗根
が含まれているとする。
を
である素イデアルであるとし、 nと
は互いに素(すなわち
)。
のノルムは、剰余環の位数として定義される(
は素イデアルであるため、剰余環は有限体)。:
![{\displaystyle \mathrm {N} {\mathfrak {p}}:=|{\mathcal {O}}_{k}/{\mathfrak {p}}|.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d7b7a4f22f422ff34cd6573e5a91e4c608f9779)
でのフェルマーの小定理の類似物は
ならば
![{\displaystyle \alpha ^{\mathrm {N} {\mathfrak {p}}-1}\equiv 1{\bmod {\mathfrak {p}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b65b32c27480dd0591013ae557b10278889b3f36)
が成り立つという主張であり、そのまま成立する。
そして、
のとき、上記を利用した
![{\displaystyle \alpha ^{\frac {\mathrm {N} {\mathfrak {p}}-1}{n}}\equiv \zeta _{n}^{s}{\bmod {\mathfrak {p}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d2202a563f798e38e8ed387fbe8bcc9db4a2357)
はwell-definedであり、
が
で1の冪根
と合同であることを意味する。
上の右辺に出現した1の冪根は、
における
乗剰余記号と呼ばれ、以下の記号で示される。
![{\displaystyle \left({\frac {\alpha }{\mathfrak {p}}}\right)_{n}=\zeta _{n}^{s}\equiv \alpha ^{\frac {\mathrm {N} {\mathfrak {p}}-1}{n}}{\bmod {\mathfrak {p}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe77061b0ea9e6f1b74e57853135547007b99483)
乗剰余記号は、古典的な(2次の)ルジャンドル記号と非常に類似した特性を持っている。(以下、
を1の原始n乗根として固定する):
![{\displaystyle \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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c509826ea6f805ec239204d545c630a92208213)
すべての場合(記号の値がゼロおよび非ゼロのいずれの場合でも)において
![{\displaystyle \left({\frac {\alpha }{\mathfrak {p}}}\right)_{n}\equiv \alpha ^{\frac {\mathrm {N} {\mathfrak {p}}-1}{n}}{\bmod {\mathfrak {p}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/163fa74f0f7fc7f938a620c63fbf9819237d8434)
![{\displaystyle \left({\frac {\alpha }{\mathfrak {p}}}\right)_{n}\left({\frac {\beta }{\mathfrak {p}}}\right)_{n}=\left({\frac {\alpha \beta }{\mathfrak {p}}}\right)_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e20a1a52a89238e17e45e12754d89616d3ee6b15)
![{\displaystyle \alpha \equiv \beta {\bmod {\mathfrak {p}}}\quad \Rightarrow \quad \left({\frac {\alpha }{\mathfrak {p}}}\right)_{n}=\left({\frac {\beta }{\mathfrak {p}}}\right)_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50a81798ffebb40325bc18fdc295115f2bac6550)
次の冪乗剰余記号は、ヒルベルト記号とも関連している。
を素イデアル
に対して
![{\displaystyle \left({\frac {\alpha }{\mathfrak {p}}}\right)_{n}=(\pi ,\alpha )_{\mathfrak {p}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/757a8c5efb3eef104341555d21a025dad007070e)
は
と互いに素、ここで
は局所体
の素元とする。 [3]
次のヤコビ記号はヤコビ記号がルジャンドル記号を拡張するのと同じ方法で、素イデアルまたはゼロ以外の元を「分母」として使用するように、冪乗剰余記号を拡張できる。
任意のイデアル
は素イデアルの積に表され、その方法は一意的である。
![{\displaystyle {\mathfrak {a}}={\mathfrak {p}}_{1}\cdots {\mathfrak {p}}_{g}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f75153e37e5e38740ae00985010152c27106d6aa)
次のヤコビ記号はこれを利用して乗法的に定義される:
![{\displaystyle \left({\frac {\alpha }{\mathfrak {a}}}\right)_{n}=\left({\frac {\alpha }{{\mathfrak {p}}_{1}}}\right)_{n}\cdots \left({\frac {\alpha }{{\mathfrak {p}}_{g}}}\right)_{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/717d1c428c00fda54c4a4d397efaa55ed0ed0200)
に対しては、
![{\displaystyle \left({\frac {\alpha }{\beta }}\right)_{n}:=\left({\frac {\alpha }{(\beta )}}\right)_{n},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4bbe32502eb407399af20feeef5ffb5afb62f79)
ここで、
は
によって生成された主イデアルである。
2次のヤコビ記号と同様に、この記号は上部と下部それぞれのパラメーターについて乗法的である。
![{\displaystyle \alpha \equiv \beta {\bmod {\mathfrak {a}}}\Rightarrow \left({\tfrac {\alpha }{\mathfrak {a}}}\right)_{n}=\left({\tfrac {\beta }{\mathfrak {a}}}\right)_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7406840b9f14edeb42a798024a501ef10e3feeeb)
![{\displaystyle \left({\tfrac {\alpha }{\mathfrak {a}}}\right)_{n}\left({\tfrac {\beta }{\mathfrak {a}}}\right)_{n}=\left({\tfrac {\alpha \beta }{\mathfrak {a}}}\right)_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7dbc8b998270ddcda2663e68ef3326dce697fd6)
![{\displaystyle \left({\tfrac {\alpha }{\mathfrak {a}}}\right)_{n}\left({\tfrac {\alpha }{\mathfrak {b}}}\right)_{n}=\left({\tfrac {\alpha }{\mathfrak {ab}}}\right)_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8415f1e8407de387bc65218056567008e0555f43)
記号の値は常に1の原始n乗根。その乗法性のため、一方のパラメーターが
乗剰余である場合は常に1に等しくなる。 逆は真ではない。
![{\displaystyle \alpha \equiv \eta ^{n}{\bmod {\mathfrak {a}}}\Rightarrow \left({\tfrac {\alpha }{\mathfrak {a}}}\right)_{n}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/811e0e72d7b3aa832f1a5e3bc8bbad569d118fbf)
![{\displaystyle \left({\tfrac {\alpha }{\mathfrak {a}}}\right)_{n}\neq 1\Rightarrow }](https://wikimedia.org/api/rest_v1/media/math/render/svg/10cfd7dd9a67596d436f2e966c65954793c69b47)
は
を法とした
乗剰余ではない。
- 場合
![{\displaystyle \left({\tfrac {\alpha }{\mathfrak {a}}}\right)_{n}=1\Rightarrow }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b4a2604b88f2e4c9a35a7c7eb5f9ad418f6f3ba)
は
を法として
乗剰余かもしれないし、そうでないかもしれない。
平方剰余の法則の類似物である
乗剰余の相互法則は、ヒルベルト記号を利用して以下として定式化できる[4]。
![{\displaystyle \left({\frac {\alpha }{\beta }}\right)_{n}\left({\frac {\beta }{\alpha }}\right)_{n}^{-1}=\prod _{{\mathfrak {p}}|n\infty }(\alpha ,\beta )_{\mathfrak {p}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe0c9475fdf8a765e0c620d50a7dd1427c54b6cb)
ただし、
と
は互いに素である。
- ^ 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
- ^ Neukirch (1999) p. 336
- ^ Neukirch (1999) p. 415
- Gras, Georges (2003), Class field theory. From theory to practice, Springer Monographs in Mathematics, Berlin: Springer-Verlag, pp. 204–207, ISBN 3-540-44133-6, Zbl 1019.11032
- Ireland, Kenneth; Rosen, Michael (1990), A Classical Introduction to Modern Number Theory (Second edition), New York: Springer Science+Business Media, ISBN 0-387-97329-X
- Lemmermeyer, Franz (2000), Reciprocity Laws: from Euler to Eisenstein, Berlin: Springer Science+Business Media, doi:10.1007/978-3-662-12893-0, ISBN 3-540-66957-4, MR1761696, Zbl 0949.11002
- Neukirch, Jürgen (1999), Algebraic number theory, Grundlehren der Mathematischen Wissenschaften, 322, Translated from the German by Norbert Schappacher, Berlin: Springer-Verlag, ISBN 3-540-65399-6, Zbl 0956.11021