## [Finitistische Dimension](/de/node/63867) Definition 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 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 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 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 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 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 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 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 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.