8
$\begingroup$

I am doing exercise 3.24 of Marcus which is the following.

Let $L,K$ be number fields with $L/K$ a finite extension (of degree $[L:K] = n$) with $R = \mathcal{O}_K$ and $S = \mathcal{O}_L$. A prime $P$ of $R$ is said to be totally ramified in $L$ iff $PS = Q^n$ for some prime $Q$ of $S$.

(a) Show that if $P$ is totally ramified in $L$ then it is totally ramified in $M$ for any intermediate field $M$, $K \subseteq M \subseteq L$.

(b) If $P$ is totally ramified in $L$ and unramified in another extension $L'$ of $K$ then $L \cap L'= K$.

(c) Give a new proof that $\Bbb{Q}(w)$ where $w = e^{2\pi i/m}$ has degree $\varphi(m)$ over $\Bbb{Q}$ (First do it for $m = p^r$ by using the fact that $(p) = (1- w)^{\varphi(m)}$ and then build up to any $m$ by using (b) above.

Now I have done (a) and (b) but when I come to (c) I fail to see how the problem is essentially circular. Even in the case $m = p^r$, I would have to use the fact that the ring of integers of $\Bbb{Q}(w)$ is $\Bbb{Z}[w]$. The proof of this fact already uses knowledge of $[\Bbb{Q}(w) : \Bbb{Q}]$ being equal to $\varphi(m)$. Am I missing something here?

Thanks.

2 Answers 2

2

You can get the equality of ideals $(p)=(1-w)^{\varphi(p^r)}$ (the case $m=p^r$) in the ring of integers of $\mathbf{Q}(w)$ without knowing precisely what that ring is (just that $w$ is in it and that for $r,s$ relatively prime, $(1-w^r)/(1-w^s)$ is a unit in it). Since $w$ is a root of the cyclotomic polynomial, which has degree $\varphi(p^r)$, the degree $[\mathbf{Q}(w):\mathbf{Q}]$ is at most $\varphi(p^r)$. On the other hand, from the formula $[\mathbf{Q}(w):\mathbf{Q}]=efg$, where $e,f,g$ are the usual invariants attached to $p$ for the Galois extension $\mathbf{Q}(w)/\mathbf{Q}$, the number of prime ideal factors of $(p)$ in the ring of integers of $\mathbf{Q}(w)$ is at most $[\mathbf{Q}(w):\mathbf{Q}]$. From the equality above, the number of prime ideal factors is at least $\varphi(p^r)$. So $\varphi(p^r)\leq[\mathbf{Q}(w):\mathbf{Q}]$. So this gives you the prime-power case.

Note that this argument doesn't use (b), but you will use it when extending to the case of arbitrary composite $m$.

  • 0
    I have posted an answer below, though I am quite sure that in using the theorem at the bottom of my answer I am using the fact that the ring of integers of $\Bbb{Q}(\zeta_m)$ is $\Bbb{Z}[\zeta_m]$ at least in the case that $m$ is a prime power. But I think this is ok because we have already ***proven*** that the degree of $\Bbb{Q}(\zeta_m)/\Bbb{Q}$ is $\varphi(m)$ in the case of $m$ being a prime power.2012-12-23
0

So after the discussion with Keenan above here is how we settle the case when $m = p^r$. Now by definition the $m$ - th cyclotomic polynomial

$\Phi_m(x) = \prod_{1\leq k \leq m-1 : (m,k) = 1}(x- \zeta_m^k) $

and since $\zeta_m$ is a root of this polynomial this means that $[\Bbb{Q}(\zeta_m):\Bbb{Q}] \leq \varphi(m)$, the degree of the $m$- th cyclotomic polynomial. Now because $\Bbb{Q}(\zeta_m)$ is a Galois extension we have that the ramification indices of all primes that lie above $p$ in $\mathcal{O}_{\Bbb{Q}(\zeta_m)}$ are all equal, similarly for the inertia degrees. So we can say that

$[\Bbb{Q}(\zeta_m):\Bbb{Q}] = efg$

where $e$ is the ramification index of $p$, $f$ the inertia degree and $g$ the number of distinct prime ideals in the prime factorisation of $(p)$ in $\mathcal{O}_{\Bbb{Q}(\zeta_m)}$. Now it is clear that we have inclusions $\Bbb{Z} \subseteq \Bbb{Z}[\zeta_m] \subseteq \mathcal{O}_{\Bbb{Q}(\zeta_m)}.$

Since the ramification index is multiplicative in towers, we have

$e = e(Q|(1-w))e((1-w)|p) = e(Q|(1-w))\varphi(m)$

where $Q$ is any prime ideal of $\mathcal{O}_{\Bbb{Q}(\zeta_m)}$ lying over $(1-w)$ and hence over $p$. This means that the number $e$ and hence the number $[\Bbb{Q}(\zeta_m) : \Bbb{Q}] \leq \varphi(m)$ and so we conclude that

$[\Bbb{Q}(\zeta_m) : \Bbb{Q}] = \varphi(m).$

Now for the general case. By the counting formula that I invoked in one of my comments to Keenan's answer above, it is enough to prove that

  1. $\Bbb{Q}(\zeta_{p^r}) \cap \Bbb{Q}(\zeta_{l^s}) = \Bbb{Q}$.
  2. $\Bbb{Q}(\zeta_{p^r})\Bbb{Q}(\zeta_{l^s}) = \Bbb{Q}(\zeta_{p^rl^s}).$

I will only prove the first of these for the second is a standard fact concerning cyclotomic extensions. By (b) to prove the first of these we need to show that if $p$ is a prime not equal to $l$, then $(p)$ is unramified in $\Bbb{Q}(\zeta_{l^s})$ for any $s \geq 1$. To do this we recall the following fact from algebraic number theory:

Let $p$ be a prime in $\Bbb{Z}$ and suppose $p$ is ramified in a number ring $R$. Then $p |\textrm{disc}(R)$.

We already know that $\textrm{disc}(\zeta_{l^s})$ divides $l^{s\varphi(l^s)}$ and so $\textrm{disc}(\zeta_{l^s})$ is a power of $l$. Since $p$ does not divide any power of $l$ by the theorem above $p$ is unramified in $\Bbb{Q}(\zeta_{l^s})$.

  • 0
    Actually I think this will follow from the fact that the free abelian group of rank $\varphi(p^r)$ on $1,w,\ldots,w^{\varphi(p^r) -1}$ is contained in the full ring of integers, which is free abelian of the same rank as well.2012-12-23