##  [Injektivität](/de/node/63861) 

 Definition

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

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

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

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

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

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

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

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

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.