Die Situation, dass es endlich erzeugte Module gibt, die nicht injektiv sind; endliche Erzeugung erzwingt keine Injketivität, sodass solche Module die Extension‑Hebeeigenschaften nicht erfüllen, die injektive Objekte kennzeichnen.

Prinzip

Injektivität ist eine rechts-exakte Hebeeigenschaft für Erweiterungen: ein injektives Modul nimmt Erweiterungen trivial auf. Endliche Erzeugung steht orthogonal zu dieser homologischen Eigenschaft; ohne zusätzliche Ringbedingungen impliziert geringe Größe nicht die benötigte Teilbarkeit oder Hebeeigenschaft.

Demonstration

Konkretes Beispiel: Über Z ist Z/nZ endlich erzeugt, aber nicht injektiv (injektive Z‑Module sind teilbare Gruppen wie Q/Z und Q), sodass einfache Torsionsmodule reichlich Beispiele für endlich erzeugte nichtinjektive Module liefern.

Fehlanwendung

Zu glauben, ein beliebiges endlich erzeugtes Modul sei injektiv und dies zum Spalten kurzer exakter Folgen oder zum Erweitern von Abbildungen zu nutzen; ein solcher Missbrauch zerstört homologische Argumente und Klassifikationen, die auf Injketivität beruhen.

Konsequenz

Existieren nichtinjektive endlich erzeugte Module, so müssen injektive Auflösungen eingesetzt und Ext‑Gruppen berechnet werden, um Obstruktionen zu erkennen; man ist vorsichtig mit Spaltungsbehauptungen und benötigt oft strengere Voraussetzungen (z. B. Semisimpelität), um Injketivität zu garantieren.

Umkehrung

Wäre jedes endlich erzeugte Modul injektiv (eine seltene Situation, z. B. über semisimpelnen Ringen), würden Erweiterungsprobleme trivialisiert und die homologische Algebra erheblich vereinfacht; das Vorhandensein nichtinjektiver Beispiele zeigt, dass dies die Ausnahme ist.

Abgrenzung

Die Aussage bezieht sich auf endlich erzeugte Module über einem gegebenen Ring und schließt unendlich erzeugte Module aus; sie unterscheidet Injektivität (homologische Eigenschaft) von anderen Begriffen wie Teilbarkeit und hängt vom Links/Rechts-Kontext ab.

Semantische Spannung

Spannung besteht zwischen »injektiv« und »teilbar« im Kontext abelscher Gruppen und zwischen »endlich erzeugt« und »injektive Hülle« — endlich erzeugte Module können injektive Hüllen von sehr viel größerer Größe haben, was die Diskrepanz zwischen Größe und homologischem Abschluss enthüllt.

Synthese

Die Existenz endlich erzeugter nichtinjektiver Module ist ein typisches Randphänomen, das zeigt, dass Endlichkeit nicht die Hebekraft für Erweiterungen bedeutet; es lenkt die Aufmerksamkeit auf Ext, injektive Hüllen und ringtheoretische Bedingungen, die nötig sind, um Spaltung und Erweiterungsergebnisse wiederzuerlangen.