MDLUL/Primfaktorzerlegung (Hauptidealbereich)

MDLUL/Primfaktorzerlegung (Hauptidealbereich)

Start=Primfaktorzerlegung (Hauptidealbereich)

Ziel=Faktorieller Bereich/Kanonische Primfaktorzerlegung/Definition