## [Anillo Coherente](/es/node/64007) Definición 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 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 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 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 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 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 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 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 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.