- Ice Age Cavalry
- Anatomically Correct Manananggal
- why would mages not use mana they have stolen to permanently boost their power?
- A weird sum problem
- How can I merge 2+ DataFrame objects without duplicating column names?
- How does the loss function for semantic segmentation networks (like FCN) work?
- Which sklearn classification would perform best on shape= (2000, 1024) w/ binary features?
- Combine results from multiple models
- Confused about how to graph my high dimensional dataset with Kmeans
- Identification of a stone
- Unfamiliar error on code about port(s)
- 4×4 keypad giving entire row (all columns are triggered) in Tinkercad
- A good place to start Arduino and kinect integration?
- Arduino Uno keeps looping on setup() everytime I press a specific button on the remote
- Windows Dock(macos like) Replacement Centered
- Android emulator that doesn't use VMware
- Best Android Emulator With Good compatibility
- PDF editor with the ability of converting colors (for Windows)
- Find files which do not have a given extension, sort by size and move some
- Do swept back wings affect the moment of inertia of an aircraft enough to be relevant for the roll response?

# Can $\mathrm{Aut}(\Bbb C)$ be turned into a profinite group?

It is known that for any (possibly infinite) Galois extension $L/K$, the Galois group is profinite, when endowed with the Krull topology (inherited from the inverse limit).

Can $\mathrm{Aut}(\Bbb C)$ be endowed with a topology with respect to which it is a profinite group (i.e. compact, Hausdorff, totally disconnected)?

Some thoughts:

According to the answer here, one might define a basis of open neighborhoods of the identity via $\{ \mathrm{Aut}(\Bbb C/K) \mid K \text{ finitely generated} \}$, and we obtain a topological group which is Hausdorff and totally disconnected. Is it correct? (The answer doesn't give any proof). If moreover it is locally compact, we could conclude that $\mathrm{Aut}(\Bbb C)$ is a locally profinite group.

But the answer above tells that this topological group is compact iff every $z \in \Bbb C$ has finite orbit. This is not the case, since $ \Bbb C \cong \overline{\Bbb Q(X_a : a \in \Bbb R)}$ and $X_a \mapsto X_{a+1}$ (for all $a \in