Noethersches Schema/Offenes Unterschema/Quasikohärenter Modul/Vorschub/Aufgabe

Es sei ${}(X,{\mathcal {O}}_{X})$ ein noethersches Schema und sei ${}U\subseteq X$ eine offene Teilmenge. Es sei ${}{\mathcal {M}}$ ein quasikohärenter ${}{\mathcal {O}}_{U}$-Modul auf ${}U$. Zeige, dass der Vorschub ${}i_{*}{\mathcal {M}}$ ein quasikohärenter Modul auf ${}X$ ist.

Eine Lösung erstellen