1
$\begingroup$

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$?

  • 0
    In a word, yes.2010-11-18

2 Answers 2