ガロア理論

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

ガロア理論によれば、ガロア拡大と呼ばれる体の代数拡大（正規拡大かつ分離拡大であるもの）の構造は、その拡大の自己同型群の部分群（無限次拡大の場合は閉部分群）と、拡大の中間体との間の一対一対応関係によって記述される。

概要ガロア理論は、代数方程式の解の性質を、その係数が作る体と、解を添加してできる拡大体との関係（対称性）を通じて理解する理論である。

代数方程式と体の拡大代数方程式の係数は、ある体（基礎体。例えば有理数体や実数体など）に属しているとする。この方程式の根（解）をに添加してできる体（多項式の分解体）を考えることで、方程式の性質を体の拡大の構造として捉えることができる。

例えば、二次の多項式の二つの根はである。係数の体がを含んでいない場合、根を含む体は、にを添加した拡大体となる。

ガロア群とガロア対応体の自己同型写像のうち、基礎体の元をすべて不変に保つ（動かさない）ものの全体を考える。これらは写像の合成に関して群をなす。これを拡大のガロア群と呼び、などと表す。ガロア群の元は、多項式の根を互いに入れ替える置換として作用するが、根の基本対称式（すなわち方程式の係数）は不変に保つ。

ガロア理論の基本定理（後述）によれば、以下の対応関係（ガロア対応）が成り立つ。中間体（）と、ガロア群の部分群（）は、一対一に対応する。この対応において、部分群がガロア群の正規部分群であることと、対応する中間体がの正規拡大であることは同値である。

この対応により、無限に多くの元を持つ「体」の構造の分析を、有限個の元しか持たない「群」の構造の分析に帰着させることができる（対象とする拡大が有限次の場合）。

方程式の可解性ガロア理論の最も有用な応用の一つは、代数方程式が「代数的に解ける」か、すなわち係数に対する四則演算と冪根（ルート）の有限回の組み合わせで解が表せるか、という問題の解決である。体論の言葉で言えば、これは係数体から出発して、ある元の乗根を添加して体を拡大する操作（冪根拡大）を繰り返し、その拡大体の塔の最上層に方程式の根が含まれるか、という問題に言い換えられる。

一般に、与えられた多項式が分離的である（重根を持たない）と仮定すると、そのガロア群について以下が成り立つ。方程式が代数的に解ける ⇔ そのガロア群が可解群である。

可解群とは、アーベル群（交換可能な群）を因子に持つ組成列が存在する群のことである。 4次以下の対称群は可解群であるため、4次以下の代数方程式（二次方程式、三次方程式、四次方程式）には一般に解の公式が存在する。例えば、三次方程式のガロア群は一般に対称群または巡回群であり、いずれも可解群である。 5次以上の対称群は可解群ではない（アーベル-ルフィニの定理）。したがって、5次以上の代数方程式には、一般には代数的な解の公式が存在しない。

ガロア理論の基本定理

体を体の有限次ガロア拡大（すなわち、はの正規拡大かつ分離拡大）とする。このとき、「との中間体」と「ガロア群の部分群」の間には、以下の1対1対応（ガロア対応）が存在する。（の各元を不変に保つの元全体）（の各元によって不変に保たれるの元全体）

これについて次の等式が成り立つ。

ただし、は拡大のガロア群であり、はの作用で不変なの元を集めたの部分体を指す。

したがって、「との中間体」と　「ガロア群の部分群」の間の相互の対応を与える写像

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

つまり、中間体がならばであり、部分群がならばとなる。

さらに、この対応において拡大次数と群の指数（位数）は対応する。すなわち、

が成り立つ。また、中間体がの正規拡大であることと、対応する部分群がガロア群の正規部分群であることは同値である。このとき、剰余群とのガロア群の間には、自然な群同型

が成り立つ。

有限体上のガロア群有限体上のガロア理論は、理論の基本的かつ明瞭な応用例を提供する。有限体（ = は素数の冪）の任意の有限次拡大 / はガロア拡大である。

