Modul/Extmoduln/Unabhängigkeit von injektiver Auflösung/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein kommutativer Ring und seien und Moduln über .

Dann sind die -ten Extmoduln unabhängig von der für gewählten injektiven Auflösung.

Zum Beweis, Alternativen Beweis erstellen