Injektivität

Ein R-Modul E ist injektiv, wenn jede R-lineare Abbildung von einem Untermodul eines beliebigen Moduls nach E auf das gesamte Modul fortgesetzt werden kann. Äquivalent ist Hom_R(−,E) exakt bzw. Ext1_R(−,E) = 0; Injketive sind oft Kogeneratoren und erfüllen Baer-ähnliche Erweiterungskriterien.