##  [Injective Dimension](/injective-dimension-0) 

 Definition

The minimal nonnegative integer n (or infinity) such that an object admits an injective resolution of length n; equivalently, the smallest length of a chain of injective objects that resolves the object, measuring its distance from being injective.

 

 

 

 

 

 





## Principle

Principle

Injective dimension is organized by existence of injective resolutions: an object has injective dimension ≤ n exactly when Ext^{i}(-,object) vanishes for all i>n against all test objects, making vanishing of higher Ext the controlling criterion.

 

 

 

 

 





## Demonstration

Demonstration

For a module M over a Noetherian ring R, one computes an injective resolution 0→M→I^0→I^1→…; if this sequence terminates at I^n (so I^i=0 for i>n) then inj.dim(M)=n. For example, over a field k every finite-dimensional k-vector space is injective, so injective dimension 0.

 

 

 

 

## Misapplication

Misapplication

Treating injective dimension as the length of a projective resolution or substituting projective resolutions without dualizing arguments; or assuming finiteness of injective dimension from finiteness of projective dimension without verifying category dualities.

 

 

 

 

 





## Consequence

Consequence

A finite injective dimension yields concrete vanishing patterns for Ext groups, simplifies derived functor computations, and often interacts with depth and regularity conditions of the ambient ring or category.

 

 

 

 

## Reversal

Reversal

The dual notion is projective dimension: where injective dimension measures how far an object is from being injective, projective dimension measures distance from being projective; inverting arrows switches which resolutions and Ext/Tor groups control the invariant.

 

 

 

 

 





## Boundary

Boundary

Defined in abelian categories with enough injectives or in derived contexts; minimal injective resolutions require conditions (e.g., Noetherian hypotheses) to exist and be unique up to isomorphism. Not meaningful without some supply of injective objects or a derived replacement.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Injective dimension can be conflated with projective dimension or homological depth; the tension lies between dual resolutions (injective vs projective) and between vanishing of Ext versus vanishing of Tor.

 

 

 

 

 





## Synthesis

Synthesis

Injective dimension is the least length of an injective resolution of an object; it is detected by vanishing of Ext in high degrees and provides a dual homological measure to projective dimension, valid where injective resolutions or derived-injective replacements exist.