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

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

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

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

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

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

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

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

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.