Castelnuovo–Mumford-Regulärität (CM Regularity)

Ein Invariant reg(M) eines endlich erzeugten graduierten Moduls M über einem Polynomring (oder einer standardgraduierten Algebra), der den größten Grad misst, in dem gewisse lokale Kohomologie- oder Syzygienmodule noch nicht verschwinden; äquivalent das Maximum j−i mit nichtverschwindender gradierter Betti-Zahl β_{i,j}(M).