Hauptidealbereich/Element/Primfaktorzerlegung/Situation

Es sei ${}R$ ein Hauptidealbereich und ${}f\in R$, ${}f\neq 0$, ein Element mit kanonischer Primfaktorzerlegung

${}f=p_{1}^{r_{1}}{\cdots }p_{k}^{r_{k}}\,$