4
$\begingroup$

Let $K$ be a number field. The theorems of class field theory tell us that given any modulus $\mathfrak{m}$ for $K$, there is a unique Abelian extension $K_{\mathfrak{m}}$ such that the kernel of the Artin map of $K_{\mathfrak{m}}/K$ with respect to $\mathfrak{m}$ is precisely the subgroup of principal fractional ideals congruent to $1 \pmod{\mathfrak{m}}$. This is the Ray class field.

Moreover, we know that the conductor of $K_{\mathfrak{m}}/K$ divides $\mathfrak{m}$. Is it equal in general? If not, what are counterexamples?

  • 2
    Dear Tony, Have you tried the case $K = \mathbb Q$, and various (small!) choices of $\mathfrak m$? Regards,2012-05-15
  • 4
    No, the conductor of $K_{\mathfrak{m}}$ can properly divide $\mathfrak{m}$. Hint: this already happens for $K = \mathbb{Q}$. The basic culprit behind this is the fact that $\mathbb{Q}(\zeta_{2n}) = \mathbb{Q}(\zeta_n)$ when $n$ is odd.2012-05-15
  • 2
    Oops, silly me. So I see that it already fails for some cyclotomic fields (namely, when adjoining a 2* (2n-1) root of unity)?2012-05-15

0 Answers 0