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 .
Einen Beweis erstellen