「ガロア理論」の版間の差分

削除された内容追加された内容

インライン

2011年10月17日 (月) 08:31時点における版

ガロア理論︵ガロア-りろん、Galois theory︶は、基本的には代数方程式や体の構造を﹃ガロア群﹄と呼ばれる群を用いて記述する代数学の理論をさす。1830年代におけるエヴァリスト・ガロアによる代数方程式のべき根による可解性などの研究に端を発しているためこの名前がつけられている。数学的構造についての最も初期の研究であり、圏と関手の考え方を含むような非常に現代的なパラダイムにもとづく理論だと見なされている。実際にガロアは、方程式の研究において未知であった群や体の考えを用いていた。現代の代数学はこの理論から始まった。ガロア理論を、方程式だけでなくそれの元になった初期の基本的な代数まで含めてもよいだろう。ガロア理論によれば、"ガロア拡大" と呼ばれる体の代数拡大について、拡大の自己同型群の閉部分群と、拡大の中間体との対応関係を記述することができる。

概要

ガロア理論では加減乗除ができるような数の範疇での代数方程式がとらえられる。したがって有理数や複素数の範囲で多項式によって表された方程式の解を考えたり、あるいは整係数の多項式で素数を法とした解を考える場合がガロア理論の直接的な対象となる。代数方程式が代数的に解ける、つまり係数に対する四則演算と根号の有限個の組合せで解が表せるかどうかが問題になる。4次までの代数方程式についてはこれがなりたっており、例えば二次の多項式 x²− 2ax + b=0 の二つの根は

a\pm {\sqrt {a^{2}-b}}

a\pm {\sqrt {a^{2}-b}}

と表すことができる。一般的に、与えられた多項式 p︵以下技術的な仮定として pの分離性を仮定する︶の根が多項式の係数の四則演算と冪根によって表せるかどうかは、係数の作る体 Kの適当な冪根拡大に根が含まれるかどうか、と言い換えることができる。別の見方をすれば、与えられた多項式の根を全て添加して、その上では pが一次式の積に分解するようにした体︵p の分解体; splitting field︶L が、体 Kの冪根拡大になっているか、と定式化できる。 p を形式的に根の一次式の積として表す︵実際、これは Kを含む代数閉体上で可能になる︶ことで pの係数は根の基本対称式であること︵根と係数の関係︶が分かる。したがって拡大体 Lの自己同型 σ が根の入れ替えを引き起こしているときには σ の下で pの係数たちや、より一般に Kの元は変化しないことがわかる。一方、K の元を不変にするような Lの自己同型は pの根を入れ替えている。このような変換すべての集まり Gal(L/K) は変換の合成という二項演算について群の構造を持っており、L の K上のガロア群または pのガロア群とよばれる。仮に pの根が係数の加減乗除やべき根による式で表せていたとすると、その式のうち一部分で表される数から生成するような体を考えることができ、こうして得られる体は Kを含んで Lに含まれる体︵L の部分拡大︶となる。このとき、ガロア理論の主定理によってこの部分拡大をちょうど不変体にするような Gal(L/K) の部分群が存在する。K の元 xの n乗根は n個あるが、それらすべてで生成されるような Lの部分体は重要な役割を果たす。より一般に、体の拡大において、ある体上で既約な多項式の分解体となるという性質を正規性といい、中間体の正規性はガロア群の部分群が正規部分群であることに対応している。例えば、L の正規部分拡大のうちで Kの特定の元のべき根によって生成されるもの Mの対称性を表す群 Gal(M/K) = Gal(L/K)/Gal(L/M) は巡回群になる。L が Kのべき根拡大になっているかどうかは群 Gが可解群になっているかどうかと同値になる。このようにして分解体の自己同型を調べることで方程式の可解性について考察することができる。一方、最も一般的な設定の下では群 Gal(L/K) は n次の対称群になる。特に、5次以上の一般の多項式の対称性を表す5次の対称群は可解群ではなく、このことから5次以上の代数方程式は一般に可解でない︵代数的な根の公式が存在しない︶ことがわかる。

より発展的な定式化

