ガロア理論

出典: フリー百科事典『ウィキペディア(Wikipedia)』
2014年7月13日 (日) 00:17時点におけるGlayhours (トーク)による版 (歴史)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先: 案内検索

ガロア理論(ガロア-りろん、Galois theory)は、代数方程式構造を "ガロア群" と呼ばれるを用いて記述する理論。 1830年代エヴァリスト・ガロアによる代数方程式の冪根による可解性などの研究が由来。 ガロアは、当時はまだ確立されていなかった群や体の考えを方程式の研究に用いていた。

ガロア理論によれば、"ガロア拡大" と呼ばれる体の代数拡大について、 拡大の自己同型群の閉部分群と、拡大の中間体との対応関係を記述することができる。

概要

ガロア理論では、加減乗除ができるような数の範疇での代数方程式を考察対象とする。 例えば、有理数や複素数の範囲で多項式で表わされる方程式の解を考えたり、 整係数の多項式で素数を法とした解を考えたりする。

代数方程式が "代数的に解ける" かどうか、 つまり係数に対する四則演算と根号の有限個の組合せで解が表せるかどうかが問題になる。 4 次までの代数方程式についてはこれが可能。 例えば二次の多項式 テンプレート:Math の二つの根は

<math> a \pm \sqrt{a^2 - b}</math>

と表すことができる。

一般に、与えられた多項式 テンプレート:Mvar(以下技術的な仮定として テンプレート:Mvar の分離性を仮定する)の根が(当該)多項式の係数の四則演算と冪根によって表せるかどうかは、係数の作る体 テンプレート:Mvar の適当な冪根拡大に根が含まれるかどうか。

