Hauptidealbereich/Teilbarkeit/Charakterisierung mit Primexponenten/Fakt
Erscheinungsbild
Es sei ein Hauptidealbereich und seien und zwei Elemente mit Primfaktorzerlegungen
(wobei die Exponenten auch sein können und Einheiten sind). Dann gilt genau dann, wenn für alle Exponenten ist.