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.

Principio

La minimización elimina sumandos libres redundantes para que la resolución refleje la complejidad homológica intrínseca: la minimalidad aísla los generadores y sístoles esenciales de M y genera invariantes numéricos canónicos (números de Betti graduados, serie de Poincaré) bajo las hipótesis usuales (anillos locales o graduados conectados con generación finita).

Demostración

Para un módulo graduado finitamente generado sobre el anillo de polinomios k[x_1,…,x_n] con la graduación estándar, la resolución libre mínima graduada se obtiene eligiendo generadores homogéneos mínimos para cada módulo de sístoles de forma que las matrices de las diferenciales no tengan entradas escalares no nulas; los grados y el número de sumandos en cada paso dan la tabla de Betti graduada utilizada en álgebra computacional y geometría algebraica.

Aplicación incorrecta

Usar una resolución libre cualquiera en lugar de una mínima al comparar números de Betti o intentar leer invariantes: las resoluciones no mínimas pueden inflar los rangos y ocultar los verdaderos datos homológicos. Otro error es afirmar minimalidad sin las hipótesis locales o de graduación que garantizan unicidad a isomorfismo cercano.

Consecuencia

Las resoluciones libres mínimas producen invariantes canónicos (números de Betti, dimensión proyectiva, regularidad) que facilitan la comparación de módulos y la detección de propiedades como la profundidad y la condición Cohen–Macaulay; son centrales en métodos computacionales en álgebra conmutativa y para detectar la estructura de las sístoles.

Inversión

El concepto inverso es una resolución libre no mínima (o redundante) en la que los sumandos libres pueden cancelarse o escindirse; tal resolución puede ser más fácil de construir pero oscurece los datos invariantes, y a menudo se pasa de una resolución no mínima a una mínima mediante cancelaciones sucesivas o equivalencias por homotopía.

Límite

La existencia y unicidad (hasta isomorfismo de complejos) de resoluciones libres mínimas están garantizadas para módulos finitamente generados sobre anillos locales noetherianos o sobre anillos graduados conectados sobre un cuerpo; fuera de estos marcos la minimalidad puede no existir o no estar bien definida, y las cancelaciones de sumas directas pueden no converger.

Tensión semántica

Tensión entre resoluciones libres mínimas y resoluciones proyectivas en categorías donde existen módulos proyectivos pero la minimalidad carece de sentido (p. ej., anillos no locales), o entre minimalidad y conveniencia computacional donde presentaciones no mínimas pero más sencillas de calcular pueden ser preferibles; hay que distinguir invariantes canónicos mínimos de modelos prácticos no canónicos.

Síntesis

Una resolución libre mínima es el complejo libre más ajustado que resuelve un módulo eliminando sumandos redundantes para capturar invariantes homológicos intrínsecos (números de Betti, regularidad, dimensión proyectiva); existe y es único hasta isomorfismo bajo hipótesis locales o graduadas de finitud y es la principal herramienta para leer sístoles y medir complejidad.