Résolution Libre Minimale

Une résolution libre d'un module M sur un anneau R est minimale si aucun facteur direct libre ne peut être retiré en aucun degré ; équivalemment, sur un anneau local (R,m) les différentielles d'une résolution libre minimale ont leurs images contenues dans m fois le module suivant, de sorte que les rangs des modules libres (nombres de Betti) sont aussi petits que possible et deviennent invaria