Affines Schema/Modul/Hauptmenge/Nenneraufnahme/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei das affine Schema zu einem kommutativen Ring und sei ein -Modul mit der zugehörigen Modulgarbe -Modul . Es sei .

Dann ist

Insbesondere ist der globale Schnittmodul gleich .

Zum Beweis, Alternativen Beweis erstellen