Prime ideal factorization

Every nonzero ideal of the ring of integers of a number field factors uniquely as a finite product of nonzero prime ideals. Thus each $x\in K^{\times }$ has integer valuations ${\mathrm{ord}}_{\mathfrak{p}}(x)$, almost all zero, determined by the factorization of its principal ideal.