Regularidad de Castelnuovo–Mumford (CM Regularity)

Un invariante reg(M) de un módulo graduado finitamente generado M sobre un anillo polinómico (o álgebra estándar graduada) que mide el mayor grado en el que ciertos módulos de cohomología local o de syzigías no se anulan; equivalente al máximo j−i con número de Betti graduado β_{i,j}(M) no nulo.