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