Un módulo sobre un anillo que no satisface la condición de cadena ascendente en submódulos; existe una sucesión infinita estrictamente creciente de submódulos M1 ⊂ M2 ⊂ M3 ⊂ ... que nunca se estabiliza.

Principio

La idea organizadora es que los controles de finitud sobre la subestructura pueden fallar: sin la condición de cadena ascendente, la generación por un número finito de elementos no restringe la complejidad de los submódulos, por lo que argumentos noetherianos pueden no aplicarse.

Demostración

Ejemplo concreto: la suma directa de contablemente muchas copias de un anillo R como R-módulo, R^{(N)}, suele ser no noetheriano porque los submódulos generados por los primeros n vectores base forman una cadena estrictamente creciente. En contraste, los módulos finitamente generados sobre un anillo noetheriano son noetherianos.

Aplicación incorrecta

Asumir que un módulo es noetheriano únicamente porque el anillo base lo es, sin comprobar que el módulo sea finitamente generado, o intentar pruebas por inducción sobre cadenas ascendentes cuando existe una cadena creciente infinita.

Consecuencia

Reconocer módulos no noetherianos obliga al uso de técnicas alternativas (inducción transfinitas, control fino de generadores, uso de filtraciones) y señala posibles patologías en clasificación, descomposición y procedimientos algorítmicos.

Inversión

Un módulo noetheriano es aquel en el que toda cadena ascendente de submódulos se estabiliza; muchos teoremas estructurales válidos para módulos noetherianos dejan de ser válidos en el caso no noetheriano.

Límite

El concepto se aplica a módulos sobre anillos arbitrarios (módulos a izquierda o a derecha según se especifique); excluye la condición de cadena descendente (Artiniana) y se distingue de la noetherianidad del anillo, que es una propiedad del anillo y no del módulo.

Tensión semántica

Existe tensión entre «anillo noetheriano» y «módulo noetheriano»: un anillo puede ser noetheriano mientras algunos de sus módulos no lo sean, y «finitamente generado» es una restricción relacionada pero separada.

Síntesis

Un módulo no noetheriano es un modo de fallo concreto en el control ascendente de submódulos; esta falta altera las técnicas disponibles, caracteriza clases de módulos y, en interacción con propiedades como la generación finita o la proyectividad, determina qué herramientas algebraicas son aplicables.