別の見方をすれば、与えられた多項式の根を全て添加して、その上では多項式 テンプレート:Mvar が一次式の積に分解するようにした体(多項式 テンプレート:Mvar分解体; テンプレート:Enテンプレート:Mvar が、体 テンプレート:Mvar の冪根拡大になっているか、と定式化できる。

多項式 テンプレート:Mvar を形式的に根の一次式の積として表す(実際、これは テンプレート:Mvar を含む代数閉体上で可能になる)ことで 多項式 テンプレート:Mvar の係数は根の基本対称式であること(根と係数の関係)が分かる。 拡大体 テンプレート:Mvar の自己同型 テンプレート:Mvar が根の入れ替えを引き起こしているときには テンプレート:Mvar の下で多項式 テンプレート:Mvar の係数や、より一般に テンプレート:Mvar の元は変化しないことが分かる。

一方、テンプレート:Mvar の元を不変にするような テンプレート:Mvar の自己同型は多項式 テンプレート:Mvar の根を入れ替えている。 このような変換すべての集まり テンプレート:Math は変換の合成という二項演算についての構造を持っている。 これを テンプレート:Mvarテンプレート:Mvar 上のガロア群、または多項式 テンプレート:Mvar のガロア群と呼ぶ。

仮に 多項式 テンプレート:Mvar の根が係数の加減乗除やべき根による式で表せていたとすると、 その式のうち一部分で表される数から生成するような体を考えることができる。 こうして得られる体は テンプレート:Mvar を含んで テンプレート:Mvar に含まれる体(テンプレート:Mvar の部分拡大)となる。 このとき、ガロア理論の主定理によってこの部分拡大をちょうど不変体にするような テンプレート:Math の部分群が存在する。 テンプレート:Mvar の元 テンプレート:Mvarテンプレート:Mvar 乗根は テンプレート:Mvar 個あるが、それらすべてで生成されるような テンプレート:Mvar の部分体は重要な役割を果たす。 より一般に、体の拡大において、ある体上で既約な多項式の分解体となるという性質を正規性といい、 中間体の正規性はガロア群の部分群が正規部分群に対応している。

例えば、テンプレート:Mvar の正規部分拡大のうちで テンプレート:Mvar の特定の元のべき根によって生成されるもの テンプレート:Mvar の対称性を表す群

<math>\operatorname{Gal}(M/K) = \operatorname{Gal}(L/K)/\operatorname{Gal}(L/M)</math>

巡回群になる。

テンプレート:Mvarテンプレート:Mvar のべき根拡大になっているかどうかは 群 テンプレート:Math可解群になっているかどうか。 このようにして分解体の自己同型を調べることで方程式の可解性について考察することができる。

一方、最も一般的な設定の下では群 テンプレート:Mathテンプレート:Mvar 次の対称群になる。 特に、5 次以上の一般の多項式の対称性を表す 5 次の対称群は可解群ではない。 このことから 5 次以上の代数方程式は一般に可解でない(代数的な根の公式が存在しない)。

より発展的な定式化

抽象代数学においては、方程式とその分解体という具体的な対象を一旦放棄して、抽象的に定義された体の代数的拡大を取り扱うことになる。上と同様に拡大体の自己同型と部分群の間の対応がうまくいくように、分離性と正規性とよばれる二つの条件が要求される。この二つを満たすような拡大は ガロア拡大 (テンプレート:En) と呼ばれる。 一般に体 テンプレート:Mvar の有限次分離拡大の「合併」として テンプレート:Mvar の分離閉包 テンプレート:Math が考えられる。テンプレート:Math の正規部分拡大 テンプレート:Mvar の自己同型で テンプレート:Mvar の元を固定しているもの全体 テンプレート:Mathテンプレート:Mvar に含まれる テンプレート:Mvar の有限次分離拡大のガロア群の射影極限となっている。テンプレート:Math は各点収束の位相について位相群となり、テンプレート:Mvar の中間体のなす系と、テンプレート:Math の閉部分群たちのなす系との間に同値性が成り立つ。

テンプレート:Mvar に対しその絶対ガロア群 テンプレート:Math が推移的かつ連続に作用する有限離散空間 テンプレート:Mvar が与えられたとする。このとき テンプレート:Mvar から テンプレート:Math への写像の空間 テンプレート:Math に対する テンプレート:Mvar の作用

<math>(g,f)[x] = f(g^{-1}x)</math>

が考えられる。この作用の下で固定されている写像たちのなす部分代数は、テンプレート:Mvar の任意の一点の固定部分群に関する テンプレート:Math の不変部分体と同型になる(テンプレート:Mvar の点の取り替えは テンプレート:Math の中での共役な部分体の取り替えに対応する)。テンプレート:Mvar への作用の推移性を外すことは テンプレート:Mvar の分離拡大体の代わりに テンプレート:Mvar 上のエタール代数を考えることに対応し、こうして テンプレート:Mvar 上のエタール代数のなすテンプレート:Mvar が連続に作用する離散有限空間のなす圏との間の圏同値が得られる。これを出発点としてアレクサンドル・グロタンディークによるガロア理論の圏論的定式化が得られる。

グロタンディークのガロア理論において古典的なガロア理論は次のように理解される。K上のエタール代数はアフィンスキーム テンプレート:Math の上のエタール層を表しており、埋め込みテンプレート:Math に対応する射 テンプレート:Math が表す「点」でのファイバーをとることに対応する関手 テンプレート:Math が、圏同値 : テンプレート:Math 上のエタール層の圏 テンプレート:Math が連続的に作用する集合の圏 [[トポス (数学)|テンプレート:Math]] をひき起こしている。また、絶対ガロア群はこのファイバー関手の自己同型群として実現されており、特定の公理を満たしている関手 <math>\operatorname{F}_{K^\mathrm{sep}}: \operatorname{Et}_K \to (\mathrm{Sets})</math> からガロア群を復元できることが分かる。また、上の圏同値によって、体 テンプレート:Mvar上の ガロアコホモロジーは、テンプレート:Math 上のエタール・コホモロジー理論と同値となる。

逆問題

与えられた方程式(あるいは体のガロア拡大)のガロア群を計算する問題を "ガロアの順問題"、与えられたをガロア群にもつ方程式(あるいは体の拡大)を構成する問題を "ガロアの逆問題" と呼ぶことがある。

有限体上のガロア群

テンプレート:節スタブ

ガロア理論の基本定理

テンプレート:Mainテンプレート:Mvar を体 テンプレート:Mvar の有限次ガロア拡大とする。テンプレート:Mvarテンプレート:Mvar の中間体 テンプレート:Mvarテンプレート:Math の部分群 テンプレート:Mvar について次の式が成立つ。

<math>M = L^{\operatorname{Gal}(L/M)},~~ H = \operatorname{Gal}(L/L^H).</math>

ただし、テンプレート:Math は拡大 テンプレート:Math のガロア群であり、テンプレート:Mvarテンプレート:Mvar の元のうちで テンプレート:Mvar の下で不変になっているもののなす テンプレート:Mvar の部分拡大を指す。

したがって、テンプレート:Mvar の中間体 テンプレート:Mvar とガロア群 テンプレート:Math の部分群 テンプレート:Mvar の間の対応

<math>\phi : M \to H = \operatorname{Gal}(L/M),~~ \psi : M = L^H \leftarrow H</math>

は互いに逆で、これらは全単射になることがわかる。また、この対応はあきらかに包含関係を逆にしている。つまり、テンプレート:Math ならば テンプレート:Math なら テンプレート:Math となる。

歴史

ファイル:E. Galois Letter.jpg
オーギュスト・シュヴァリエ宛のガロアの手紙の最終頁(1832年5月29日)

ガロアは1832年の(死の原因となる)決闘の前日に、友人のオーギュスト・シュヴァリエに宛てて、ガロア理論と楕円関数論に関する数学的業績を要約した手紙を書いた。その後、1846年になって、リウヴィルがガロアの功績を知って自分の雑誌にガロアの論文集を掲載した[1]ことで、多くの数学者が刺激を受けることになった。デデキントは1855年から1857年にかけてゲッティンゲン大学でガロア理論に関する最初の講義をおこなった[2]。そのとき、デデキントはガロアの理論を「ガロア理論」(テンプレート:Lang-de-short)と名づけた[3]。早い時期に、ベッチ、クロネッカーケイリー、セレは群概念を厳密化していった。カミーユ・ジョルダンによって1870年に発表された『置換と代数方程式論』 (Traité des substitutions et des équations algebraique) はガロア理論に関する包括的な解説として最も古いものである。1871年にデデキントは四則演算で閉じた(数の)集合を「」(テンプレート:Lang-de-short)と名づけた。また、デデキントウェーバーは1882年に代数関数体リーマン面の代数的理論を構築した[2]

ソフス・リーによって導入されたリー群はガロア理論の類似を微分方程式に対して確立しようという試みの中から生まれたとされている。その後、テンプレート:仮リンクによってガロア理論の線型代数学的な定式化が追求された[4][5]アレクサンダー・グロタンディークによって圏論的な定式化と数論幾何代数幾何への応用が押し進められた。

脚注

テンプレート:Reflist

参考文献

外部リンク

  • テンプレート:Cite journal
  • 2.0 2.1 佐武一郎「解説「ガロア理論」について」、アルティン(2010) p. 215
  • Scharlau(1981)
  • アルティン(1974)
  • アルティン(2010)