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

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

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

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

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

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

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

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

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.