Définition
Un invariant d'un module (ou d'un anneau local) défini comme la longueur d'une suite régulière maximale contenue dans un idéal donné ou la longueur maximale de suites d'éléments non-diviseurs de zéro ; il mesure la non-dégénérescence des relations.