The Stacks project

9.22 Infinite Galois theory

The Galois group comes with a canonical topology.

Lemma 9.22.1. Let $E/F$ be a Galois extension. Endow $\text{Gal}(E/F)$ with the coarsest topology such that

\[ \text{Gal}(E/F) \times E \longrightarrow E \]

is continuous when $E$ is given the discrete topology. Then

  1. for any topological space $X$ and map $X \to \text{Aut}(E/F)$ such that the action $X \times E \to E$ is continuous the induced map $X \to \text{Gal}(E/F)$ is continuous,

  2. this topology turns $\text{Gal}(E/F)$ into a profinite topological group.

Proof. Throughout this proof we think of $E$ as a discrete topological space. Recall that the compact open topology on the set of self maps $\text{Map}(E, E)$ is the universal topology such that the action $\text{Map}(E, E) \times E \to E$ is continuous. See Topology, Example 5.30.2 for a precise statement. The topology of the lemma on $\text{Gal}(E/F)$ is the induced topology coming from the injective map $\text{Gal}(E/F) \to \text{Map}(E, E)$. Hence the universal property (1) follows from the corresponding universal property of the compact open topology. Since the set of invertible self maps $\text{Aut}(E)$ endowed with the compact open topology forms a topological group, see Topology, Example 5.30.2, and since $\text{Gal}(E/F) = \text{Aut}(E/F) \to \text{Map}(E, E)$ factors through $\text{Aut}(E)$ we obtain a topological group. In other words, we are using the injection

\[ \text{Gal}(E/F) \subset \text{Aut}(E) \]

to endow $\text{Gal}(E/F)$ with the induced structure of a topological group (see Topology, Section 5.30) and by construction this is the coarsest structure of a topological group such that the action $\text{Gal}(E/F) \times E \to E$ is continuous.

To show that $\text{Gal}(E/F)$ is profinite we argue as follows (our argument is necessarily nonstandard because we have defined the topology before showing that the Galois group is an inverse limit of finite groups). By Topology, Lemma 5.30.4 it suffices to show that the underlying topological space of $\text{Gal}(E/F)$ is profinite. For any subset $S \subset E$ consider the set

\[ G(S) = \{ f : S \to E \mid \begin{matrix} f(\alpha )\text{ is a root of the minimal polynomial} \\ \text{of }\alpha \text{ over }F\text{ for all }\alpha \in S \end{matrix} \} \]

Since a polynomial has only a finite number of roots we see that $G(S)$ is finite for all $S \subset E$ finite. If $S \subset S'$ then restriction gives a map $G(S') \to G(S)$. Also, observe that if $\alpha \in S \cap F$ and $f \in G(S)$, then $f(\alpha ) = \alpha $ because the minimal polynomial is linear in this case. Consider the profinite topological space

\[ G = \mathop{\mathrm{lim}}\nolimits _{S \subset E\text{ finite}} G(S) \]

Consider the canonical map

\[ c : \text{Gal}(E/F) \longrightarrow G,\quad \sigma \longmapsto (\sigma |_ S : S \to E)_ S \]

This is injective and unwinding the definitions the reader sees the topology on $\text{Gal}(E/F)$ as defined above is the induced topology from $G$. An element $(f_ S) \in G$ is in the image of $c$ exactly if (A) $f_ S(\alpha ) + f_ S(\beta ) = f_ S(\alpha + \beta )$ and (M) $f_ S(\alpha )f_ S(\beta ) = f_ S(\alpha \beta )$ whenever this makes sense (i.e., $\alpha , \beta , \alpha + \beta , \alpha \beta \in S$). Namely, this means $\mathop{\mathrm{lim}}\nolimits f_ S : E \to E$ will be an $F$-algebra map and hence an automorphism by Lemma 9.8.11. The conditions (A) and (M) for a given triple $(S, \alpha , \beta )$ define a closed subset of $G$ and hence $\text{Gal}(E/F)$ is homeomorphic to a closed subset of a profinite space and therefore profinite itself. $\square$

Lemma 9.22.2. Let $L/M/K$ be a tower of fields. Assume both $L/K$ and $M/K$ are Galois. Then there is a canonical surjective continuous homomorphism $c : \text{Gal}(L/K) \to \text{Gal}(M/K)$.

