Un anillo en el que todo ideal finitamente generado es finitamente presentado; equivalentemente, el núcleo de cualquier homomorfismo entre módulos libres de tipo finito es finitamente generado. Esto proporciona una finitud controlada de las relaciones entre generadores.

Principio

La coherencia es un principio de finitud para las relaciones: las relaciones entre los generadores de ideales finitamente generados son finitamente generadas, de modo que la categoría de módulos finitamente presentados tiene mejores propiedades exactas que en anillos arbitrarios.

Demostración

Todo anillo noetheriano es coherente. Ejemplos coherentes concretos son Z y los anillos de polinomios en un número finito de variables k[x1,...,xn]. En estos anillos, el núcleo de una aplicación entre módulos libres finitos es finitamente generado, por lo que las construcciones algebraicas habituales están bien controladas a nivel de presentaciones finitas.

Aplicación incorrecta

Confundir coherencia con noetherianidad o suponer que la coherencia se extiende automáticamente a construcciones infinitas; usar la coherencia para afirmar que todos los submódulos de módulos finitamente presentados son finitamente presentados sin comprobar condiciones.

Consecuencia

La coherencia asegura que los módulos finitamente presentados forman una subcategoría exacta; los núcleos y las relaciones de tipo finito son manejables, lo que facilita las nociones de coherencia de haces en esquemas y permite ciertos cálculos homológicos sin requerir noetherianidad completa.

Inversión

Un anillo no coherente, en el que algún ideal finitamente generado no es finitamente presentado, rompiendo la finitud de las relaciones entre generadores.

Límite

La coherencia trata sobre la presentación finita de ideales finitamente generados y de núcleos entre módulos libres finitos; no implica noetherianidad, artinianidad ni dimensión global finita, y debe verificarse por separado en contextos no conmutativos donde las definiciones pueden variar.

Tensión semántica

Existe tensión entre coherencia y noetherianidad: los anillos noetherianos son coherentes, pero los anillos coherentes no tienen por qué ser noetherianos. La coherencia enfatiza las relaciones mientras que otras propiedades de finitud inciden en la generación o las condiciones de cadenas.

Síntesis

Un Anillo Coherente garantiza que los ideales finitamente generados tienen un número finito de relaciones: esta condición intermedia de finitud estabiliza los núcleos de las aplicaciones entre módulos finitos y preserva muchas construcciones algebraicas y geométricas que de otro modo requerirían hipótesis noetherianas.