Definición
Invariante homológica definida como el supremo de las dimensiones proyectivas de los módulos (u objetos) que tienen dimensión proyectiva finita; a menudo se denomina pequeña dimensión finitista cuando se toma sobre módulos finitamente generados.