Kommutativer Ring/Modul/Injektive Auflösung/Fakt/Beweis

Beweis

Nach Fakt gibt es einen injektiven Modul ${}I_{0}$ mit ${}M\subseteq I_{0}$ . Für den Restklassenmodul ${}I_{0}/M$ gibt es entsprechend einen injektiven Modul ${}I_{1}$ mit ${}I_{0}/M\subseteq I_{1}$ , u.s.w.