Dihedral Extension Unramified at Primes Dividing Order of Group?

algebraic-number-theorygalois-theorynumber-fields

Consider dihedral Galois extensions $L/\mathbb{Q}$ of degree $n$ (and we know they exist thanks to Shafarevich), can we show there always exists an extension $L/\mathbb{Q}$ unramified at $p$, for all $p \mid 2n$?

Best Answer

$\DeclareMathOperator\Gal{Gal}$The answer is "yes", and this is an easy exercise in class field theory: if, for example, $q$ is a prime number that is $1\pmod n$, and $F$ is a quadratic number field in which $q$ splits, then there is a quotient of the ray class group of $F$ with modulus $q$ that has order $n$ and on which $\Gal(F/\mathbb{Q})$ acts by $-1$, so that the corresponding ray class field $L/F$ is Galois over $\mathbb{Q}$ with dihedral Galois group and is unramified (over $F$) outside of $q$. See, for example, Section 3.1 in https://arxiv.org/abs/0805.1231 for the details of this computation. So if you also arrange $F$ to be unramified at all $p|2n$, then $L/\mathbb{Q}$ is as required.