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.