Die minimale Länge n einer projektiven Auflösung ... → P_n → ... → P_0 → M → 0 eines Moduls M in einer abelschen Kategorie mit genügend projektiven Objekten; sie misst, wie weit M davon entfernt ist, projektiv zu sein (projektive Dimension 0), indem sie die benötigten projektiven Schritte zählt.

Prinzip

Prinzip der Auflösungs­länge: Die homologische Komplexität eines Objekts lässt sich durch die kürzestmögliche Kette projektiver Objekte, die es auflöst, quantifizieren; endliche projektive Dimension hängt oft mit Tiefe- und Regularitätseigenschaften des umgebenden Rings zusammen (z. B. Auslander–Buchsbaum-Formel in der lokalen Algebra).

Demonstration

Ein projektiver Modul hat projektive Dimension 0. Über einem regulären lokalen Ring der Dimension d hat jeder endlich erzeugte Modul projektive Dimension höchstens d, und Module mit endlicher projektiver Dimension weisen Verschwinden von Ext jenseits dieser Schranke auf, was homologische Klassifikationen ermöglicht.

Fehlanwendung

Die projektive Dimension mit Castelnuovo–Mumford-Regulärität oder mit injektiver oder flacher Dimension verwechseln; die Endlichkeit der projektiven Dimension annehmen, ohne Voraussetzungen wie Noethersches oder das Vorhandensein genügend projektiver Objekte zu prüfen.

Konsequenz

Die Kenntnis der projektiven Dimension liefert konkrete Ext-Verschwindungsergebnisse, schränkt das Verhalten von Syzygien ein und beeinflusst Berechnungen in der abgeleiteten Kategorie; Endlichkeit der projektiven Dimension kann Regularitätseigenschaften des Rings oder Schranken für andere homologische Invarianten implizieren.

Umkehrung

Der Wechsel zur injektiven oder flachen Dimension kehrt die Auflösungsperspektive um (Koresolutionen oder flache Auflösungen) und betont duale oder tensorielle homologische Eigenschaften statt projektiver Aufbau-Schritte.

Abgrenzung

Definiert, wenn projektive Objekte in ausreichender Zahl existieren (z. B. Moduln über Ringen); in Kategorien ohne genügend Projektive oder für Komplexe ersetzt man projektive Dimension durch projektive Amplitude oder analoge abgeleitete Invarianten. Die projektive Dimension unterscheidet sich von der globalen Dimension, die das Supremum über alle Module ist.

Semantische Spannung

Spannung zur globalen Dimension und zu Regularitätsbegriffen: Die projektive Dimension ist ein objektspezifisches Längenmaß, während die globale Dimension eine ringweite Obergrenze darstellt; sie steht außerdem in Wechselwirkung mit Regularitätsmetriken, die Gradwachstum statt Auflösungs­länge messen, was Interpretations­trade-offs erzeugt.

Synthese

Die projektive Dimension ist die minimale Anzahl projektiver Bausteine, die zur Konstruktion eines Moduls nötig sind: als homologische Länge übersetzt sie algebraische Komplexität in Ext‑Verschwindungsgrenzen und liefert eine fundamentale Maßeinheit für Klassifizierungen in der homologischen Algebra.