Dimensión Cohomológica
Definición
El mayor entero n (o infinito) tal que un grupo o espacio topológico dado tiene cohomología no trivial en grado n con coeficientes en algún módulo (o sistema de coeficientes); para grupos suele ser el supremo de los grados en los que la cohomología de grupo con módulos adecuados es no nula.