Skip to main content
2 of 2
added 792 characters in body
Franz Lemmermeyer
  • 32.5k
  • 4
  • 109
  • 215

As a matter of fact, all ring class fields of conductor $p \equiv 1 \bmod 4$ contain the quadratic number field ${\mathbb Q}(\sqrt{p})$.

The formula for the ring class number (Cox) gives $h({\mathcal O}) = \frac{2h}{w}(p + (\frac{d}{p}))$, where the quadratic base field has discriminant $d$, $h$ is the class number of $K$, and $w$ the number of roots of unity in $K$. It is easy to see that this ring class number is always even. The maximal $2$-extension inside this ring class field can be constructed by a sequence of quadratic central extensions. Let $L/K$ be such a quadratic subextension. Then $L/{\mathbb Q}$ is normal; but the extension cannot be cyclic since every prime ramifying in $K/{\mathbb Q}$ would then also ramify in $L/K$, which is impossible since $L/K$ is only ramified at $p$ and since there always is a prime $q \ne p$ ramified in $K/{\mathbb Q}$ since $K$ is complex and therefore $K \ne {\mathbb Q}(\sqrt{p})$.

This implies that $L = {\mathbb Q}(\sqrt{d},\sqrt{p})$.

Franz Lemmermeyer
  • 32.5k
  • 4
  • 109
  • 215