Zum Inhalt springen

Affines Schema/Moduln/Tensorprodukt/Fakt

Aus Wikiversity

Es sei ein kommutativer Ring, es seien und Moduln über und es seien und die zugehörigen Modulgarben auf .

Dann gibt es einen kanonischen Isomorphismus