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.

Prinzip

Eigenschaft des Fortsetzens von Abbildungen: injektive Module nehmen Abbildungen auf Teilstrukturen ohne Hindernis auf, dienen als Aufnahmepunkte für Erweiterungen und erlauben es, Erweiterungsprobleme durch Abbildungen in Injketive zu testen.

Demonstration

Als Z-Modul ist Q/Z ein injektiver Kogenerator: jede Homomorphismus, der auf einer Untergruppe einer abelschen Gruppe definiert ist, lässt sich nach dem Baer-Kriterium nach Q/Z fortsetzen. Über einem Körper sind alle Vektorräume injektiv und projektiv, daher trivialisieren sich Erweiterungsprobleme.

Fehlanwendung

Injektivität mit Monomorphie oder mit Projektivität zu verwechseln; injektive Module müssen nicht frei oder endlich erzeugt sein, und sie einfach als Duale der Projektiven zu betrachten kann bei nichtselbstdualen Ringen irreführend sein.

Konsequenz

Genügend injektive Module zu haben erlaubt das Berechnen rechter abgeleiteter Funktoren wie Ext durch injektive Auflösungen; injektive Hüllen liefern kanonische minimale Erweiterungen und sind zentral in Klassifikationen und Zerlegungssätzen.

Umkehrung

Nichtinjektive Module verhindern Erweiterungen: Es gibt Abbildungen von Untermodulen, die sich nicht fortsetzen lassen, wodurch nichttriviale Erweiterungsklassen entstehen und rechte abgeleitete Konstruktionen notwendig werden, um das Versagen zu messen.

Abgrenzung

Injektivität ist eine kategoriale und homologische Eigenschaft, die stark vom umgebenden Ring abhängt; das Vorhandensein injektiver Hüllen und genügend injektiver Objekte gilt in Modul-Kategorien über Ringen, kann aber in exotischeren abelschen Kategorien ohne Zusatzannahmen scheitern.

Semantische Spannung

Spannung zwischen 'injektiv' im algebraischen Sinn des Fortsetzens und dem topologischen/allgemeinen Gebrauch von 'injektiv' als 'eineindeutig' (one-to-one); hier bezeichnet injektiv die Fortsetzbarkeit von Abbildungen, nicht die Injektivität von Morphismen. Auch Spannung mit Projektivität: duale Begriffe mit Asymmetrien bei nichtselbstdualen Ringen.

Synthese

Injektivität ist die Eigenschaft, dass jede Abbildung von einem Untermodul auf das ganze Modul erweitert werden kann; sie ist das homologische Gegenstück zur Projektivität und bildet die Grundlage für injektive Auflösungen, Hüllen und Erweiterungstheorie.