Proof. By Lemma 9.15.7 given $\tau : L \to L$ in $\text{Gal}(L/K)$ the restriction $\tau |_ M : M \to M$ is an element of $\text{Gal}(M/K)$. This defines the homomorphism $c$. Continuity follows from the universal property of the topology: the action

\[ \text{Gal}(L/K) \times M \longrightarrow M,\quad (\tau , x) \longmapsto \tau (x) = c(\tau )(x) \]

is continuous as $M \subset L$ and the action $\text{Gal}(L/K) \times L \to L$ is continuous. Hence continuity of $c$ by part (1) of Lemma 9.22.1. Lemma 9.15.7 also shows that the map is surjective. $\square$

Here is a more standard way to think about the Galois group of an infinite Galois extension.

Lemma 9.22.3. Let $L/K$ be a Galois extension with Galois group $G$. Let $\Lambda $ be the set of finite Galois subextensions, i.e., $\lambda \in \Lambda $ corresponds to $L/L_\lambda /K$ with $L_\lambda /K$ finite Galois with Galois group $G_\lambda $. Define a partial ordering on $\Lambda $ by the rule $\lambda \geq \lambda '$ if and only if $L_\lambda \supset L_{\lambda '}$. Then

  1. $\Lambda $ is a directed partially ordered set,

  2. $L_\lambda $ is a system of $K$-extensions over $\Lambda $ and $L = \mathop{\mathrm{colim}}\nolimits L_\lambda $,

  3. $G_\lambda $ is an inverse system of finite groups over $\Lambda $, the transition maps are surjective, and

    \[ G = \mathop{\mathrm{lim}}\nolimits _{\lambda \in \Lambda } G_\lambda \]

    as a profinite group, and

  4. each of the projections $G \to G_\lambda $ is continuous and surjective.

Proof. Every subfield of $L$ containing $K$ is separable over $K$ (follows immediately from the definition). Let $S \subset L$ be a finite subset. Then $K(S)/K$ is finite and there exists a tower $L/E/K(S)/K$ such that $E/K$ is finite Galois, see Lemma 9.16.5. Hence $E = L_\lambda $ for some $\lambda \in \Lambda $. This certainly implies the set $\Lambda $ is not empty. Also, given $\lambda _1, \lambda _2 \in \Lambda $ we can write $L_{\lambda _ i} = K(S_ i)$ for finite sets $S_1, S_2 \subset L$ (Lemma 9.7.5). Then there exists a $\lambda \in \Lambda $ such that $K(S_1 \cup S_2) \subset L_\lambda $. Hence $\lambda \geq \lambda _1, \lambda _2$ and $\Lambda $ is directed (Categories, Definition 4.21.4). Finally, since every element in $L$ is contained in $L_\lambda $ for some $\lambda \in \Lambda $, it follows from the description of filtered colimits in Categories, Section 4.19 that $\mathop{\mathrm{colim}}\nolimits L_\lambda = L$.

