Modul/Extmoduln/Rechtsderiviert/Definition

Ext-Modul

Es sei ein kommutativer Ring und ein -Modul. Dann nennt man den rechtsabgeleiteten Funktor zum Funktor (von der Kategorie der -Moduln in sich) den Ext-Funktor. Er wird mit bezeichnet.