Die Eigenschaft, dass ein Objekt nicht projektiv ist: es erfüllt nicht die universelle Hebe‑/Split‑Eigenschaft und spaltet daher einige Erweiterungen nicht bzw. besitzt keine bestimmten Hebungen bis auf Homotopie.

Prinzip

Projektive Objekte erlauben Hebungen gegen Epimorphismen und splitten exakte Folgen; Versagen der Projektivität bedeutet, dass es Surjektionen und Diagramme gibt, für die keine Hebung existiert, oft erkennbar an nichtverschwindendem Ext^1 mit passenden Koeffizienten.

Demonstration

Ein konkretes Beispiel: Z/pZ ist kein projektiver Z‑Modul, daher gibt es Surjektionen von Z‑Moduln, für die keine Sektion in Z/pZ existiert. Strukturell zeigt ein Modul, das kein direkter Summand eines freien Moduls ist, das Versagen der Projektivität.

Fehlanwendung

Zu behaupten, «nicht projektiv» bedeute in jedem Kontext pathologisches Verhalten oder Nichtvorhandensein jeglicher Hebungen in allen Diagrammen, verkennt Nuancen: einige Hebeprobleme können für spezielle Epimorphismen oder nach Basiswechsel dennoch lösbar sein.

Konsequenz

Das Erkennen des Versagens der Projektivität zwingt zur Verwendung projektiver Auflösungen, abgeleiteter Funktoren oder alternativer Techniken (flache Hüllen, injektive Dualisierungen), um Extensions‑ und Hebeprobleme zu analysieren; es signalisiert, wo naive algebraische Konstruktionen homologisch abgesichert werden müssen.

Umkehrung

Projektivität (oder direkter Summand eines Projektiven zu sein) garantiert Hebungen und Splitter, die das Versagen aufheben: jede Erweiterung durch ein Projektiv splittet und Ext^1 mit einem projektiven Argument verschwindet.

Abgrenzung

Der Begriff ist in Kategorien mit Projektivbegriff sinnvoll (abelsche Kategorien, Moduln) ; er lässt sich nicht eins zu eins auf nichtabelsche Kontexte übertragen, in denen Hebungen anders kodiert sind. Ausgeschlossen sind Probleme, die ausschließlich mit Flachheit oder Injketivität zu tun haben.

Semantische Spannung

Zwischen Projektivität und Flachheit besteht Spannung: flache Moduln erhalten Exaktheit unter Tensor, spalten jedoch nicht notwendigerweise Erweiterungen, während projektive Moduln Erweiterungen spalten, aber in geometrischen Situationen selten sein können; sie zu verwechseln verwischt verschiedene Ausfallmodi.

Synthese

Versagen der Projektivität ist die Feststellung, dass ein Objekt die Spalt-/Hebeeigenschaft fehlt; dies ist ein homologisches Defizit, erkennbar durch Ext und zu beheben durch Auflösungen oder alternative homologische Werkzeuge; es charakterisiert genau, wo einfache algebraische Konstruktionen scheitern.