In einem Hauptidealbereich lässt sich jede Nichteinheit a ≠ 0 {\displaystyle {}a\neq 0} als ein Produkt von irreduziblen Elementen darstellen.
