今日は,私の大好きな数式から話を始めたいと思います。
式の左辺は平方根,右辺は円の5等分点 となっていて,両者が一次結合の等式で結ばれるという非常に不思議な式なのです。
この式は図形的に解釈してみても面白いです。複素数平面に をおきましょう。 と のベクトル, と のベクトルをそれぞれ加えて,両者の差をとるとその長さが となるのです。
面白いでしょう?
代数的に考えてみるとまた新しい視点が得られます。 として, は という代数体(いわゆる二次体)の任意の元を表しますが, 式を使うと,
となって,二次体 の任意の元が円分体の元として表せます。すなわち, として
がいえます。これは二次体が円分体に包含されることを意味しますね。
さて,ここからが本題です。話を少し飛躍させましょう。
先ほどの法則は「 の二次拡大が円分体に包含される」というものでした。逆に「円分体に包含されるような の拡大」はいったいどのような法則を満たす拡大体なのでしょうか。
では, 上の非可換ではない拡大体,すなわち 上のアーベル拡大体ではどうでしょうか。すなわち, 上のアーベル拡大は,すべて円分体に含まれるでしょうか?
この問いに対し Yes!! と答えてくれるのが,
です。
ただし, は1の原始 乗根の一つで とする.
今日から数回にわたって,このクロネッカー・ウェーバーの定理の証明のあらすじを紹介したいと思います。
「あらすじ」と書いている通り,完全な証明には至ることができません。私の理解不足もあって,重要な箇所であっても詳細に踏み込んでいないところがいくつかあるかと思います。どうぞご了承ください。それでもどうしても書きたいくらい感動したのです。
この記事は,現代数学で尾崎学先生が連載されている「ガロア理論からみた現代数学」で紹介された内容を参考に書いています。該当回は2015年の6月から8月あたりです。
連載の中で紹介された証明は,Neumann による証明をベースにしているそうです。非常に面白いトピックを扱った連載なので,詳しい内容を知りたい方はぜひ購入して読んでみてください。
- 出版社/メーカー: 現代数学社
- 発売日: 2015/05/12
- メディア: 雑誌
- この商品を含むブログを見る
- 出版社/メーカー: 現代数学社
- 発売日: 2015/06/12
- メディア: 雑誌
- この商品を含むブログを見る
ガウス和
まずは,冒頭で述べたような2次拡大のケースを考えましょう。
ガウス和と呼ばれる重要な式を定義します。 を奇素数としたとき,
と定義します。式をみれば明らかですが, は の元です。
ガウス和には,以下のような法則があって,二次体と関係するのです。
ただし,右辺の符号は が 4n+1 型のとき正, が 4n+3 型のとき負となる。
大事な定理なので証明もやりましょう。
と置き換えても, の和のとり方は変わらないので,以下のように変形できる.
ただし, は なる の元とする.
すると, に対して, を漏れなくダブりなく渡る.
より
が成り立つので,和記号の順番を入れ替えて
とする.ここで, に関する和に のときを加えた
は, のときに0乗になって,それ以外は 乗根全体の和(すなわち,0)となるから
これを代入すると
が得られる.ここで の平方剰余と平方非剰余の個数が一致するから
が成り立つ.したがって
計算すると
が得られる.すなわち
となる.
ここで,平方剰余の第一補充則より
であるから,定理の主張が得られた.
本記事を書くにあたって,改めて上記の証明を書き下してみたのですが,絶妙に平方剰余についての法則を利用していることがわかります。ガウス和がうまく定義されていることがよくわかって面白いですね。
さて,以上のガウス和の定理を使うと,冒頭に述べた式 を(ほぼ)示すことができます。 とすると, より
が得られます。よって,平方根をとって の定義を書き下すと
となります。 は の平方剰余, は の平方非剰余であるから
が得られます。右辺の の符号の決定以外は,式 と完全に一致していますね。符号の決定はガウスを手こずらせた問題として有名ですが,今回は触れないでおきましょう。
さて,奇素数を として, という元はガウス和を用いて円分体の元として表せることがわかりました。
また, より,上の符号が逆転していても
として,円分体の元として表現できます。唯一の偶素数 であっても
がいえますから,素数の平方根についてはすべて円分体の元で表すことができます。
さらに,ルートの中身が素数でない場合,すなわち についても同様に考えることができます。 を平方因子を持たない整数としたとき
と素因数分解できます。このとき は奇素数で, です。
先ほどの議論により,
と表すことができて
とすることができますね。 については,正であればそのまま,負であれば に置き換えてあげればよいですね。これにより, が円分体 の元であることがわかりました。(ここで, は のいずれかの値をとる整数です。)
上の任意の2次拡大 は,平方因子を持たない整数 を用いて と表せるので,以上の議論により が2次拡大のケースにおいてはクロネッカー・ウェーバーの定理が成り立っていることが確認できました。
クロネッカー・ウェーバーの定理の証明は,この事実を遠く一般化していくことになります。しかしながら,この2次拡大のケースの方法は一般化においても大変役に立つのです。ガウス和の類似物はまた登場します。
具体例の計算
せっかくなので,少しだけ具体例の計算をしましょう。冒頭の のケース以外にも,一般に に対して計算することができます。
の場合:
は 型の素数より
が成り立つ.左辺のガウス和を展開すると
となる。 は の平方剰余, は の平方非剰余より
符号を確認することにより,
が得られる。これは の元である。
の場合:
より
あとはこれを展開すればよいから
よって,これは の元である。
「アーベル拡大」にどのように一般化するか
さて,ここからは一般の「アーベル拡大」を扱いたいのですが,これはどうすればよいでしょうか。
2次拡大の場合は, 上の拡大を作るための具体的な元 が存在したので,これをとっかかりに話を進めることができました。しかしながら,一般のアーベル拡大に対して対応するアーベル拡大を作る元 を用意することができません。
この問題に対しては鮮やかな解決策が存在します。群論を使うのです。
が有限次アーベル拡大ということは,そのガロア群 は有限アーベル群になります。有限アーベル群には「有限アーベル群の基本定理」があって,実はその素性がよくわかっているというのがミソです。
上とガロア理論の基本定理を使うと,一般のアーベル拡大をガロア群が となる 次巡回拡大のケースに帰着することができます。やってみましょう。
アーベル拡大 のガロア群を とします。 は有限アーベル群なので,有限アーベル群の基本定理より
とかけます。ここで, は 次の巡回群です。
このとき, から 番目の を抜いた群 を考えます。
これはもちろん の部分群になります。
の部分体で によって固定される体を とおくと, はガロア拡大で
となることがわかります。すなわち, は の 次巡回拡大となります。
また,合成体 が に一致することもわかります。
ガロア理論の推進定理と を使って
が成り立ちます。また, で, です。したがって,
です。
また, かつ より です。
より, が得られます。( のときも同様)
したがって,仮に が示されれば,
となって( は たちの合成体),クロネッカー・ウェーバーの定理が証明されます。
したがって,以下の命題を示せば十分です。
ただし, は1の原始 乗根の一つで とする.
以上の議論によって「一般のアーベル拡大」の問題が「 次の巡回拡大」に帰着されました。
予告
あとは, 次の巡回拡大のケースを解くだけです。
実はここから先がもっと面白い・・・のですが,そろそろ10000字を超えてきましたので,続きはその2に任せたいと思います。
今日は簡単にこの先の予告をして終わりましょう。以下の2点を示すことになります:
- を 次巡回拡大としたとき, を満たす が存在することを示します。
- さらに,その がある種のガウス和 と1の 乗根 を使って と書けることを示します。
以上の2つによって,
が言えて,巡回拡大 が円分拡大に含まれることが示されます。
すなわち,1. 2. が示されればクロネッカー・ウェーバーの定理の証明が完結します。
1. については,ラグランジュ・リゾルベントのようなものを使って代数的に証明します。2次拡大のときは, を添加して が作れましたが, 次拡大のときは単に を添加するだけではうまくいきません。 に1の 乗根すべてが入った体 を考えて,その上の拡大を考えることになります。このような拡大をクンマー拡大と言います。
2. については,非常に奥深い証明になります。おそらくこの部分がもっとも本質的な証明になるはずです。ガロア群を として群環 を考えます。この群環の元である Stickelberger元 と呼ばれる重要な対象が登場します。2. の証明には「Stickelberger元が素イデアルに作用するとガウス和が現れる」という性質を用いることになります。この辺りには「クンマー・ペアリング」という道具や「円分体の素イデアル分解法則」といった代数的整数論の知識をフルに活用します。ほぼすべてのパートにクンマーの名前が登場してきて「クンマーすげえ!!!」と思うことでしょう。
というわけで,非常に良いところで終わってしまいますが,今日はこのへんで。
そのうち続きを書きたいと思いますのでお楽しみに!