Welcome to MathOverflow

Question

3

1

Let $F/\mathbf{Q}$ be an extension of finite degree, and let $S$ be a finite set of places of $F$. Let $F_S/F$ be the maximal extension unramified outside $S$; what is the most natural way to see that $\mathrm{Gal}(F_S/F)$ is topologically finitely generated?

flag	asked May 4 2011 at 15:34 David Hansen 8,389●2●18●48

1

Variations of this question have been coming up once a week lately -- why? mathoverflow.net/questions/63029/… mathoverflow.net/questions/63094/… – JSE May 4 2011 at 17:15

Stefano V. · Answer 1 · 2011-05-04 15:55:09Z UTC

9

As far as I know, in general it is an open problem to establish whether $\mathrm{Gal}(F_S/F)$ is topologically finitely generated. For example, this question is posed as a conjecture (attributed to Shafarevich) in these notes of Chenevier (see Conjecture 1.7).

answered May 4 2011 at 15:55

Stefano V.
404●4●5

	Whoops! I'm not quite sure why I thought this was true. – David Hansen May 4 2011 at 16:29
	To be honest, a few minutes after writing my answer I wondered if I had misinterpreted your question and you were actually asking for the most natural strategy to attack the problem for a GIVEN number field $F$ and a GIVEN finite set $S$ of places of $F$... – Stefano V. May 4 2011 at 19:02

Finite topological generation of Galois groups

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.