Kommutative Algebren/Injektiver Modul/Beziehung/Fakt

Es sei $R$ ein kommutativer Ring, $S$ eine kommutative $R$-Algebra und $I$ ein injektiver $R$-Modul.

Dann ist auch der $S$-Modul ${\mathrm{Hom}}_R(S,I)$ injektiv.

Zum Beweis, Alternativen Beweis erstellen