## [Existenz Eines Nichtprojektiven Endlich Erzeugten Moduls](/de/node/64027) Definition Die Situation, dass es endlich erzeugte Module gibt, die nicht projektiv sind; endliche Erzeugung allein garantiert keine Projektivität, sodass endlich erzeugte Module die hebungs- oder zerlegungseigenschaften projektiver Module vermissen können. ## Prinzip Prinzip Projektivität ist eine Hebungs-/Zerlegungseigenschaft im Zusammenhang mit der Exaktheit des Hom-Funktors; endlich erzeugt ist eine Größenbeschränkung. Das Prinzip ist, dass Größenbeschränkungen ohne stärkere ringtheoretische Voraussetzungen keine homologische Hebeeigenschaft implizieren. ## Demonstration Demonstration Konkretes Beispiel: Über dem Ring Z ist das Modul Z/nZ endlich erzeugt, aber nicht projektiv (projektive Z‑Module sind frei), sodass die Existenz endlich erzeugter nichtprojektiver Module in vielen nicht-semisimplen oder nicht-regulären Ringen sofort auftritt. ## Fehlanwendung Fehlanwendung Zu glauben, alle endlich erzeugten Module seien projektiv, oder Zerlegungsargumente anzuwenden, die Projektivität voraussetzen, ohne diese zu prüfen; dies führt zu fehlerhaften Zerlegungen oder falschen Hebungen von Morphismen. ## Konsequenz Konsequenz Existieren solche Module, so muss man homologische Werkzeuge (Ext, projektive Auflösungen, Tor) einsetzen, um Obstruktionen zu studieren, projektive Deckungen zu konstruieren, falls vorhanden, und bei Schlüssen, die Projektivität erfordern, vorsichtig zu sein. ## Umkehrung Umkehrung Im Gegensatz dazu vereinfacht sich die Modultheorie stark, wenn jedes endlich erzeugte Modul projektiv ist (z. B. über halb-einfachen artinschen Ringen): kurze exakte Folgen spalten und die Klassifikation reduziert sich auf direkte Summen projektiver Module. ## Abgrenzung Abgrenzung Die Aussage betrifft endlich erzeugte Module über einem bestimmten Ring; sie schließt unendlich erzeugte Module aus und fokussiert Projektivität als homologische Eigenschaft, im Unterschied zur stärkeren Eigenschaft Freiheit. ## Semantische Spannung Semantische Spannung Spannung besteht zwischen »projektiv« und »frei« sowie zwischen »endlich erzeugt« und »endlich präsentiert« — jede Paarung bringt Feinheiten mit sich: endlich erzeugt impliziert nicht projektiv, und projektiv impliziert nicht stets frei ohne zusätzliche Voraussetzungen. ## Synthese Synthese Die Existenz endlich erzeugter nichtprojektiver Module ist ein typisches Randphänomen, das zeigt, dass Größenbeschränkung keine günstigen homologischen Eigenschaften sicherstellt; es motiviert den Einsatz von Auflösungen, Ext-Theorie und weitergehenden Ringannahmen, um Zerlegungs- und Spaltungsresultate zurückzugewinnen.