MDLUL/Hauptdivisor (normaler Bereich)

Start=Hauptdivisor (normaler Bereich)

MDLUL/Hauptdivisor (normaler Bereich)

Ziel=Normaler noetherscher Bereich/Hauptdivisor/Definition