Take the 2-minute tour ×
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.

Suppose that K is a finite extension over $\mathbb{Q}$. Let $p$ be a prime in $\mathbb{Q}$, let $p\mathcal{O}_K=\mathfrak{P}_1\ldots\mathfrak{P}_n$ be its prime decomposition in $\mathcal{O}_K$, then is it true that any prime ideal in $\mathcal{O}_K$ above $p$ is a factor in the decomposition of $p$?

share|improve this question
    
In a word, yes. –  Robin Chapman Nov 18 '10 at 11:28

2 Answers 2

Yes. I suppose that the definition of a prime ideal $\mathcal{P}$ being "above $p$" you are using is $\mathcal{P} \cap \mathbb{Z} = (p)$. From this it is clear that if $\mathcal{P}$ lies above $p$, then it contains $p\mathbb{Z}$, and -- since it is an ideal -- hence also $p \mathcal{O}_K$. But recall that in a Dedekind domain "to contain is to divide", hence $\mathcal{P}$ divides $p\mathcal{O}_K$ and appears in the (unique!) prime factorization of $\mathcal{O}_K$.

Note that this does not require that $K/\mathbb{Q}$ be Galois (as appears in the title but not the body of the question), and it has nothing to do with algebraic number fields per se: in general, for a finite extension of Dedekind domains $S/R$, the prime ideals of $S$ lying over a given prime $\mathfrak{p}$ of $R$ are exactly the ones appearing in the factorization of $\mathfrak{p}S$.

share|improve this answer
    
Moreover, a finite field extension is not necessarily a Galois extension. –  awllower Feb 27 '11 at 14:56
    
And we can in fact find an ideal such that the product of the ideal $\mathfrak{P}$ and that ideal is exactly the ideal $\mathfrak{p}$ if the inclusion holds to be true. –  awllower Feb 27 '11 at 14:59

HINT $\rm\ \ P \supset \mathfrak{P}_1\ldots\mathfrak{P}_n\ \Rightarrow\ P \supset \mathfrak P_i\ $ for some $\rm\:i\:.\ $ This is true for any prime ideal $\rm\ P\ $ in any ring. Further $\rm\ P = \mathfrak P_i\ $ when the $\ \mathfrak P_i\ $ are maximal, e.g. in one dimensional domains, i.e. domains where nonzero prime ideals are maximal.

share|improve this answer

Your Answer

 
discard

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