Tensorprodukt/Funktorialität im Modul/Fakt

Es sei ein kommutativer Ring und seien -Moduln. Dann gelten folgende Aussagen.

  1. Zu einem -Modulhomomorphismus gibt es einen natürlichen -Modulhomomorphismus .
  2. Zu einer exakten Sequenz

    von -Moduln ist auch

    exakt.