Noethersches normales integres Schema/Hauptdivisor/Gruppenhomomorphismus/Fakt/Beweis

Beweis

Nach Fakt ist der Hauptdivisor zu in der Tat ein Weildivisor. Die Homomorphieeigenschaft folgt, bezogen auf einen fixierten Primdivisor mit dem zugehörigen diskreten Bewertungsring , aus Fakt  (1).