Tensorprodukt/Moduln/Nenneraufnahme/Ideal/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

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