今日は私がまさに今現在勉強している「素イデアルの分解法則」についてお話ししたいと思います。
素イデアルの分解については,これまでの記事でも「フェルマーの二平方定理」やその関連する法則について触れてきましたので,ずっと興味はあったのです。しかしながら,個別ケースの調査にとどまっており,一般論にはいたっていませんでした。
一般的には「類体論」とよばれる理論があって,その系として上記の話は示されるそうです。「類体論までは踏み込まずとも,その手前ぐらい(具体的には「ヒルベルトの理論」くらいまで)は理解したい」そう思って,今まで斜め読みしかしていなかった専門書に本腰入れて取り組むことに決めました。*1
ようやくその正体がわかってきて,先日は「フロベニウス自己同型」の素晴らしさに感動しました。今日は,その感動を文章として残すべく(そして,自分の理解度を試すべく)記事をかきたいと思います。
「ガロア理論」や「イデアル論」を前提とした議論が続くので,これまでの記事と比べてレベルはぐーんと跳ね上がると思います。そのため,ある程度勉強したことがある人向けの記事となってしまいますが,ご了承ください。
でも,理解できたら面白い話だと思います!
(そのうち,ここで話した内容の前提となる知識について,もう少し易しくまとめたいですね。)
今日の目標
フェルマーの二平方定理(せきゅーんさんによると「フェルマーのクリスマス定理」)から話をはじめましょう。フェルマーの二平方定理とは,以下の定理です。
ただし, は の相異なる素イデアル。
この法則は要するに,ある条件を満たす の整数環 の素イデアル が, の整数環 においては素イデアルでなくなってしまう,という素イデアルの分解法則を表しています。
理解を深めるために,もう1つ例を扱います。先ほどは を扱いましたが においては,以下の法則が成り立ちます。
ただし, は の相異なる素イデアル。
こちらの法則も,ある条件を満たす の整数環 の素イデアル が, の整数環 においては素イデアルでなくなってしまう,というやはり素イデアルの分解法則を表しています。
これらに共通するのは「代数体を拡大すると,元の体で素イデアルだったものが上の体では分解してしまう」という現象です。「果たしてその分解はいつ起こるのか?」という疑問に答えるのが左辺の条件です。
面白いのは,条件が の形になっているということです。これがなぜなのかを理解したい。
今日の目標は,これらの法則をヒルベルトの理論や円分体の理論を通して理解することです。
大枠だけ述べると,ヒルベルトの理論と円分体の理論の2段構えで説明されます。ヒルベルトの理論は,分解法則はガロア群によってわかる,というものです。円分体の理論では,そのガロア群は に同型だということを教えてくれます。 とは の世界ですから,なるほど分解法則はたしかに で説明できるよね,というのが結論です。
最初は何を言っているかわからないかもしれませんが,読んでいけばだんだんわかってくるはずです。
今回の話では,まとめとして以下の図がでてきます。
素イデアル分解の一意性
一般の環においては,素因数分解の一意性は一般には成り立ちません。たとえば, においては, という数は以下のように2通りに素因数分解されてしまいます。
一方,デデキント環 においては, の任意の でないイデアル に対して,以下が成り立ちます。
は の相異なる素イデアル
デデキント環においては,素イデアル分解の一意性が保証される。これこそが代数体でイデアルを考える素朴なモチベーションです。「数」より基本的な対象である「イデアル」を考えた方がよいということです。
デデキント環とわざわざ条件がついていますが,一般の代数体( 上の有限次拡大体)の整数環はデデキント環で,今回は代数体しか扱わないので,デデキント環かどうか確認する必要はありません。
以降では「 の整数環 の でない素イデアル」のことを単に「 の素イデアル」ということにします。これは常套句みたいなもので,この手の教科書のどこかに必ずこの一文があります。いちいち「 の整数環 の でない素イデアル」なんて言っていたらまどろっこしいですからね。
分岐・不分岐・完全分解
ここから,我々は2つの体の間でおきる分解法則を考えます。一般化のためにそれらを記号で表記しましょう。下の体を ,上の体を とおき, という代数拡大を考えます。 のいずれも代数体,すなわち の有限次拡大体です。また, の整数環を , の整数環を と表記します。
最初の具体例で言うと,以下の表のように対応させるといいでしょう。
記号 | 意味 | 分解法則1 | 分解法則2 |
---|---|---|---|
代数体(下) | |||
の整数環 | |||
代数体(上) | |||
の整数環 |
なぜこんなことをくどくど書くかというと,私が勉強中に混乱したからです。
さてこのとき, の素イデアル が上の体 でどのように分解されるかを考えます。その前に,まず が でイデアルになっていなければなりません。このままだと のイデアルではないので, とします。これで, を の世界に持ち上げることができました。
の分解は,素イデアル分解の一意性より,以下のように表せます。
いかつい記号をしていますが, は の素イデアルです。 を の分解指数と呼びます。
ここで, です。また,
であることに注意しましょう。
いくつか重要な用語を定義しましょう。
まず, を の における分岐指数と呼びます。 のとき, は で不分岐といいます。
次に,相対次数を定義するために,こんなものを考えます。
環 をその素イデアル で割っているので は体になります。元の数は有限なので有限体です。
こちらも有限体です。
さらに, は有限次拡大体となっています。この拡大次数 を, の における相対次数と呼び, で表します。
すると,以下の等式が成り立ちます。
ここまで説明すると,分岐・不分岐・完全分解・惰性という重要な用語が定義できます。
のいずれか1つでも より大きいとき, は で分岐する,といいます。
また,すべての が であるとき, は で不分岐である,といいます。
今回は簡単のため不分岐のケースを中心に考えることになります。
不分岐で,かつ,すべての相対次数 が であるとき, は で完全分解する,といいます。このとき,式 により, となりますから, は で拡大次数いっぱいの素イデアルに分解することになります。
逆に,不分岐かつ相対次数が に一致している状況,すなわち,分解せず つの素イデアルのままであるとき, は で惰性する,といいます。
これらの用語は以下で頻繁に使いますので,覚えておいてください。
これも例をまとめておきましょう。
分解法則1について:
素数の分類 | 分解の状況 | 例 |
---|---|---|
は で分岐する | ||
は で完全分解する | ||
は で惰性する | は の素イデアル |
分解法則2について:
素数の分類 | 分解の状況 | 例 |
---|---|---|
は で分岐する | ||
は で完全分解する | ||
は で2つの相異なる素イデアルの積に分解する | ||
は で惰性する | は の素イデアル |
ガロア拡大の場合
我々が知りたいことは,上で述べたような分解がどのような法則によって起こるか,ということです。これから紹介するヒルベルトの理論では,分解法則はガロア群によってわかる,ということを教えてくれます。そう,あの「ガロア理論」が武器となるのです。
私は最初にこの話を聞いたとき「素イデアルの分解法則とガロア理論にいったいどんな関係があるのか」と驚きました。でも,とても理にかなった話なのです。実に気持ちのいい理論です。
以降では, をガロア拡大とします。すると,ガロア群が定義できて,
と書くことができます。このガロア群をより深く理解することが,ヒルベルトの理論の目指すところです。
まずは,基本となる体の拡大と群の分解の塔を書きましょう。この図をベースに,これからより詳細な情報が加わっていきます。
分解群
さて,ガロア拡大においては,以下の素イデアルの分解はより簡明になります。
まず, を1つ取ってきて, へと作用させると となり, を割り切る共役な素イデアルへと移ります。 とは限りません。
特定の に対して のすべての元を作用させると, を割るすべての (すなわち, に共役なすべての素イデアル)に移り変わることが示せます。このような状況を「 は 上に推移的に作用する」と言います。
ここで, の中でも特に となるものだけ集めてくると,これらは の部分群をなします。これを とおいて, における の分解群と呼びましょう。
この を, における の分解群と呼ぶ.
分解群 の元に対しては, は不変です。一方, のあとに を作用させた は, を共役な素イデアルへと推移させます。
したがって,
のそれぞれの元に対して, は相異なる共役な素イデアル へと移されることになります。よって,
が成り立ちます。まさに, は素イデアルの分解を司る部分群ということになりますね。
また,式 の両辺に を作用させると,
となるわけですが, は の元なので です。また, は と異なる元に移されます。このときに,もし であれば,素イデアル分解の一意性に反します。したがって, について,すべての分岐指数は等しくなります。これを とおくと,
が成り立ちます。
また,ここでは示さないですが,ガロア拡大においては相対次数 もすべて等しくなります。これを とおくと
です。
以上より,ガロア拡大においては,式 は以下のように非常に簡単になります。
結局, を1つとってきたときに,
が成り立ちます。
体の拡大と群の分解の塔を作ると,次のような図が得られます。
あくまで, についての図を作っていることに注意してください。固定している が変わると,この図も変わってしまいます。
惰性群
まだまだ続きます。分解群 を使って,有限体 の拡大を理解します。
の元は, と表せます。ここで です。この元に分解群 の元 を作用させると,
となります。すなわち, から への自己同型写像になっています。
また, は の元を固定するので, の元も固定します。このことは,すなわち は の自己同型写像 を誘導することを意味します。
具体的には,
という対応を考えることになります。
この は全射であることが示せます。また,単射ではありません。 と が合っていないからです。実際, に対し
を満たすような は において複数存在します。この重複を潰すために,惰性群とよばれる の部分群を定義します。
この を における の惰性群と呼びます。
は定義より,
です。この惰性群によって分解群を潰してあげると,
という対応により,両者は同型になります。
かつ なので, となります。
図で表しましょう。
さぁ,これで代数体のガロア群と有限体のガロア群が結びつきました!
のとき,すなわち が不分岐のときですが,このときは惰性群 がつぶれるので,分解群 が有限体のガロア群と完全に一致します。
以上のことから, の分解法則が有限体を通してわかります。ようやく本題に戻ってきた感じがしますね!笑
より, のときは,
が成り立ちます。
すなわち が単位群に潰れているときは, となり は完全分解します。
有限体の拡大次数 によって,分解法則がわかるのです。
有限体とフロベニウス自己同型
以上の議論により,ようやくこの有限体の拡大を調べたいというモチベーションが湧いたわけなのですが,この有限体はいったいどんなやつなんでしょうか。
実は,非常にありがたいことに,有限体の拡大にはわかりやすい法則があります。
は の生成元である.すなわち,
が成り立つ.この自己同型 をフロベニウス自己同型という.
なんと,有限体のガロア群は巡回群で,なおかつその生成元は具体的にわかっているというんです。これはやばいですね。「フロベニウスやばい!」と叫んでしまいたくなります。
今回の問題においては,
を考えているわけですが,
で定義される によって,
のように生成できるのだそうです。
は有限体なので, を除く元は乗法に対して群をなします。これを とおきます。群論のフェルマーの小定理より,
両辺に をかけて,
が成り立ちます。したがって の元は によって不変です。また, は明らかに不変なので, が を固定することがわかりました。
話を代数体に戻すと, によって と が同型です。したがって, も
によって生成される巡回群になります。
いやぁ,すごいですね!
群の対応関係のイメージはこのような感じでしょうか。
ここから不分岐に限定した話をします。
不分岐の場合は がつぶれるので,に対応する の元がただ1つ定まります。この元ただ1つによって分解群 が生成されます。要するに,分解のすべてがわかるのです。
こんな特別な元には名前をつけておきましょう。このようなを における に関するフロベニウス自己同型と呼び と表記します。
このフロベニウス自己同型 は有限体 上に制限すると として振舞うので,
を満たす の元として定めることができます。
この により,不分岐の場合は は以下のように生成されます。
フロベニウス自己同型の 上の位数がわかれば, の大きさ,すなわち相対次数 がわかり,分解指数 もわかります。
これにて最初の問題の1つは解決しました。
ヒルベルトの理論は,分解法則はガロア群によってわかる,というものです。
この意味は, の分解法則が分解群 によってわかるということと,その は不分岐の場合,有限体のフロベニウス自己同型というわかりやすい対象によってかけるということです。
もはや,もうだいぶ満足してきたので,このへんで終わりにしていいくらいですが。笑
もう1つの問題は「分解法則がなぜ でかけるのか」でしたね。これについては,円分体の理論を用いて簡単に説明しましょう。
円分体の理論
これまで は,抽象的な代数体を扱ってきましたが,ここでは今回の目的に合わせて具体的な体を考えます。
まず, です。有理数体上の拡大を考えます。さらに, です。ここで, は1の原始 乗根です。
は円分体と呼ばれており,円分体の理論により のガロア群に対し,以下のような同型が知られています。
ここで, は,
で定義されます。
上記の事実は,円分体のガロア群の情報が の世界で表現できることを意味しています。我々の目的としては,フロベニウス自己同型の位数を知りたいわけです.その目的は,対応する を考えることにより達成されます。
具体的に考えるために,フロベニウス自己同型をみつけましょう。 として,有限体 を考えます。 より,フロベニウス自己同型 は,
で与えられます。
における に関するフロベニウス自己同型は,
を満たすような ですが,これは以下の法則で与えられます。
ただし, は であるような の元.
あとは, の における位数を考えれば良いわけです。つまり, となる を見つければよいのです。
一方で, は に同型であるという事実がありました。その対応は具体的に与えられていて,
となります。したがって, の位数 は の位数と一致します。結果として,以下の分解法則が成り立ちます。
を満たす最小の を考えたとき,素数 は において 個の素イデアルの積に分解される. は以下で定まる.
これらの法則については,具体的に計算して確認していきましょう。
最初の問題を解こう
の場合:
まず, であることに注意しましょう。これも円分体です。
不分岐のときを考えたいので, とします。
円分体の相互法則により, における に関するフロベニウス自己同型 は,以下で与えられる。
ただし, である。この の位数によって,相対次数 が得られ,分解法則が明らかになる。
のとき:
となり,フロベニウス自己同型は恒等写像である。よって,その位数は であり, である。
したがって,
より,
すなわち, は で完全分解する。
のとき:
となる。
より, の位数は であり, である。
したがって,
より,
すなわち, は で惰性する。
別の見方:
上では,ある条件の が完全分解するかどうかを見ていましたが,逆に完全分解する の条件を見つけることはできないでしょうか。これまで述べたように, が完全分解するのは,フロベニウス自己同型が恒等写像になるときでした。
以下の同型,
により, が恒等写像ということは が で に合同ということです。よって, のとき, は完全分解するということになりますね。
の場合:
ほぼ同様に進める。
不分岐のときを考えたいので, とします。
円分体の相互法則により, における に関するフロベニウス自己同型 は以下で与えられる.
ただし,である。この の位数によって,相対次数 が得られ,分解法則が明らかになる。
のとき:
となり,フロベニウス自己同型は恒等写像である。よって,その位数は であり, である。
したがって,
より,
すなわち, は で完全分解する。
のとき:
となる。
より, の位数は であり, である。
(「 において の位数が である。ゆえに 」としてもよい。)
したがって,
より,
すなわち, は で2つの相異なる素イデアルの積に分解する。
のとき:
となる。
よって,
より, の位数は であり, である。
(「 において の位数が である。ゆえに 」としてもよい。)
したがって,
より,
すなわち, は で惰性する。
のとき:
となる。
よって,
より, の位数は であり, である。
(「 において の位数が である。ゆえに 」としてもよい。)
したがって,
より,
すなわち, は で惰性する。
まとめ
この図に尽きます。
代数体の分解をつかさどる「分解群」が,有限体の拡大についてのガロア群と同型になって結びつくというのがポイントでした。さらにそのガロア群は「フロベニウス自己同型」というわかりやすい自己同型写像によって生成されるわけですね。
と叫びたくなります。あとは,フロベニウス自己同型の位数を調べることで,素数の分解法則がよくわかる,ということでした。
最後の位数を調べるときには,代数体の具体的な性質(円分体のガロア群は,既約剰余類群 に同型)を使いました。こうやって考えると円分体ってとても扱いやすいんですね。
参考文献
まだまだ全然理解できていないのですが,ひとまず以下の本をとっかえひっかえ見ながら,ちょっとずつ勉強しています。ようやく最近,相互の文献における記号の対応関係がわかってきました。
尾崎学先生の「ガロアからの見た現代数学」という連載が大変参考になりました。この記事のおかげで,分解群のイメージが得ることができました。
*1:正直なところ,不勉強ゆえに「類体論」や「ヒルベルトの理論」が差す範囲をよくわかっていなかったりします。間違ったことを言っていればご指摘ください。