Algebra/Modul/Homomorphismenraum und Tensorierung/Fakt

Aus Wikiversity

Es sei ein kommutativer Ring, ein -Modul und eine kommutative -Algebra.

Dann gibt es einen natürlichen Isomorphismus

von -Moduln.