Kommutativer Ring/Modul/Injektive Auflösung/Fakt/Beweis
Beweis
Nach Fakt gibt es einen injektiven Modul mit . Für den Restklassenmodul gibt es entsprechend einen injektiven Modul mit , u.s.w.
Nach
Fakt
gibt es einen injektiven Modul mit
.
Für den
Restklassenmodul
gibt es entsprechend einen injektiven Modul
mit
,
u.s.w.