If $\lambda \geq \lambda '$ in $\Lambda $, then we obtain a canonical surjective map $G_\lambda \to G_{\lambda '}$, $\sigma \mapsto \sigma |_{L_{\lambda '}}$ by Lemma 9.21.8. Thus we get an inverse system of finite groups with surjective transition maps.

Recall that $G = \text{Aut}(L/K)$. By Lemma 9.22.2 the restriction $\sigma |_{L_\lambda }$ of a $\sigma \in G$ to $L_\lambda $ is an element of $G_\lambda $. Moreover, this procedure gives a continuous surjection $G \to G_\lambda $. Since the transition mappings in the inverse system of $G_\lambda $ are given by restriction also, it is clear that we obtain a canonical continuous map

\[ G \longrightarrow \mathop{\mathrm{lim}}\nolimits _{\lambda \in \Lambda } G_\lambda \]

Continuity by definition of limits in the category of topological groups; recall that these limits commute with the forgetful functor to the categories of sets and topological spaces by Topology, Lemma 5.30.3. On the other hand, since $L = \mathop{\mathrm{colim}}\nolimits L_\lambda $ it is clear that any element of the inverse limit (viewed as a set) defines an automorphism of $L$. Thus the map is bijective. Since the topology on both sides is profinite, and since a bijective continuous map of profinite spaces is a homeomorphism (Topology, Lemma 5.17.8), the proof is complete. $\square$

Theorem 9.22.4 (Fundamental theorem of infinite Galois theory). Let $L/K$ be a Galois extension. Let $G = \text{Gal}(L/K)$ be the Galois group viewed as a profinite topological group (Lemma 9.22.1). Then we have $K = L^ G$ and the map

\[ \{ \text{closed subgroups of }G\} \longrightarrow \{ \text{subextensions }L/M/K\} ,\quad H \longmapsto L^ H \]

is a bijection whose inverse maps $M$ to $\text{Gal}(L/M)$. The finite subextensions $M$ correspond exactly to the open subgroups $H \subset G$. The normal closed subgroups $H$ of $G$ correspond exactly to subextensions $M$ Galois over $K$.

Proof. We will use the result of finite Galois theory (Theorem 9.21.7) without further mention. Let $S \subset L$ be a finite subset. There exists a tower $L/E/K$ such that $K(S) \subset E$ and such that $E/K$ is finite Galois, see Lemma 9.16.5. In other words, we see that $L/K$ is the union of its finite Galois subextensions. For such an $E$, by Lemma 9.22.2 the map $\text{Gal}(L/K) \to \text{Gal}(E/K)$ is surjective and continuous, i.e., the kernel is open because the topology on $\text{Gal}(E/K)$ is discrete. In particular we see that no element of $L \setminus K$ is fixed by $\text{Gal}(L/K)$ as $E^{\text{Gal}(E/K)} = K$. This proves that $L^ G = K$.

By Lemma 9.21.4 given a subextension $L/M/K$ the extension $L/M$ is Galois. It is immediate from the definition of the topology on $G$ that the subgroup $\text{Gal}(L/M)$ is closed. By the above applied to $L/M$ we see that $L^{\text{Gal}(L/M)} = M$.

Conversely, let $H \subset G$ be a closed subgroup. We claim that $H = \text{Gal}(L/L^ H)$. The inclusion $H \subset \text{Gal}(L/L^ H)$ is clear. Suppose that $g \in \text{Gal}(L/L^ H)$. Let $S \subset L$ be a finite subset. We will show that the open neighbourhood $U_ S(g) = \{ g' \in G \mid g'(s) = g(s)\} $ of $g$ meets $H$. This implies that $g \in H$ because $H$ is closed. Let $L/E/K$ be a finite Galois subextension containing $K(S)$ as in the first paragraph of the proof and consider the homomorphism $c : \text{Gal}(L/K) \to \text{Gal}(E/K)$. Then $L^ H \cap E = E^{c(H)}$. Since $g$ fixes $L^ H$ it fixes $E^{c(H)}$ and hence $c(g) \in c(H)$ by finite Galois theory. Pick $h \in H$ with $c(h) = c(g)$. Then $h \in U_ S(g)$ as desired.

At this point we have established the correspondence between closed subgroups and subextensions.

Assume $H \subset G$ is open. Arguing as above we find that $H$ contains $\text{Gal}(L/E)$ for some large enough finite Galois subextension $E$ and we find that $L^ H$ is contained in $E$ whence finite over $K$. Conversely, if $M$ is a finite subextension, then $M$ is generated by a finite subset $S$ and the corresponding subgroup is the open subset $U_ S(e)$ where $e \in G$ is the neutral element.

Assume that $K \subset M \subset L$ with $M/K$ Galois. By Lemma 9.22.2 there is a surjective continuous homomorphism of Galois groups $\text{Gal}(L/K) \to \text{Gal}(M/K)$ whose kernel is $\text{Gal}(L/M)$. Thus $\text{Gal}(L/M)$ is a normal closed subgroup.

Finally, assume $N \subset G$ is normal and closed. For any $L/E/K$ as in the first paragraph of the proof, the image $c(N) \subset \text{Gal}(E/K)$ is a normal subgroup. Hence $L^ N = \bigcup E^{c(N)}$ is a union of Galois extensions of $K$ (by finite Galois theory) whence Galois over $K$. $\square$

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

\[ 1 \to \text{Gal}(L/M) \to \text{Gal}(L/K) \to \text{Gal}(M/K) \to 1 \]

of profinite topological groups.

Proof. This is a reformulation of Lemma 9.22.2. $\square$


Comments (2)

Comment #6524 by Xuanyou Li on

In the 5th paragraph of the proof of Theorem 0BML,"... Arguing as above we find that cotaines "should be "... Arguing as above we find that contains "


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.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0BMI. Beware of the difference between the letter 'O' and the digit '0'.