Start=Hauptdivisor

MDLUL/Hauptdivisor

Ziel=Noethersches normales integres Schema/Hauptdivisor/Definition