Ein R {\displaystyle {}R} -Modul M {\displaystyle {}M} über einem kommutativen Ring R {\displaystyle {}R}
besitzt eine injektive Auflösung.