Definición
Un anillo en el que toda cadena ascendente de ideales se estabiliza (satisface la condición de cadena ascendente sobre ideales); equivalentemente, todo ideal es finitamente generado.
Principio
Principio
La finitud en la generación de ideales impide la existencia de secuencias estrictamente crecientes infinitas de ideales y aporta control algebraico: generadores finitos acotan la complejidad ideal.
Demostración
Demostración
Ejemplos concretos: el anillo de enteros Z (cada ideal es principal) y los anillos de polinomios k[x1,...,xn] sobre un cuerpo k, que son noetherianos; muestran cómo se cumple la condición de estabilización de cadenas de ideales.
Aplicación incorrecta
Aplicación incorrecta
Suponer que todo subanillo de un anillo noetheriano es noetheriano (falso en general) o que cualquier extensión preserva la propiedad sin hipótesis adicionales.
Consecuencia
Consecuencia
De aquí se derivan muchos resultados de finitud y estructura: los ideales son finitamente generados, existen descomposiciones primarias bajo hipótesis habituales, y las extensiones polinomiales sobre anillos noetherianos permanecen noetherianas (fenómeno de base de Hilbert).
Inversión
Inversión
La noción dual es la de anillo artiniano: satisface la condición de cadena descendente sobre ideales. Artiniano y noetheriano son propiedades distintas y una no implica la otra en general.
Límite
Límite
La propiedad trata sobre ideales en anillos (usualmente con unidad). Nociones relacionadas, como módulo noetheriano o esquema noetheriano, son distintas; la propiedad del anillo no se transfiere automáticamente a todos los contextos modulares o geométricos.
Tensión semántica
Tensión semántica
Tensión entre la condición noetheriana como finitud de cadenas de ideales y otras nociones de finitud (artiniana, generación finita como módulo, condiciones geométricas de finitud): la conveniencia de una u otra depende del contexto.
Síntesis
Síntesis
Un anillo noetheriano condensa la idea de finitud algebraica: cada ideal admite generadores finitos, lo que evita cadenas ascendentes infinitas y permite numerosas consecuencias estructurales basadas en esa contención de la complejidad ideal.