Resolución Libre Mínima

Una resolución libre de un módulo M sobre un anillo R es mínima si en ningún grado puede eliminarse un sumando libre directo; equivalentemente, sobre un anillo local (R,m) las diferenciales en una resolución libre mínima tienen imágenes contenidas en m multiplicado por el siguiente módulo, de modo que los rangos de los módulos libres (números de Betti) son lo más pequeños posible y son invariantes