Affines Schema/Moduln/Tensorprodukt/Fakt
Erscheinungsbild
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
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