3
$\begingroup$

Show that the norm of a prime ideal in a number field $K$ is a power of some prime number, i.e., if $P$ is a prime ideal in $O_K$ for some number field $K$, then $N_\mathbb{Q}^K(P)=p^n$ for some prime number $p$ and some positive integer $n$.

Here is my approach:

Any prime ideal lies over some prime number $p$. If we consider the ideal decomposition of $pO_K$, and apply the norm operator, we get the following:

$pO_K=p_1^{e_1} \cdots p_r^{e_r}$ for some $r$ since $O_K$ is a Dedekind domain. Applying the norm operator to this, we get

$N(pO_K)=N(p_1^{e_1} \cdots p_r^{e_r}) = N(p_1^{e_1})\cdots N(p_r^{e_r})$ since the norm has the multiplicative property.

This is where I am unsure if I have completely answered the question because I found a list of primes as opposed to the suggested $p^n$ in the problem statement.

Thanks in advance, any help is greatly appreciated.

$\endgroup$
  • $\begingroup$ I removed the noise from this post. Refer to the meta thread for further information. $\endgroup$ – AlexR Nov 10 '14 at 14:55
  • $\begingroup$ Thank you, I read the post and understand why greetings should not begin in the posts. $\endgroup$ – Jamil_V Nov 10 '14 at 15:04
5
$\begingroup$

By definition, the norm $N(P)$ is the cardinality of the field $\mathcal{O}_K/P$. Since this is a finite field (the ideal norm is always finite in the ring of integers $\mathcal{O}_K$), it has characteristic $p$ with a prime $p$. It follows that $$ N(P)=p^{[(\mathcal{O}_K/P):\mathbb{F}_p]}. $$ Here $n=[(\mathcal{O}_K/P):\mathbb{F}_p]$ is the degree of the field extension. For the element norm $N_{\mathbb{Q}}^{K}(p)$ we have, with $P=(p)$, that $N(P)=\mid N_{\mathbb{Q}}^{K}(p)\mid $.

$\endgroup$
  • $\begingroup$ So in this context, the $\mathbb{F}_p$ corresponds to $\mathbb{Q}$ in my problem statement? $\endgroup$ – Jamil_V Nov 10 '14 at 17:09
  • $\begingroup$ The element norm is $N_{\mathbb{Q}}^{K}(p)$, and it agrees with the ideal norm $N(P)$ up to sign, where $P=(p)$. So it is enough to compute $N(P)$. $\endgroup$ – Dietrich Burde Nov 10 '14 at 18:37
2
$\begingroup$

For a prime ideal $\mathfrak{P}$ in $\mathcal{O}_K$, $\mathfrak{P} \cap \mathbb{Z} = p\mathbb{Z}$, where $p$ is a prime in $Z$. So, naturally, there exists a rational prime $p \in \mathfrak{P}$. Then, $(p) \subset \mathfrak{P}$. Since $\mathcal{O}_K$ is a Dedekind domain, this yields $(p) = \mathfrak{P} I$ for some other ideal $I$ in $\mathcal{O}_K$. Considering the norms on both sides, we could see that $N(\mathfrak{P})$ divides $N((p))$, which is $p^n$ where $n = [K:\mathbb{Q}]$. Therefore, the possible values of $N(\mathfrak{P})$ are $p, p^2,...,p^n$ .

$\endgroup$
  • $\begingroup$ I upvote but I think the claim really needs to be proven before the proof that $\mathfrak{a} \subset \mathfrak{P} \implies \mathfrak{a} = \mathfrak{b} \mathfrak{P} $ whenever $\mathfrak{P}$ is a maximal ideal, which is the core of the proof of unique factorization of ideals $\endgroup$ – reuns Dec 18 '17 at 9:19
  • $\begingroup$ Could you provide me with a more elementary approach or a reference to it? ( I could not follow this part in the first answer: $N(P)=p^{[(\mathcal{O}_K/P) : \mathbb{F}_p]}$ and how $[(\mathcal{O}_K/P) : \mathbb{F}_p]$ is equal to the degree of the extension.) $\endgroup$ – Musk Dec 18 '17 at 9:51
  • $\begingroup$ Definition : $N(\mathfrak{a}) = \# \mathcal{O}_K/\mathfrak{a}$. For every $a\ne 0$, $\mathcal{O}_K/(a)$ is a finite ring. If $\mathfrak{P}$ is a proper prime ideal then $\mathcal{O}_K/\mathfrak{P}$ is a finite integral domain, thus a finite field, thus of characteristic $p$ prime and a $\mathbb{Z}/(p)$ vector-space, so it has $p^k$ elements. $\endgroup$ – reuns Dec 18 '17 at 10:05
  • $\begingroup$ Thanks a lot! But, how do we view $\mathcal{O}_K/\mathfrak{P}$ as an extension of $\mathbb{Z}/(p)$? And, is $k$ easy to be determined for a given $\mathcal{O}_K$ and $\mathfrak{P}$? It has to be one of the values: $p,...,p^n$. For the determination of $k$, I believe ramification theory of primes in $\mathcal{O}_K$ would be helpful. $\endgroup$ – Musk Dec 18 '17 at 10:55
  • $\begingroup$ $\mathcal{O}_K/\mathfrak{P}$ is a finite field, thus of characteristic $p$ prime, thus it contains $\mathbf{F}_p=\mathbb{Z}/(p)$ as the subring generated by $1$. Therefore it is a $k$-dimensional $\mathbf{F}_p$ vector space and it has $p^k$ elements. Yes $k$ is given by the splitting of $(p)$ in a product of prime ideals, ie. by the factorization of $I \bmod p$ where $\mathcal{O}_K \cong \mathbb{Z}[x_1,\ldots,x_m]/I$. $\endgroup$ – reuns Dec 18 '17 at 11:59

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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