##  [Finitistic Dimension](/finitistic-dimension-0) 

 Definition

The homological invariant defined as the supremum of projective dimensions of modules (or objects) that have finite projective dimension; often called the small finitistic dimension when taken over finitely generated modules.

 

 

 

 

 

 





## Principle

Principle

Measure the maximal finite projective complexity that actually occurs among modules with finite projective resolution, ignoring modules of infinite projective dimension.

 

 

 

 

 





## Demonstration

Demonstration

For an Artin algebra Λ, the finitistic dimension fin.dim(Λ) = sup{pd M | M finitely generated Λ-module, pd M < ∞}. In many classes of algebras this supremum is finite; the finiteness is a central conjecture in representation theory.

 

 

 

 

## Misapplication

Misapplication

Confusing finitistic dimension with global dimension; global dimension considers all modules and may be infinite while the finitistic dimension only uses those with finite projective dimension.

 

 

 

 

 





## Consequence

Consequence

Finiteness of the finitistic dimension yields uniform bounds on projective dimensions of modules that admit finite resolutions and has implications for the vanishing of Ext groups and homological conjectures.

 

 

 

 

## Reversal

Reversal

If the finitistic dimension is infinite, there is no uniform bound on finite projective dimensions, and homological control for modules with finite resolutions breaks down.

 

 

 

 

 





## Boundary

Boundary

Defined by restricting to modules with finite projective dimension; the invariant depends on the ambient category (e.g. finitely generated modules vs all modules) and on hypotheses like Artin or Noetherian conditions.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension between 'small' (finitely generated modules) and 'big' (all modules) versions: they can differ and lead to different homological behaviors and conjectures.

 

 

 

 

 





## Synthesis

Synthesis

The finitistic dimension compresses the largest finite projective complexity occurring in the category into a single invariant that highlights whether finite projective resolutions are uniformly bounded.