Un objeto algebraico (anillo, módulo, etc.) es no noetheriano si no satisface la condición de cadena ascendente (ACC) sobre subobjetos o ideales: existe una cadena estrictamente creciente infinita I1 ⊂ I2 ⊂ I3 ⊂ ··· que no se estabiliza.

Principio

La noetherianidad condensa una finitud: en muchos contextos conmutativos ACC equivale a que todo ideal sea finitamente generado. El fallo de esta propiedad permite construcciones patológicas infinitas y bloquea muchos teoremas estándar de finitud (por ejemplo, el teorema de la base de Hilbert puede fallar con variables infinitas).

Demostración

El anillo de polinomios k[x1,x2,...] en contablemente muchas variables es no noetheriano: la cadena de ideales (x1) ⊂ (x1,x2) ⊂ (x1,x2,x3) ⊂ ··· no se estabiliza. De forma análoga, una suma directa infinita de módulos no nulos suele ser no noetheriana como módulo.

Aplicación incorrecta

Aplicar resultados que requieren hipótesis noetherianas (descomposición primaria, conclusiones de generación finita, argumentos de estabilización ascendente) a objetos no noetherianos, o suponer que Noetheriano y Artiniano son equivalentes sin verificar hipótesis (no lo son en general).

Consecuencia

En contextos no noetherianos no se puede confiar en la generación finita de ideales, la existencia de descomposiciones primarias finitas ni la terminación de muchos procedimientos algorítmicos; el comportamiento categórico y homológico puede ser más complejo y exigir condiciones de finitud alternativas (coherencia, ACC en clases particulares).

Inversión

Un objeto noetheriano satisface ACC, toda cadena ascendente se estabiliza y se recuperan muchos resultados de finitud (ideales finitamente generados, algoritmos que terminan en contextos algebraicos).

Límite

Distinguir Noetheriano por la izquierda/derecha en anillos no conmutativos, Noetheriano como módulo frente a como anillo, y nociones relacionadas pero más débiles (coherente, cuasi-noetheriano). Los análogos topológicos o categóricos (esquemas noetherianos) tienen definiciones y límites adaptados.

Tensión semántica

No noetheriano vs infinito: un objeto puede ser infinito y aun así noetheriano (por ejemplo, un cuerpo como anillo es noetheriano), mientras que no noetheriano indica específicamente el fallo de ACC; hay tensión también con coherencia (finidad más débil) y con la propiedad artiniana (condición descendente).

Síntesis

No noetheriano designa el fallo de la condición de cadena ascendente — una carencia estructural de finitud que permite familias estrictamente crecientes infinitas de subobjetos y hace inválidos muchos teoremas y algoritmos basados en finitud.