Tensorprodukt/Funktorialität im Modul/Fakt
Es sei ein kommutativer Ring und seien -Moduln. Dann gelten folgende Aussagen.
- Zu einem -Modulhomomorphismus gibt es einen natürlichen -Modulhomomorphismus .
- Zu einer
exakten Sequenz
von -Moduln ist auch
exakt.