Lemma 58.3.3. Let $G$ be a topological group. The automorphism group of the functor (58.3.2.1) endowed with its profinite topology from Lemma 58.3.1 is the profinite completion of $G$.

**Proof.**
Denote $F_ G$ the functor (58.3.2.1). Any morphism $X \to Y$ in $\textit{Finite-}G\textit{-Sets}$ commutes with the action of $G$. Thus any $g \in G$ defines an automorphism of $F_ G$ and we obtain a canonical homomorphism $G \to \text{Aut}(F_ G)$ of groups. Observe that any finite $G$-set $X$ is a finite disjoint union of $G$-sets of the form $G/H_ i$ with canonical $G$-action where $H_ i \subset G$ is an open subgroup of finite index. Then $U_ i = \bigcap gH_ ig^{-1}$ is open, normal, and has finite index. Moreover $U_ i$ acts trivially on $G/H_ i$ hence $U = \bigcap U_ i$ acts trivially on $F_ G(X)$. Hence the action $G \times F_ G(X) \to F_ G(X)$ is continuous. By the universal property of the topology on $\text{Aut}(F_ G)$ the map $G \to \text{Aut}(F_ G)$ is continuous. By Lemma 58.3.1 and the universal property of profinite completion there is an induced continuous group homomorphism

Moreover, since $G/U$ acts faithfully on $G/U$ this map is injective. If the image is dense, then the map is surjective and hence a homeomorphism by Topology, Lemma 5.17.8.

Let $\gamma \in \text{Aut}(F_ G)$ and let $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$. We will show there is a $g \in G$ such that $\gamma $ and $g$ induce the same action on $F_ G(X)$. This will finish the proof. As before we see that $X$ is a finite disjoint union of $G/H_ i$. With $U_ i$ and $U$ as above, the finite $G$-set $Y = G/U$ surjects onto $G/H_ i$ for all $i$ and hence it suffices to find $g \in G$ such that $\gamma $ and $g$ induce the same action on $F_ G(G/U) = G/U$. Let $e \in G$ be the neutral element and say that $\gamma (eU) = g_0U$ for some $g_0 \in G$. For any $g_1 \in G$ the morphism

of $\textit{Finite-}G\textit{-Sets}$ commutes with the action of $\gamma $. Hence

Thus we see that $g = g_0$ works. $\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 (0)

There are also: