Definition 9.21.1. A field extension $E/F$ is called *Galois* if it is algebraic, separable, and normal.

## 9.21 Galois theory

Here is the definition.

It turns out that a finite extension is Galois if and only if it has the “correct” number of automorphisms.

Lemma 9.21.2. Let $E/F$ be a finite extension of fields. Then $E$ is Galois over $F$ if and only if $|\text{Aut}(E/F)| = [E : F]$.

**Proof.**
Assume $|\text{Aut}(E/F)| = [E : F]$. By Lemma 9.15.9 this implies that $E/F$ is separable and normal, hence Galois. Conversely, if $E/F$ is separable then $[E : F] = [E : F]_ s$ and if $E/F$ is in addition normal, then Lemma 9.15.9 implies that $|\text{Aut}(E/F)| = [E : F]$.
$\square$

Motivated by the lemma above we introduce the Galois group as follows.

Definition 9.21.3. If $E/F$ is a Galois extension, then the group $\text{Aut}(E/F)$ is called the *Galois group* and it is denoted $\text{Gal}(E/F)$.

If $L/K$ is an infinite Galois extension, then one should think of the Galois group as a topological group. We will return to this in Section 9.22.

Lemma 9.21.4. Let $K/E/F$ be a tower of algebraic field extensions. If $K$ is Galois over $F$, then $K$ is Galois over $E$.

Lemma 9.21.5. Let $L/K$ be a finite separable extension of fields. Let $M$ be the normal closure of $L$ over $K$ (Definition 9.16.4). Then $M/K$ is Galois.

**Proof.**
The subextension $M/M_{sep}/K$ of Lemma 9.14.6 is normal by Lemma 9.15.4. Since $L/K$ is separable we have $L \subset M_{sep}$. By minimality $M = M_{sep}$ and the proof is done.
$\square$

Let $G$ be a group acting on a field $K$ (by field automorphisms). We will often use the notation

and we will call this the *fixed field* for the action of $G$ on $K$.

Lemma 9.21.6. Let $K$ be a field. Let $G$ be a finite group acting faithfully on $K$. Then the extension $K/K^ G$ is Galois, we have $[K : K^ G] = |G|$, and the Galois group of the extension is $G$.

**Proof.**
Given $\alpha \in K$ consider the orbit $G \cdot \alpha \subset K$ of $\alpha $ under the group action. Consider the polynomial

The key to the whole lemma is that this polynomial is invariant under the action of $G$ and hence has coefficients in $K^ G$. Namely, for $\tau \in G$ we have

because the map $\beta \mapsto \tau (\beta )$ is a permutation of the orbit $G \cdot \alpha $. Thus $P \in K^ G[x]$. Since also $P(\alpha ) = 0$ as $\alpha $ is an element of its orbit we conclude that the extension $K/K^ G$ is algebraic. Moreover, the minimal polynomial $Q$ of $\alpha $ over $K^ G$ divides the polynomial $P$ just constructed. Hence $Q$ is separable (by Lemma 9.12.4 for example) and we conclude that $K/K^ G$ is separable. Thus $K/K^ G$ is Galois. To finish the proof it suffices to show that $[K : K^ G] = |G|$ since then $G$ will be the Galois group by Lemma 9.21.2.

Pick finitely many elements $\alpha _ i \in K$, $i = 1, \ldots , n$ such that $\sigma (\alpha _ i) = \alpha _ i$ for $i = 1, \ldots , n$ implies $\sigma $ is the neutral element of $G$. Set

and observe that the action of $G$ on $K$ induces an action of $G$ on $L$. We will show that $L$ has degree $|G|$ over $K^ G$. This will finish the proof, since if $L \subset K$ is proper, then we can add an element $\alpha \in K$, $\alpha \not\in L$ to our list of elements $\alpha _1, \ldots , \alpha _ n$ without increasing $L$ which is absurd. This reduces us to the case that $K/K^ G$ is finite which is treated in the next paragraph.

Assume $K/K^ G$ is finite. By Lemma 9.19.1 we can find $\alpha \in K$ such that $K = K^ G(\alpha )$. By the construction in the first paragraph of this proof we see that $\alpha $ has degree at most $|G|$ over $K$. However, the degree cannot be less than $|G|$ as $G$ acts faithfully on $K^ G(\alpha ) = L$ by construction and the inequality of Lemma 9.15.9. $\square$

Theorem 9.21.7 (Fundamental theorem of Galois theory). Let $L/K$ be a finite Galois extension with Galois group $G$. Then we have $K = L^ G$ and the map

is a bijection whose inverse maps $M$ to $\text{Gal}(L/M)$. The normal subgroups $H$ of $G$ correspond exactly to those subextensions $M$ with $M/K$ Galois.

**Proof.**
By Lemma 9.21.4 given a subextension $L/M/K$ the extension $L/M$ is Galois. Of course $L/M$ is also finite (Lemma 9.7.3). Thus $|\text{Gal}(L/M)| = [L : M]$ by Lemma 9.21.2. Conversely, if $H \subset G$ is a finite subgroup, then $[L : L^ H] = |H|$ by Lemma 9.21.6. It follows formally from these two observations that we obtain a bijective correspondence as in the theorem.

If $H \subset G$ is normal, then $L^ H$ is fixed by the action of $G$ and we obtain a canonical map $G/H \to \text{Aut}(L^ H/K)$. This map has to be injective as $\text{Gal}(L/L^ H) = H$. Hence $|G/H| = [L^ H : K]$ and $L^ H$ is Galois by Lemma 9.21.2.

Conversely, assume that $K \subset M \subset L$ with $M/K$ Galois. By Lemma 9.15.7 we see that every element $\tau \in \text{Gal}(L/K)$ induces an element $\tau |_ M \in \text{Gal}(M/K)$. This induces a homomorphism of Galois groups $\text{Gal}(L/K) \to \text{Gal}(M/K)$ whose kernel is $H$. Thus $H$ is a normal subgroup. $\square$

Lemma 9.21.8. Let $L/M/K$ be a tower of fields. Assume $L/K$ and $M/K$ are finite Galois. Then we obtain a short exact sequence

of finite groups.

**Proof.**
Namely, by Lemma 9.15.7 we see that every element $\tau \in \text{Gal}(L/K)$ induces an element $\tau |_ M \in \text{Gal}(M/K)$ which gives us the homomorphism on the right. The map on the left identifies the left group with the kernel of the right arrow. The sequence is exact because the sizes of the groups work out correctly by multiplicativity of degrees in towers of finite extensions (Lemma 9.7.7). One can also use Lemma 9.15.7 directly to see that the map on the right is surjective.
$\square$

## Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like `$\pi$`

). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (4)

Comment #4405 by TS on

Comment #4507 by Johan on

Comment #6984 by YNChen on

Comment #6985 by Johan on