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:
 * $*\quad \set{0}$
 * $*\quad \forall k \in \N_{>0}$, $p^k\Z_p$