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

ガロア理論によれば、“ガロア拡大”と呼ばれる体の代数拡大について、拡大の自己同型群の閉部分群と、拡大の中間体との対応関係を記述することができる。
概要例えば Galois の研究は、その萌芽はすでに Lagrange その他の中に見られるが、どんな貧弱な fox-terrior でも、Galois の中にすぐれたアイディアをかぎわけることができる。

?アンドレ・ヴェイユ
「来日数学者と接して」『数学』第7巻第4号、1956年、268頁。 

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

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

例えば二次の多項式 x2 − 2ax + b = 0 の二つの根は a ± a 2 − b {\displaystyle 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 ) {\displaystyle \operatorname {Gal} (M/K)=\operatorname {Gal} (L/K)/\operatorname {Gal} (L/M)}

は巡回群になる。

L が K のべき根拡大になっているかどうかは群 Gal(L/K) が可解群になっているかどうか。このようにして分解体の自己同型を調べることで方程式の可解性について考察することができる。

一方、最も一般的な設定の下では群 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 に対しその絶対ガロア群 GK = Gal(K sep/K) が推移的かつ連続に作用する有限離散空間 X が与えられたとする。このとき X から K sep への写像の空間 (Ksep)X に対する GK の作用 ( g , f ) [ x ] = f ( g − 1 x ) {\displaystyle (g,f)[x]=f(g^{-1}x)}

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

グロタンディークのガロア理論において古典的なガロア理論は次のように理解される。K上のエタール代数はアフィンスキーム Spec(K) の上のエタール層を表しており、埋め込みK → K sep に対応する射 Spec(K sep) → Spec(K) が表す「点」でのファイバーをとることに対応する関手 FK sep: A → HomK(A, K sep) が、圏同値 : Spec(K) 上のエタール層の圏 EtK ≡ G が連続的に作用する集合の圏 BGをひき起こしている。また、絶対ガロア群はこのファイバー関手の自己同型群として実現されており、特定の公理を満たしている関手 F K s e p : Et K → ( S e t s ) {\displaystyle \operatorname {F} _{K^{\mathrm {sep} }}:\operatorname {Et} _{K}\to (\mathrm {Sets} )} からガロア群を復元できることが分かる。