Wednesday, 10 January 2007

nt.number theory - Maximal extension almost everywhere unramified and totally split at one place

Nope.



I'm lacking a reference in front of me at the moment (see NSW's Cohomology of Number Fields, or Gras's Class Field Theory -- I'll update with a precise reference later), but there are remarkably clean formulas for the generator and relation ranks for the Galois group of the maximal $ell$-extension of $mathbb{Q}$ unramified outside $S$ and completely split at $T$, for finite sets of primes $S$ and $T$. Throwing out some silly cases, these depend only on $|S|$ and $|T|$ (and, in your problem, maybe even just $|S|-|T|$). In your case, where $|T|=1$, it's just a matter of making $S$ big enough (again, a reference will say how big, but right now, I think $|S|=4$ does the trick.)



Edit to add in in a precise reference (though the above book references certainly contain the results as well): Christian Maire's "Finitude de tours et p-tours T-ramifiees moderees, S-decomposees".

No comments:

Post a Comment