Schema/Endlicher Typ/Kohärente Garbe/Aufgabe

Es sei ${}X$ ein Schema von endlichem Typ über einem Basisschema ${}S$. Zeige, dass ${}\Omega _{X{|}S}$ ein kohärenter ${}{\mathcal {O}}_{X}$-Modul ist.

Eine Lösung erstellen