抽象代数学においては、方程式とその分解体という具体的な対象を一旦放棄して、抽象的に定義された体の代数的拡大を取り扱うことになる。上と同様に拡大体の自己同型と部分群の間の対応がうまくいくように、分離性と正規性とよばれる二つの条件が要求される。この二つを満たすような拡大は ガロア拡大 (Galois extension) と呼ばれる。一般に体 Kの有限次分離拡大の﹁合併﹂として Kの分離閉包 K^sep が考えられる。K^sep の正規部分拡大 Lの自己同型で Kの元を固定しているもの全体 Gal(L/K) は Lに含まれる Kの有限次分離拡大のガロア群の射影極限となっている。Gal(L/K) は各点収束の位相について位相群となり、L の中間体のなす系と、 Gal(L/K) の閉部分群たちのなす系との間に同値性が成り立つ。体 Kに対しその絶対ガロア群 G_K= Gal(K^sep/K) が推移的かつ連続に作用する有限離散空間 Xが与えられたとする。このとき Xから K^sep への写像の空間 (K^sep)^X に対する G^Kの作用 (g.f)[x] = f(g⁻¹x) が考えられる。この作用の下で固定されている写像たちのなす部分代数は、X の任意の一点の固定部分群に関する K^sep の不変部分体と同型になる︵X の点の取り替えは K^sep の中での共役な部分体の取り替えに対応する︶。X への作用の推移性を外すことは Kの分離拡大体の代わりに K上のエタール代数を考えることに対応し、こうして K上のエタール代数のなす圏と G_Kが連続に作用する離散有限空間のなす圏との間の圏同値が得られる。これを出発点としてアレクサンドル・グロタンディークによるガロア理論の圏論的定式化がえられる。グロタンディークのガロア理論において古典的なガロア理論は次のように理解される。K上のエタール代数はアフィンスキーム Spec(K) の上のエタール層を表しており、埋め込みK → K^sepに対応する射 Spec(K^sep) → Spec(K) が表す﹁点﹂でのファイバーをとることに対応する関手F_K^sep: A→ Hom_K(A, K^sep) が、圏同値 Spec(K)上のエタール層の圏Et_K ≡ Gが連続的に作用する集合の圏 BG をひきおこしている。また、絶対ガロア群はこのファイバー関手の自己同型群として実現されており、特定の公理を満たしている関手

F_{K^{\text{sep}}}:Et_{K}\rightarrow (Sets)

F_{K^{\text{sep}}}:Et_{K}\rightarrow (Sets)

からガロア群を復元できることがわかる。また、上の圏同値によって、体K上のガロアコホモロジーは、Spec(K) 上のエタール・コホモロジー理論と同値となる。

逆問題

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

有限体上のガロア群

ガロア理論の基本定理

体 Lを体 Kの有限次ガロア拡大とする。L と Kの中間体 Mと Gal(L/K) の部分群 Hについて次の式が成立つ。 M = L^Gal(L/M), H= Gal(L/L^H) ただし、Gal(L/M) は拡大 L/K のガロア群であり、L^H は Lの元のうちで Hの下で不変になっているもののなす Lの部分拡大を指す。したがって、Lの中間体 Mとガロア群 Gal(L/K) の部分群 Hの間の対応 φ : M → H = Gal(L/M), ψ: M = L^H ← H は互いに逆で、これらは全単射になることがわかる。また、この対応はあきらかに包含関係を逆にしている。つまり、M₁ ⊃ M₂ならば φ(M₁) ⊂ φ(M₂), G₁⊃ G₂なら ψ(G₁) ⊂ ψ(G₂) となる。

歴史

ガロアは1832年の︵死の原因となる︶決闘の前日に、友人のオーギュスト・シュヴァリエに宛てて、ガロア理論と楕円関数論に関する数学的業績を要約した手紙を書いた。その後、1846年になって、リューヴィルがガロアの功績を知って自分の雑誌にガロアの論文集を掲載したことで、多くの数学者が刺激を受けることになった。デデキントは1855年から1857年にかけてゲッティンゲン大学でガロア理論に関する最初の講義をおこなった^[1]。早い時期に、ベッチ、クロネッカー、ケイリー、セレは群概念を厳密化していった。カミーユ・ジョルダンによって1870年に発表された﹃置換と代数方程式論﹄ (Traité des substitutions et des équations algebraique) はガロア理論に関する包括的な解説として最も古いものである。また、デデキントとウェーバーは1882年に代数関数体とリーマン面の代数的理論を構築した^[1]。ソフス・リーによって導入されたリー群はガロア理論の類似を微分方程式に対して確立しようという試みの中から生まれたとされている。その後、エミール・アルティンによってガロア理論の線型代数学的な定式化が追求された。アレクサンダー・グロタンディークによって圏論的な定式化と数論幾何・代数幾何への応用が押し進められた。

注釈

(一)^ ^a ^b佐武一郎﹁解説﹁ガロア理論﹂について﹂、エミール・アルティン﹃ガロア理論入門﹄寺田文行訳、筑摩書房︿ちくま学芸文庫﹀、2010年4月、p. 215頁。ISBN 978-4-480-09283-0。

参考文献

