Régularité de Castelnuovo–Mumford (CM Regularity)

Un invariant reg(M) d’un module gradué de type fini M sur un anneau polynômial (ou algèbre standard graduée) qui mesure le plus grand degré où certains modules de cohomologie locale ou de syzygies échouent à s’annuler ; équivalemment le maximum j−i tel que le nombre de Betti gradué β_{i,j}(M) soit non nul.