 ##  [Anillo No Noetheriano](/es/node/64003) 

 Definición

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

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

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

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

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

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

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

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

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.