Dimension Projective
Définition
La longueur minimale n d’une résolution projective ... → P_n → ... → P_0 → M → 0 d’un module M dans une catégorie abélienne munie de suffisamment de projectifs ; elle mesure à quel point M est éloigné d’être projectif (dimension projective 0) en comptant les étapes projectives nécessaires.