本記事は日曜数学 Advent Calendar 202312日目の記事です。
昨日はキグロさんによる "書籍『笑わない数学』裏話" でした。
今回のテーマは平方剰余の相互法則である。
まず平方剰余とはなにかについて説明しよう。
定義 (平方剰余)
ここでうまくこの平方剰余性を表すことのできる関数を次で定める。
定義(Legendre記号)
ここでLegendre記号は
.
という表示を持つことが知られている。よって
が成り立つことが分かる。
以上をもとに今回の主役である平方剰余の相互法則を紹介する。
平方剰余の相互法則
を異なる奇
素数とすれば
が成り立つ。
平方剰余の相互法則を示すには
を示せばよい。なぜならこれが正しければ、上に書いた定理から
より平方剰余の相互法則が得られるからである。
今回は
Gauss周期と呼ばれる
の冪乗根の線形和で定義される数を用いた鮮やかで面白い証明方法を紹介する。さらに最後にこの証明に用いられていたテクニックからGaussがいかに時代を先駆けていたかについてを語る。
Gauss周期の定義と性質
整数 に対しそれを奇素数 を法として考えるとき、 とかくとする。このとき、 を法とした世界 の 以外の集合 はある整数 により生成される。つまり
とできる。この時 の約数 に対して
と定める。これはつまり としているのである。
例えば の時を考えると
, であるので でさらに
と分かる。
とする。
この時次のようにGauss周期を定める。
定義(Gauss周期)
整数
と
の約数
に対して
により定めたものを
次のGauss周期という。
ただし、
に対し
とは
の適当な代表元
に対して
と定めるとする。これは
が
の
乗根であることから定義可能である。
ここでGauss周期は
を満たす。よって
であったことから、2次のGauss周期は と と のみであることが分かる。
よって、 は定義より が を法として平方剰余であることと同値なので となることは が を法として平方剰余であることと同値である。また、 が を法として平方非剰余であることは となることと同値であることも分かる。
以上より が を法として平方剰余であるかどうかという問題は かどうかというGauss周期の言葉に書き換えることができた。
ここからは 次のGauss周期の満たす性質について紹介する。
まずは
という関係式を用いれば
と分かる。
また、次の定理が知られている。
定理
を
と異なる
素数とすると
の倍数
が存在して
と表せる。
次の定理は非常に重要で特に面白い定理である。(面白さの理由は最後の節にて解説する。)
定理(次のGauss周期の基本定理)
方程式
は
と
を解に持つ。
この定理より を解に持つような多項式は で割り切れることもわかる。
今回は基本的に証明を省略したが、どれもGauss周期の性質を存分に使った証明であり面白いので是非参考文献の本を参照してほしい。
平方剰余の相互法則の証明
いよいよ平方剰余の相互法則の証明に入る。
まず示すべき主張を再確認する。
平方剰余の相互法則
を異なる奇
素数とすれば
.
が成り立つ。
またこれを示すためには
を示せばよいのであった。
これを前節を用いてGauss周期の言葉で翻訳すると
を法として
が平方剰余であることと
は同値であり、さらに
が平方非剰余であることと
は同値になるので
と
の二つが示されれば良いことが分かる。
証明:
と書ける。よって
は
を解としてもつ方程式である。したがって
次Gauss周期の基本定理より
は
で割り切れることが分かる。
ここでこれらの方程式の各係数達を
を法として考える。
多項式 の各係数を
を法として考えたものを
とかく。整数にも同じ表記を用いる。すると
が
の倍数であったことから
と分かる。よって
は を法として平方剰余である。
と表せる。よって
である。もし
が
上に解を持つとしてそれを
とすれば
を満たすのでFermatの小定理から
となり
(証明終)
現代数学から見たGaussの証明
さて、今回の証明の鍵となったポイントは次の2点である。
Point 1. 次のGauss周期の基本定理。
Point 2. 有限体
でのGauss周期の値について考察する。
ここでそれぞれの考察を現
代数学における視点から見てみよう。
Point 1.
まず驚くべきは平方剰余に関する問題を解くときに1の冪乗根に注目するという点である。詳しく言うと我々は今
が有限体
に含まれているかどうかという議論をする為に
を1の冪乗根の線形和であるGauss周期を用いて書き考察をしたのだが、「平方根が1の冪乗根達の線形和で書ける」という事実が驚きである。
この驚きの事実は現代ではKronecker-Weberの定理というより一般化された姿として知られている。
定理(Kronecker-Weberの定理)
任意の
上有限次Abel拡大は円分体の部分体である。
ここで整数
に対して
は有限次Abel拡大なので、ある
が存在して
に含まれる。よって
は
達の線形和で書けるのである。
Point 2.
次に注目すべきは方程式 である。今回の証明ではGauss周期が の解であることからそれが の元であることを示したのであった。このテクニックは現代ではGaloisの基本定理として説明ができる。実際、 として の上にある の素イデアル をとる。ここでは の元に対して を法として考えるときに上線をつけるとする。ここで が成り立つのなら
となる。これは と と書けば は の生成元であるFrobenius写像において不変であるということを意味する。よってGaloisの基本定理より であることが分かるのである。
これらのようにGaussは後に美しい理論として整理されるようなテクニックを証明で幾つか用いているのである。また、さらにGaussが幾つもの証明を与えるほどに考察をしていたこの平方剰余の一般化に関する議論はKummerによる理想数の発想を産み、そして類体論と呼ばれる美しい理論によって描かれることとなった。
このアイディアに溢れ、時代を先駆けたGaussの証明の美しさが伝われば幸いである。
参考文献
栗原将人, 「ガウスの数論世界をゆく」, 数学書房
www.sugakushobo.co.jp