---
tag: 0T1Q8D0FW8
kind: statement
role: theorem
name: Fundamental theorem of Galois theory
msc: [12F10]
uses: [0DS2F7GK05, 0XVR72M51M, 0KMJ6919WS, 02NBKVQFRQ, 0BDJBH8B4Z]
sources:
  - url: https://en.wikipedia.org/wiki/Fundamental_theorem_of_Galois_theory
    locator: Explicit description of the correspondence
  - url: https://en.wikipedia.org/wiki/Fundamental_theorem_of_Galois_theory
    locator: Properties of the correspondence
same_as:
  wikidata: Q766522
  wikipedia: Fundamental theorem of Galois theory
---

## Statement

Let $L/K$ be a finite [[Galois extension|0DS2F7GK05]] with [[Galois group|0XVR72M51M]] $G = \operatorname{Gal}(L/K)$.

1. The maps $H \mapsto L^H$ and $E \mapsto \operatorname{Gal}(L/E)$ are inverse bijections between the subgroups $H$ of $G$ and the [[intermediate fields|02NBKVQFRQ]] $E$ of $L/K$.
2. These bijections reverse inclusions: $H_1 \subseteq H_2$ if and only if $L^{H_1} \supseteq L^{H_2}$.
3. For every subgroup $H$, $[L : L^H] = |H|$ and $[L^H : K] = |G|/|H|$.
4. The extension $L^H/K$ is normal if and only if $H$ is a normal subgroup of $G$. Then $\operatorname{Gal}(L^H/K) \cong G/H$.

Here $L^H$ is the [[fixed field|0KMJ6919WS]] of $H$.

## Remarks

For $L = \mathbb{Q}(\sqrt{2}, \sqrt{3})$ and $K = \mathbb{Q}$, the group $G$ has order $4$ and three subgroups of order $2$. They match the three intermediate fields $\mathbb{Q}(\sqrt{2})$, $\mathbb{Q}(\sqrt{3})$ and $\mathbb{Q}(\sqrt{6})$.
The top field $L$ matches the trivial subgroup, and the base field $K$ matches $G$.
A finite Galois extension has only finitely many intermediate fields, because a finite group has finitely many subgroups.
The theorem is used to prove that the general equation of degree $5$ is not solvable by radicals.

## History

Évariste Galois proved the theorem in his development of Galois theory.

## Explanations

### L1 human

The theorem turns questions about fields into questions about groups.
Each intermediate field matches one subgroup of the Galois group, and the bigger the field, the smaller the subgroup.
Finite groups are often easier to study than fields.