Un anillo (habitualmente conmutativo y con unidad en este contexto) que no satisface la condición de cadena ascendente sobre ideales: existe una cadena estrictamente ascendente infinita de ideales y los ideales pueden no ser finitamente generados.

Principio

Fallo de la condición de estabilización: existen cadenas arbitrariamente largas de ideales, de modo que métodos que dependen de estabilización (inducción noetheriana, consecuencias del teorema de la base de Hilbert) no son aplicables en general.

Demostración

El anillo de polinomios en contablemente muchas variables k[x1,x2,x3,...] sobre un cuerpo k es no noetheriano porque el ideal (x1,x2,x3,...) no es finitamente generado; explícitamente se tiene la cadena estricta (x1) ⊂ (x1,x2) ⊂ (x1,x2,x3) ⊂ ...

Aplicación incorrecta

Suponer la existencia de conjuntos generadores finitos para ideales arbitrarios o usar la inducción noetheriana en un anillo no noetheriano; aplicar descomposiciones primarias y resultados dependientes de finitud como si fueran universales.

Consecuencia

Fracasan muchos resultados de finitud: los ideales y módulos pueden requerir generadores infinitos, las cadenas ascendentes pueden no estabilizar, la descomposición primaria puede no existir o no ser única, y las construcciones que dependen de presentaciones finitas quedan inválidas o requieren hipótesis adicionales.

Inversión

Un anillo noetheriano, en el que todo ideal es finitamente generado y toda cadena ascendente de ideales se estabiliza, permitiendo la inducción noetheriana y numerosos teoremas de finitud.

Límite

El término se refiere a la condición de cadena ascendente sobre ideales a nivel de anillo; no impone por sí mismo otras propiedades (por ejemplo, artiniano, coherente o condiciones relacionadas con la dimensión). El comportamiento no noetheriano puede aparecer tanto en contextos conmutativos como no conmutativos; algunas patologías exigen generación infinita mientras que otros anillos no noetherianos conservan propiedades de finitud.

Tensión semántica

«No noetheriano» a menudo se confunde con «no generado finitamente como álgebra» o con patologías concretas; la tensión está entre la finitud a nivel de ideales (noetheriano) y otras nociones de finitud (tipo finito, coherente, artiniano), distintas y potencialmente coexistentes.

Síntesis

Un Anillo No Noetheriano es un anillo donde falla el principio de finitud para ideales: ejemplos concretos muestran cadenas ascendentes infinitas de ideales y ideales que no se pueden describir mediante un número finito de generadores, obligando a replantear o sustituir muchas herramientas estándar que presuponen noetherianidad.