Schema/Lokal faktoriell/Picardgruppe und Divisorenklassengruppe/Fakt

Es sei ein lokal faktorielles noethersches integres Schema.

Dann stimmt die Divisorenklassengruppe von mit der Picardgruppe von überein.