Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
Dear Tony, Have you tried the case $K = \mathbb Q$, and various (small!) choices of $\mathfrak m$? Regards, – Matt E May 15 '12 at 20:04
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. – Pete L. Clark May 15 '12 at 20:05
Oops, silly me. So I see that it already fails for some cyclotomic fields (namely, when adjoining a 2* (2n-1) root of unity)? – Tony May 15 '12 at 20:08

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.