しばらく類体論周辺の話を書きたいと思っています。今日は後の記事のための補助的な内容を書きたいと思います。
今日のテーマは円分体の分岐についての定理。
において の素イデアル分解を考えると
が成り立つ。すなわち, は で完全分岐する。
具体例で考えましょう。
で考えると, で素数 は分岐します。分岐する次数は となってこれは完全分岐です。
また, で考えると, で素数 は分岐します。分岐する次数は となってこれも完全分岐ですね。
ところで,今回の記事において素数を (エル)で表現していることに違和感を持った方もいるんじゃないでしょうか。素数といえば だろうと。ところが,素数の表記が 1つだけだと,分解する素数を として,円分体の次数に と異なる素数を用いたいときに困ってしまいます。そこで,円分体の次数の方には素数 を用いることにするのです。これらの表記は,本記事に限らず一般的に用いられる表記のようです。
今後このような表記は頻発すると思いますのでぜひ慣れておいてください。分解する素数 を固定しておいて を動かしたり,円分体の次数 を固定してさまざまな素数 の分解法則を考えたり。今回は,分解する素数がたまたま円分体の次数に一致しているので, だけが残ったというわけですね。
円分多項式
まず,大枠を固めるために,次の式を導きます。
目的の式にかなり近い形をしていますね。
証明には, 次の円分多項式 を用います。
は素数より は,
と表せる。
一方, は, の解より
が成り立つ。
を代入して,式 が得られる。
単数
次に, をそれぞれ と互いに素な整数としたとき
すなわち, が単数である,ということを示す。
たとえば, として考えると, は単数で, は単数ではありません。
単数ではない は逆数とって としても整数とはなりませんが,単数である の逆数 は整数となります。
この証明もなかなか面白い。
が と互いに素より,
となる がとれる。
一方で, が と互いに素より,
となる がとれる。
したがって, とその逆元 の双方が の元であることから, は単数。
仕上げ
仕上げに,メインの定理を証明しましょう。
に対して
ここで, と は互いに素であるから, は式 より単数。
のイデアルで考えると
が成り立つ。これを式 に代入すると
が得られた。
素イデアルの分解の一般論より,ガロア拡大 の分岐指数を ,相対次数を ,分解指数を とすると
である。ここで,拡大指数は であり,上式の指数も であるから, は 上で完全に分岐している。 すなわち, は素イデアル。
以上により,定理が証明された。
簡単ですが,今日はこの辺で。
参考
以下の本の証明を参考にしました。
- 作者: 足立恒雄
- 出版社/メーカー: 日本評論社
- 発売日: 2010/02
- メディア: 単行本
- 購入: 1人 クリック: 38回
- この商品を含むブログ (3件) を見る
「分岐」ってなんだったっけ?という方はこちらの記事をどうぞ。
tsujimotter.hatenablog.com