## [Anillo Noetheriano](/es/node/63304) Definición Un anillo en el que toda cadena ascendente de ideales se estabiliza; equivalente: todo ideal es finitamente generado. ## Principio Principio Condición de finitud sobre la red de ideales: cualquier sucesión I1 ⊆ I2 ⊆ I3 ⊆ … llega a un punto In = In+1, impidiendo cadenas estrictamente crecientes infinitas. ## Demostración Demostración El anillo de polinomios k[x1,...,xn] sobre un cuerpo k es noetheriano (teorema de la base de Hilbert). El anillo Z de los enteros es noetheriano porque cada ideal es principal. ## Aplicación incorrecta Aplicación incorrecta Suponer que todo subanillo o cociente de un anillo noetheriano es noetheriano sin comprobar hipótesis — los subanillos no tienen por qué heredar la noetherianidad. ## Consecuencia Consecuencia Los ideales son finitamente generados, lo que permite resultados estructurales (descomposición primaria, teoría de la dimensión) y manipulaciones algorítmicas en álgebra conmutativa. ## Inversión Inversión Un anillo no noetheriano admite una cadena estrictamente creciente infinita de ideales o ideales que requieren infinitos generadores, por ejemplo k[x1,x2,...] con variables infinitas. ## Límite Límite Se formula habitualmente para anillos conmutativos con unidad, aunque hay análogos para anillos no conmutativos (noetheriano por la izquierda/derecha); no implica directamente finitud de módulos sin condicionantes adicionales. ## Tensión semántica Tensión semántica La noetherianidad se contrapone a la artinianidad (condición de cadena descendente); sólo coinciden en contextos limitados, por lo que confundirlas es engañoso. ## Síntesis Síntesis Un anillo noetheriano impone una restricción práctica de finitud en la estructura de ideales: las cadenas ascendentes se estabilizan y cada ideal tiene generadores finitos, posibilitando múltiples teoremas y procedimientos algebraicos.