Injektiver Modul/Extmoduln/Trivial/Fakt

Aus Wikiversity

Es sei ein injektiver Modul über dem kommutativen Ring .

Dann ist

für jeden -Modul und jedes .