The Stacks project

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

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

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

Consider the canonical map

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$