Integres Schema/Invertierbar/Einbettung in Funktionenkörper/Fakt

Es sei ${}{\left(X,{\mathcal {O}}_{X}\right)}$ ein integres Schema.

Dann ist jede invertierbare Garbe auf ${}X$ isomorph zu einem ${}{\mathcal {O}}_{X}$-Untermodul der konstanten Funktionenkörpergarbe.

Zum Beweis, Alternativen Beweis erstellen