Integres affines Schema/Invertierbar/Ideal/Fakt

Es sei ${}R$ ein Integritätsbereich.

Dann ist jede invertierbare Garbe auf ${}X=\operatorname {Spek} {\left(R\right)}$ isomorph zu eine Idealgarbe.

Zum Beweis, Alternativen Beweis erstellen