Schema/Lokal faktoriell/Picardgruppe und Divisorenklassengruppe/Fakt

Es sei ${}X$ ein lokal faktorielles noethersches integres Schema.

Dann stimmt die Divisorenklassengruppe von ${}X$ mit der Picardgruppe von ${}X$ überein.

Zum Beweis, Alternativen Beweis erstellen