ガロア理論

提供: testwiki
ナビゲーションに移動 検索に移動

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

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

概要

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

代数方程式が "代数的に解ける" かどうか、つまり係数に対する四則演算と根号の有限個の組合せで解が表せるかどうかが問題になる。四次までの代数方程式についてはこれが可能。

例えば二次の多項式 テンプレート:Math の二つの根は

a±a2−b

と表すことができる。

一般に、与えられた多項式 テンプレート: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 の対称性を表す群

Gal⁡(M/K)=Gal⁡(L/K)/Gal⁡(L/M)

は巡回群になる。

テンプレート: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 の作用

(g,f)[x]=f(g−1x)

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

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

逆問題

与えられた方程式（あるいは体のガロア拡大）のガロア群を求める問題を "ガロアの順問題"、与えられた群をガロア群としてもつ方程式（あるいは体の拡大）を具体的に構成する問題を "ガロアの逆問題" と呼ぶことがある。

有限体上のガロア群

テンプレート:節スタブ

ガロア理論の基本定理

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

M=LGal⁡(L/M),H=Gal⁡(L/LH).

ただし、テンプレート:Math は拡大 テンプレート:Math のガロア群であり、テンプレート:Mvar は テンプレート:Mvar の作用で不変な テンプレート:Mvar の元を集めた テンプレート:Mvar の部分体を指す。

したがって、「テンプレート:Mvar と テンプレート:Mvar の中間体 テンプレート:Mvar」 と　「ガロア群 テンプレート:Math の部分群 テンプレート:Mvar」の間の相互の対応を与える写像

ϕ:M→H=Gal⁡(L/M),ψ:M=LH←H

は互いに逆であり、全単射になることがわかる。また、この対応はあきらかに包含関係を逆にしている。

つまり、中間体が テンプレート:Math ならば テンプレート:Math であり、 部分群が テンプレート:Math ならば テンプレート:Math となる。

歴史

オーギュスト・シュヴァリエ宛のガロアの手紙の最終頁（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）と名づけた。また、デデキントとテンプレート:Ill2は1882年に代数関数体とリーマン面の代数的理論を構築した[2]。

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

脚注

テンプレート:脚注ヘルプ テンプレート:Reflist

参考文献

関連文献

テンプレート:雑多な内容の箇条書き

和書：

