Suppose we have a number field $K$ with ring of integers $\mathcal O_K$. Let $\frak p$ be a prime ideal in $K$ lying over $p\in \mathbb Q$. Then, using the $\frak p$-adic norm, we may define the $p$-adic ring of integers $\mathbb Z_{\frak p} = \{ x\in K: |x|_{\frak p}\leq 1\}$. I know that $\mathcal O_K \not= \mathbb Z_{\frak p}$, but is $\mathcal O_K \subset \mathbb Z_{\frak p}$?
Asked
Active
Viewed 222 times
3
-
For $x\in\mathcal O_K$, by definition, we have $x\mathcal O_K = \prod_{\mathfrak p} \mathfrak p^{\nu_{\mathfrak p}(x)}$, with $\nu_{\mathfrak p}(x) \geq 0$, that is, $|x|_{\mathfrak p} \leq 1$. – Thomas Poguntke Apr 25 '15 at 07:31
1 Answers
1
Yes. As a DVR $\Bbb{Z}_{\mathfrak{p}}$ is integrally closed in its field of fractions $K$. It contains $\Bbb{Z}$ so it also contains the integral closure of $\Bbb{Z}$ in $K$ which is ...
Jyrki Lahtonen
- 140,891