Prime ideal factorization
= 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 $\operatorname{ord}_{\mathfrak p}(x)$, almost all zero, determined by the factorization of its <principal ideal>.