以下の和書の出版順のリストは長くなるから普段は隠しておいた方が良いかもしれない。しかしどれも難易度はあるもののガロア理論に関連するものである。

  • 村勢一郎：「方程式論」、東海書房（1948年5月30日）．後編第3章：「Galoisのガロア理論」.
  • エム・ポストニコフ、日野寛三(訳)：「ガロアの理論」、東京図書 (1964年6月25日). ※ 既約5次方程式が解かれる場合についての解説がある。
  • 高木貞治：「代数学講義：改訂新版」、共立出版、ISBN 978-4-320-01000-0 (1965年11月25日).　第7章：「不可能の証明」.
  • アルチン：「ガロア理論入門」、東京図書(1974年)　※原著 1959年。
  • アーベル/ガロア：「群と代数方程式」、共立出版 (1975年)。
  • 矢ケ巌：「数Ⅲ方式：ガロアの理論」、現代数学社（1979年）。
  • スチュワート：「ガロアの理論」、共立出版（1979年）※原著 1973年。
  • 山下純一：「ガロアへのレクイエム」、現代数学社、ISBN 4-7687-0161-2 (1986年10月8日). ※ ガロアの業績と関連する数学発展史
  • 倉田令二郎：「ガロアを読む」、日本評論社（1987年）。
  • 草場公邦：「ガロワと方程式」、朝倉書店、ISBN 4-254-11467-2 (1989年7月10日).
  • 藤崎源二郎：「体とガロア理論」、岩波書店（1991年）。
  • J. P. セール(著)、H. ダルモン(筆記)、植野義明(訳)：「ガロア理論特論」、トッパン、ISBN 4-8101-8924-4 (1995年3月10日). ※ ガロア群の逆問題を扱っている。
  • 松田隆輝：「ガロア理論」、槇書店、ISBN 4-8375-0635-6 (1996年4月5日).
  • 原田耕一郎：「群の発見」、岩波書店、ISBN 4-00-006791-5 (2001年11月21日). 第3章：「ガロア理論」．
  • Jean-Pierre Tignol、新妻弘(訳)：「代数方程式のガロアの理論」、共立出版、ISBN 4-320-01770-6 (2005年3月15日).
  • 桂利行：「代数学 III：体とガロア理論」、東京大学出版会、ISBN 4-13-062953-0 (2005年9月26日).
  • ディヴィッド・A・コックス、梶原健(訳)：「ガロワ理論 上」、日本評論社、ISBN 978-4-535-78454-3 (2008年11月25日).
  • 中村亨：「ガロアの群論：方程式はなぜ解けなかったのか」、講談社(ブルーバックス B-1684)、ISBN 978-4-06-257684-0 (2010年5月20日).
  • ディヴィッド・A・コックス、梶原健(訳)：「ガロワ理論 下」、日本評論社、ISBN 978-4-535-78455-0 (2010年9月20日).
  • 雪江明彦：「代数学 2：環と体とガロア理論」、日本評論社、ISBN 978-4-535-78660-8 (2010年12月20日).
  • 三宅克哉：「方程式が織りなす代数学」、共立出版、ISBN 978-4-320-01960-7 (2011年2月25日).　※ 第VI章：「ガロアの理論」、第VII章：「ガロアの逆問題から」。
  • 繭野孝和：「わかりやすい 方程式とガロア理論入門」、天の川教育文化研究所、ISBN 978-4-904424-00-1 (2011年9月30日).
  • 木村俊一：「ガロア理論」、共立出版、ISBN 978-4-320-01994-2 (2012年11月15日).
  • 藤田岳彦：「難問克服　解いてわかるガロア理論」、東京図書、ISBN 978-4-48902148-0 (2013年1月25日).
  • 髙瀨正仁：「アーベル（前編）不可能の証明へ」、現代数学社、ISBN 978-4-7687-0432-5 (2014年7月14日).
  • 黒川信重：「ガロア理論と表現論：ゼータ関数への出発」、日本評論社、ISBN 978-4-535-78589-2 (2014年11月30日).
  • 鈴木智英：「図解と実例と論理で、今度こそわかるガロア理論」、SBクリエイティブ、ISBN 978-4-7973-9020-9 (2017年2月28日).
  • 金重明：「方程式のガロア群：深遠な解の仕組みを理解する」、講談社(ブルーバックス 2046)、ISBN 978-4-06-502046-3 (2018年1月18日).
  • 芳沢光雄：「今度こそわかる ガロア理論」、講談社サイエンティフィク、ISBN 978-4-06-156602-6 (2018年4月14日).
  • 冨田佳子：「代数学の華　ガロア理論」、現代数学社、ISBN 4-7687-0522-7 (2019年).
  • 藤原松三郎：「代数学 第2巻」(改訂新版)、内田老鶴圃、ISBN 978-4-7536-0162-2 (2020年4月). 第11章:「ガロアの方程式論」.
  • 新妻弘：「独習ガロア理論 : 群環体から低次数のガロア群まで初学者のための至極の講義録」、近代科学社、ISBN 978-4-76490674-7 (2023年12月26日）.
  • 金重明：「はじめてのガロア：数学が苦手でもわかる天才の発想」、講談社（ブルーバックス 2271）、ISBN 978-4-06-536563-2 (2024年8月23日).

洋書：

関連項目

外部リンク

テンプレート:Normdaten

  1. ↑ テンプレート:Cite journal
  2. ↑ 2.0 2.1 佐武一郎「解説「ガロア理論」について」、アルティン (2010) p. 215
  3. ↑ Scharlau (1981)
  4. ↑ アルティン (1974)
  5. ↑ アルティン (2010)
「https://ja.wiki.beta.math.wmflabs.org/w/index.php?title=ガロア理論&oldid=1979」から取得