Es sei R {\displaystyle {}R} ein noetherscher faktorieller Integritätsbereich und U ⊆ Spek ( R ) {\displaystyle {}U\subseteq \operatorname {Spek} {\left(R\right)}} eine offene Teilmenge.
Dann ist die Picardgruppe von U {\displaystyle {}U} trivial.
