## [Existenz Eines Nichtinjektiven Endlich Erzeugten Moduls](/de/node/64029) Definition 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 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 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 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 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 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 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 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 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.