Injektiver Modul/Extmoduln/Trivial/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein injektiver Modul über dem kommutativen Ring .

Dann ist

für jeden -Modul und jedes .

Zum Beweis, Alternativen Beweis erstellen