Ideals of P-adic Integers

Theorem
Let $\Z_p$ be the $p$-adic integers for some prime $p$.

Then the ideals of $\Z_p$ are the principal ideals:
 * $\quad \set{0}$
 * $\quad \forall k \in \N$, $p^k\Z_p$