Homologisches Invariant, definiert als Supremum der projektiven Dimensionen jener Moduln (oder Objekte), die eine endliche projektive Dimension besitzen; die 'kleine' finitistische Dimension bezieht sich auf endlich erzeugte Module.

Prinzip

Misst die maximale endliche projektive Komplexität, die tatsächlich unter Modulen mit endlicher projektiver Auflösung auftritt, wobei Module mit unendlicher projektiver Dimension ausgeklammert werden.

Demonstration

Für eine Artin‑Algebra Λ gilt fin.dim(Λ) = sup{pd M | M endlich erzeugter Λ‑Modul, pd M < ∞}. In vielen Klassen von Algebren ist dieses Supremum endlich; die Finitheit ist eine zentrale Vermutung in der Darstellungstheorie.

Fehlanwendung

Die finitistische Dimension mit der globalen Dimension zu verwechseln; die globale Dimension betrachtet alle Module und kann unendlich sein, während die finitistische Dimension nur Module mit endlicher projektiver Dimension betrachtet.

Konsequenz

Die Endlichkeit der finitistischen Dimension liefert einheitliche Schranken für projektive Dimensionen von Modulen mit endlicher Auflösung und hat Folgen für das Verschwinden von Ext‑Gruppen und homologische Vermutungen.

Umkehrung

Ist die finitistische Dimension unendlich, so existiert keine einheitliche Schranke für endliche projektive Dimensionen, und die homologische Kontrolle über Module mit endlichen Auflösungen geht verloren.

Abgrenzung

Definiert durch die Einschränkung auf Module mit endlicher projektiver Dimension; das Invariant hängt von der umgebenden Kategorie ab (z. B. endlich erzeugte Module vs. alle Module) und von Voraussetzungen wie Artin‑ oder Noether‑Bedingungen.

Semantische Spannung

Spannung zwischen der 'kleinen' (endlich erzeugte Module) und der 'großen' Version (alle Module): sie können unterschiedlich sein und zu verschiedenen homologischen Phänomenen führen.

Synthese

Die finitistische Dimension fasst die größte endliche projektive Komplexität in der Kategorie zu einem einzigen Invariant zusammen und zeigt an, ob endliche projektive Auflösungen einheitlich beschränkt sind.