Noethersches normales integres Schema/Hauptdivisor/Gruppenhomomorphismus/Fakt

Es sei ein normales noethersches integres Schema mit Funktionenkörper .

Dann ist die Zuordnung

ein Gruppenhomomorphismus.