## [No Noetheriano](/es/node/61586) Definición 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 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 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 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 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 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 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 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 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.