Jedes Element f ∈ K {\displaystyle {}f\in K} , f ≠ 0 {\displaystyle {}f\neq 0} , besitzt eine im Wesentlichen eindeutige Produktzerlegung
mit einer Einheit u ∈ R {\displaystyle {}u\in R} und ganzzahligen Exponenten r i {\displaystyle {}r_{i}} .
