記事を開いていただいてありがとうございます!
2024年なので(?), を求めていきたいと思います.
はじめに
この記事では, 群や環の定義を最低限知っていることを前提に, 群論の教科書によく出てくるの構造を紹介します.
進んだ勉強をされている方にとっては少々物足りなく感じる部分もあると思いますが, 群論を勉強した, または現在勉強しているB1, B2の方向けに, このような群を考えるひとつの理由を紹介していきます.
また, 後半のGalois理論のパートは厳密性に欠いている部分があるとは思いますが, 今回は主にの応用をテーマとしているため, ご容赦いただければと思います. 完全に誤っている部分があれば, コメント欄で教えていただけると幸いです.
乗法群の求め方
は可換環なので, その乗法群はアーベル群になります. つまり, は有限アーベル群ですから, 巡回群の直積で表せそうですね. また, とが互いに素であることがが可逆元であることの必要十分条件なので, とわかります. (ただし, はオイラー関数で, でと互いに素な以下の自然数の個数を表します.)
まずは, 剰余類に関する以下の定理を思い出してみましょう.
を各成分への自然な全射とする.
であるから, 準同型定理より,
組(をでわったあまり, をでわったあまり)と, をでわったあまりが一対一に対応する, という定理です. 受験数学でも, 一次不定方程式の問題としてよく出題されますね.
さらに一般化された次の定理も知られています.
百五減算
Aさんの年齢を3でわると2あまり, 5でわると2あまり, 7でわると4あまります. Aさんの年齢を105でわったあまりはいくつでしょうか?
さて, の素因数分解を,
としましょう. (ただし, ならは異なる素数, 各に対して, )
とは互いに素なので, 前の定理から,
となります. の場合を考えると, なので,
となりますね.
これで, 大きな環を小さな環に分解することができましたが, 乗法群の情報 (笑うところ) はどのようになっているのでしょうか? 以下の命題をみてみましょう.
環の同型と群の同型がごちゃ混ぜになっているので注意が必要ですが, (1)は環同型が乗法群の同型を導くことを, (2)は直積の乗法群が乗法群の直積と等しいことを主張しています.
証明は省略して, に適用してみましょう. すると,
が成り立ちます! 一般の場合を考えても, の構造がわかれば良さそうです!
この記事では証明はしませんが, 結論は以下のようになっています.
(1)を以上の素数とするとき,
(2)
(3)を以上の整数とするとき,
例えばの場合をみてみると,
となって, の乗法群を求めることができましたね.
Galois理論へ
群論の教科書(例えば赤雪江2.4.14.など)では紹介だけされているですが, そもそもなぜこのような群を考えるのでしょうか? その理由のひとつとして, Galois理論を紹介します.
(1)可換環に対して, が成り立つとき, すなわち, の加法単位元以外がすべて可逆であるとき, を体という.
(2)が体で, を満たすがと同じ演算で体になるとき, をの拡大体といい, と表す.
(1)有理数全体は, 通常の加法と乗法で体になる.
(2)は, 体の拡大の列である.
(3)集合は, 体である. これを, とかく. は体の拡大である.
体の拡大は, その定義から上のベクトル空間になっています.
の, -ベクトル空間としての次数を, の拡大次数といい, と表す. のとき, を有限次拡大という.
- 体の拡大の, 上の基底はであるから, である.
- の原始乗根をとおくと, は体の拡大であり, を円分体という. その拡大次数はである.
ここで, 有理数係数の次多項式を考えます. の解のひとつをとして, との加減乗除で作られる集合をとすると,
となり, これをにを添加した体といいます. これは有限次拡大体となることがわかります. これを繰り返して, の個の解を添加した体, を, 多項式の分解体といいます.
(1)の解はなので, の分解体は, である.
(2)の解はなので, の分解体は, となる.
がある多項式の分解体であるとき, のGalois群が定義できます. しかも, その位数がと一致しています!
(1)が次を満たすとき, を体の自己同型という.
(a): 任意のに対して,
(b): 任意のに対して,
(c): は全単射.
(2)体の拡大がある次多項式の分解体であるとする.
このとき, 自己同型の全体は, 写像の合成を演算に群になる. これを, のGalois群といい, とかく.
のとき, はの分解体である. とすると,
となるので, はの行き先だけで決まる. ここで,
となるから, または, である. 前者は, 恒等写像であるから, とおき, 後者をと置き直すと,
である.
このように, のGalois群を求めることができました. さて, 次はのGalois群を求めていきましょう.
工事中
前半のパートですでにの構造が決定できているので, これで「体」という非常に大きく2種類の演算を持つ複雑な構造を, 「(有限)群」という比較的小さく1種類の演算しか持たない構造に置き換えることができます. これが, Galois理論を考えるひとつの理由です.
おわりに
今回は, 群論の教科書に出てくるを考える理由として, 円分体のGalois群を紹介しました.
私自身まだまだ勉強中なので, これ以外の応用例はたくさんあると思いますし, 円分体についてもさらにたくさんの美しい性質があることでしょう. もしこの記事を読んでGalois理論や円分体に興味を持った方がいらっしゃたらとても嬉しいです. 一緒に勉強していきましょう!
最後まで読んでいただいてありがとうございました. 質問や誤りがありましたら, コメント欄で教えていただけますと幸いです.