そのガロア群は次数の巡回群となる。

このガロア群は、フロベニウス写像（またはフロベニウス自己同型）によって生成される。すなわち、

である。ガロア理論の基本定理により、中間体はの部分群と1対1に対応する。巡回群の部分群は拡大次数の各約数に対してただ一つ存在し、これに対応して次数の中間体がただ一つ存在する。

無限次拡大と現代的定式化抽象代数学においては、方程式とその分解体という具体的な対象から離れ、抽象的に定義された体の代数的拡大を取り扱う。拡大体の自己同型と部分群の間の対応が成り立つように、分離性と正規性と呼ばれる二つの条件が要求される。この二つを満たすような代数拡大はガロア拡大 () と呼ばれる。

無限次ガロア拡大有限次とは限らない一般のガロア拡大 / においては、ガロア群にはクルル位相と呼ばれる位相が入り、位相群となる。このとき、ガロア理論の基本定理における部分群は「閉部分群」に限定することで成立する。一般に体の有限次分離拡大の「合併」としての分離閉包が考えられ、そのガロア群は絶対ガロア群と呼ばれる。これはの有限次分離拡大のガロア群の射影極限となっている。

グロタンディークのガロア理論アレクサンドル・グロタンディークは、ガロア理論を圏論的に再定式化した（ガロア圏）。体に対しその絶対ガロア群が推移的かつ連続に作用する有限離散空間が与えられたとする。このときからへの写像の空間に対するの作用

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

グロタンディークのガロア理論において古典的なガロア理論は次のように理解される。K上のエタール代数はアフィンスキームの上のエタール層を表しており、埋め込みに対応する射が表す「幾何学的点」でのファイバーをとる操作は、一つの関手を定める。この関手（ファイバー関手）は、上のエタール代数の圏と、絶対ガロア群が連続的に作用する有限集合の圏との間の圏同値を導く。また、絶対ガロア群はこのファイバー関手の自己同型群として復元され、特定の公理を満たしている関手からガロア群を復元できることが分かる。また、上の圏同値によって、体上のガロアコホモロジーは、上のエタール・コホモロジー理論と同値となる。

逆問題与えられた方程式（あるいは体のガロア拡大）のガロア群を求める問題を「ガロアの順問題」、与えられた群をガロア群としてもつ方程式（あるいは体の拡大）を構成する問題を「ガロアの逆問題」と呼ぶ。特にある有限群が有理数体上のガロア拡大のガロア群として実現できるか、という問題は数論における重要な未解決問題の一つである（すべての有限群が実現可能であると予想されているが、解決には至っていない）。

歴史ガロア理論の概念的な萌芽は、ラグランジュによる代数方程式の解法（特にラグランジュ分解式）における根の置換に関する考察に見られる。また、ガウスは、1の冪根（円分方程式）の研究において、その解の構造が巡回群によって記述されることを実質的に示していた。アーベルは、ガロアに先立ち、一般の五次方程式が冪根によって解けないことを証明した。

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

ソフス・リーによって導入されたリー群は代数方程式に対するガロア理論の類似を微分方程式に対して確立しようという試みの中から生まれたとされている。その後、エミール・アルティンは、ガロア理論を、体の自己同型群と部分群の対応として捉え直し、線型代数学の手法を用いて理論の公理的な再定式化を行ったアルティン (1974)アルティン (2010)。現代におけるガロア理論の標準的な叙述の多くは、アルティンによるこの定式化に基づいている。アレクサンドル・グロタンディークによって圏論的な定式化と数論幾何・代数幾何への応用が押し進められた。

脚注

注釈

出典

参考文献

- デデキントの講義録Höhere Algebra, Galois-Theorie, Kreisteilung, Gruppentheorie (WS 1856/57 und WS 1857/58)を収録。

ガロア理論

Źródło i licencja