Algebra/Modul/Homomorphismenraum und Tensorierung/Fakt
Es sei ein kommutativer Ring, ein -Modul und eine kommutative -Algebra.
Dann gibt es einen natürlichen Isomorphismus
von -Moduln.
Es sei ein
kommutativer Ring,
ein
-Modul
und
eine
kommutative
-Algebra.
Dann gibt es einen natürlichen Isomorphismus
von
-Moduln.