Integres affines Schema/Noethersch/Faktoriell/Offene Teilmenge/Picardgruppe/Fakt

Es sei ${}R$ ein noetherscher faktorieller Integritätsbereich und ${}U\subseteq \operatorname {Spek} {\left(R\right)}$ eine offene Teilmenge.

Dann ist die Picardgruppe von ${}U$ trivial.

Zum Beweis, Alternativen Beweis erstellen