Kommutativer Ring/Modul/Injektive Auflösung/Fakt

Satz über injektive Auflösungen von Moduln

Ein -Modul über einem kommutativen Ring

besitzt eine injektive Auflösung.