●足立恒雄﹃ガロア理論講義﹄日本評論社︿日評数学選書﹀、1996年12月。ISBN 4-535-60124-0。 ●足立恒雄﹃ガロア理論講義﹄︵増補版︶日本評論社︿日評数学選書﹀、2003年4月。ISBN 4-535-60141-0。 ●アーベル、ガロア﹃群と代数方程式﹄守屋美賀雄訳・解説、共立出版︿現代数学の系譜11﹀、1975年。ISBN 4-320-01164-3。 - 原論文の翻訳とその解説。 ●エミール・アルティン﹃ガロア理論入門﹄寺田文行訳、東京図書、1974年10月。ISBN 4-489-01093-1。 ●エミール・アルティン﹃ガロア理論入門﹄寺田文行訳、佐武一郎解説、筑摩書房︿ちくま学芸文庫﹀、2010年4月。ISBN 978-4-480-09283-0。 ●彌永昌吉﹃ガロアの時代・ガロアの数学﹄第一部　時代篇、シュプリンガー・フェアラーク東京、1999年7月。ISBN 4-431-70688-7。 ●彌永昌吉﹃ガロアの時代・ガロアの数学﹄第二部　数学篇、シュプリンガー・フェアラーク東京、2002年8月。ISBN 4-431-70802-2。 ●倉田令二朗﹃ガロアを読む　第Ⅰ論文研究﹄日本評論社、2011年7月︵原著1987年︶。ISBN 978-4-535-78158-0。 - 2011年に復刊した。 ●イアン・スチュアート﹃明解ガロア理論﹄鈴木治郎・並木雅俊訳︵原著第3版︶、講談社︿KS理工学専門書﹀、2008年3月。ISBN 978-4-06-155770-3。 - 200題を超える演習問題を付す。 ●中村亨﹃ガロアの群論　方程式はなぜ解けなかったのか﹄講談社︿ブルーバックス B-1684﹀、2010年5月。ISBN 978-4-06-257684-0。 ●藤崎源二郎﹃体とガロア理論﹄岩波書店︿岩波基礎数学選書﹀、1991年4月。ISBN 4-00-007813-5。 ●矢ヶ部巌﹃数Ⅲ方式ガロアの理論　アイデアの変遷をめぐって﹄現代数学社、1976年。ISBN 978-4-7687-0011-2。 ●ジョセフ・ロットマン﹃ガロア理論﹄関口次郎訳、シュプリンガー・フェアラーク東京、1997年11月。ISBN 4-431-70755-7。 ●ジョセフ・ロットマン﹃ガロア理論﹄関口次郎訳︵改訂新版︶、シュプリンガー・フェアラーク東京、2000年6月。ISBN 4-431-70890-1。 ●Jean‐Pierre Tignol﹃代数方程式のガロアの理論﹄新妻弘訳、共立出版、2005年3月。ISBN 4-320-01770-6。 - 代数方程式の解法を歴史的に解説。 ●Edwards, Harold (1984). Galois Theory. Graduate Texts in Mathematics, Vol. 101 (3rd printing ed.). Springer. pp. 172. ISBN 0-387-90980-X - ガロアの原論文に則って解説。原論文の英訳付き。

外部リンク

フランス語の原文とドイツ語、イタリア語、英語の翻訳‥ ●http://www.galois-group.net/

[1]

@@ 25行目: / 25行目: @@
 グロタンディークのガロア理論において古典的なガロア理論は次のように理解される。''K''上のエタール代数は[[アフィンスキーム]] Spec(''K'') の上のエタール層を表しており、埋め込み''K'' &rarr; ''K''<sup>sep</sup>に対応する射 Spec(''K''<sup>sep</sup>) &rarr; Spec(''K'') が表す「点」でのファイバーをとることに対応する関手 F<sub>''K''<sup>sep</sup></sub>: ''A'' &rarr; Hom<sub>''K''</sub>(''A'', ''K''<sup>sep</sup>) が、圏同値
 : Spec(''K'')上のエタール層の圏 Et<sub>''K''</sub> &equiv; Gが連続的に作用する集合の圏 [[トポス (数学)|BG]]
-をひきおこしている。また、絶対ガロア群はこのファイバー関手の自己同型群として実現されており、特定の公理を満たしている関手 <math>F_{K^\text{sep}}: Et_K \rightarrow (Sets)</math>からガロア群を復元できることがわかる。また、上の圏同値によって、体''K''上の ガロアコホモロジーは、Spec(''K'') 上の[[エタールコホモロジー]]理論と同値となる。
+をひきおこしている。また、絶対ガロア群はこのファイバー関手の自己同型群として実現されており、特定の公理を満たしている関手 <math>F_{K^\text{sep}}: Et_K \rightarrow (Sets)</math>からガロア群を復元できることがわかる。また、上の圏同値によって、体''K''上の ガロアコホモロジーは、Spec(''K'') 上の[[エタール・コホモロジー]]理論と同値となる。
 === 逆問題 ===