Modul/Extmoduln/Injektive Auflösung/Definition
Ext-Modul
Es sei ein kommutativer Ring und seien und Moduln über . Es sei eine injektive Auflösung von . Dann nennt man die -te Homologie des Komplexes
den -ten Extmodul zu und . Er wird mit bezeichnet.