Affines Schema/Integer/Strukturgarbe/Funktionenkörper/Erste Kohomologie/Fakt/Beweis

Beweis

Wir betrachten die kurze exakte Sequenz von -Moduln

und die zugehörige, nach Fakt exakte Sequenz von quasikohärenten Garben

Insbesondere gilt

und ist die konstante Garbe zum Funktionenkörper. Die globale Auswertung dieseer Garbensequenz ergibt die Ausgangssequenz. Aus Fakt folgt die Aussage.