3
$\begingroup$

Is a good characterization of Spec $\mathbb{Z}[\zeta_n]$ known? Same question for its unit group.

$\endgroup$
1
  • $\begingroup$ An excellent (and very readable) account of the arithmetic of $\mathbb{Q}(\zeta_n)$ can be found in the first two chapters of Washington's book "Introduction to Cyclotomic Fields". $\endgroup$
    – user1073
    Jan 5, 2010 at 23:05

3 Answers 3

12
$\begingroup$

Theorem: Let $\alpha$ be an algebraic integer such that $\mathbb{Z}[\alpha]$ is integrally closed, and let its minimal polynomial be $f(x)$. Let $p$ be a prime, and let

$\displaystyle f(x) \equiv \prod_{i=1}^{k} f_i(x)^{e_i} \bmod p$

in $\mathbb{F}_p[x]$. Then the prime ideals lying above $p$ in $\mathbb{Z}[\alpha]$ are precisely the maximal ideals $(p, f_i(\alpha))$, and the product of these ideals (with the multipicities $e_i$) is $(p)$. (Theorem 8.1.3.)

In this particular case we have $f(x) = \Phi_n(x)$. When $(p, n) = 1$, its factorization in $\mathbb{F}_p[x]$ is determined by the action of the Frobenius map on the elements of order $n$ in the multiplicative group of $\overline{ \mathbb{F}_p }$, which is in turn determined by the minimal $f$ such that $p^f - 1 \equiv 0 \bmod n$ as described in Chandan's answer. (This $f$ is the size of every orbit, hence the degree of every irreducible factor.) When $p | n$ write $n = p^k m$ where $(m, p) = 1$, hence $x^n - 1 \equiv (x^m - 1)^{p^k} \bmod p$. Then I believe that $\Phi_n(x) \equiv \Phi_m(x)^{p^k - p^{k-1}} \bmod p$ and you can repeat the above, but you'd have to check with a real number theorist on that. (Edit: Indeed, it's true over $\mathbb{Z}$ that $\Phi_n(x) = \frac{ \Phi_m(x^{p^k}) }{ \Phi_m(x^{p^{k-1}}) }$.)

$\endgroup$
2
  • $\begingroup$ Thanks Qiaochu! This is exactly the kind of explicit answer I was looking for. $\endgroup$
    – Jon Yard
    Jan 4, 2010 at 6:42
  • $\begingroup$ Thanks for the referral to Stein's text - this looks pretty good. $\endgroup$ Jan 5, 2010 at 1:49
10
$\begingroup$

The extension $\mathbb{Q}(\zeta_n)|\mathbb{Q}$ is abelian of group $(\mathbb{Z}/n\mathbb{Z})^\times$ so class field theory tells you everything about the prime ideals in $\mathbb{Z}[\zeta_n]$, the ring of integers of $\mathbb{Q}(\zeta_n)$.

You should try to do the cases $n=3,4$ by hand.

As for the group $\mathbb{Z}[\zeta_n]^\times$, an explicit subgroup of "cyclotomic units" can be constructed which has finite index.

Any book on Cyclotomic Fields (Lang, Washington) should help. For a start, you can look up Chapter VI of Fröhlich-Taylor.

$\endgroup$
7
$\begingroup$

Let me summarise what Hilbert says in his Zahlbericht about the behaviour of rational primes in the cyclotomic field $\mathbb{Q}(\zeta)$, where $\zeta$ is a primitive $l$-th root of $1$ and $l$ is an odd prime. You can read the original at the Göttingen site or a French translation at the Grenoble site.

Satz 117. The ideal $\mathfrak{l}=(1-\zeta)\mathbb{Z}[\zeta]$ is prime of residual degree $1$, and $l\mathbb{Z}[\zeta]=\mathfrak{l}^{l-1}$.

Satz 118. The discriminant of the field $\;\mathbb{Q}(\zeta)$ is $(-1)^{(l-1)/2}l^{l-2}$.

Satz 119. If $p\neq l$ is a rational prime, $f>0$ is the smallest exponent such that $p^f\equiv1\pmod l$, and $e$ is defined by $ef=l-1$, then $$ p\mathbb{Z}[\zeta]=\mathfrak{p}_1\ldots\mathfrak{p}_e, $$ where the $\mathfrak{p}_i$ are distinct prime ideals of residual degree $f$.

These results go back to Kummer (1847). All this was much before anyone dreamt of Class Field Theory.

$\endgroup$
5
  • $\begingroup$ You should really put these two answers into one answer. $\endgroup$ Jan 2, 2010 at 8:15
  • $\begingroup$ The first "answer" doesn't convey any mathematics. The second one does. $\endgroup$ Jan 2, 2010 at 8:37
  • $\begingroup$ .. Then why do you deserve double rep? $\endgroup$ Jan 2, 2010 at 13:17
  • $\begingroup$ The two answers do look somewhat different, though I can't put my finger exactly on what it is. $\endgroup$
    – Anweshi
    Jan 2, 2010 at 20:24
  • 6
    $\begingroup$ The first "answer" says that all this is part of a general theory. The second answer says that in this particular case (just as in the case of quadratic extensions), you can do things directly, and they were done much before the general theory. $\endgroup$ Jan 3, 2010 at 3:13

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.