Injektiver Modul/Kurze exakte Sequenz/Spaltung/Fakt

Es sei ein injektiver Modul über einem kommutativen Ring .

Dann spaltet jede kurze exakte Sequenz

von -Moduln.