Kommutativer Ring/Modul/Injektiver Modul/Fakt

Zu einem ${}R$-Modul ${}M$ über einem kommutativen Ring ${}R$

gibt es einen injektiven Modul ${}I$ mit ${}M\subseteq I$.

Zum Beweis, Alternativen Beweis erstellen