Tensorprodukt/Moduln/Nenneraufnahme/Ideal/Fakt

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

  1. Zu einem multiplikativen System ist .
  2. Zu einem Ideal ist .