Kommutativer Ring/Modul/Injektive Auflösung/Fakt/Beweis
Erscheinungsbild
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.