Se utilizan estas resoluciones inyectivas para definir la dimensión inyectiva de un módulo (la longitud de la resolución inyectiva más corta que termina en ceros, si existe una resolución finita) así como funtores derivados.