Un módulo que no satisface la condición de cadena descendente en submódulos; existe una cadena infinita estrictamente decreciente de submódulos N1 ⊃ N2 ⊃ N3 ⊃ ... que nunca se estabiliza.

Principio

La idea organizadora es que la ausencia de una cota inferior en las cadenas de submódulos permite subestructuras propias arbitrariamente profundas, por lo que fallan los argumentos basados en la minimalidad o en la terminación de cadenas descendentes.

Demostración

Ejemplo concreto: el grupo abeliano Z considerado como Z-módulo no es artiniano porque la cadena Z ⊃ 2Z ⊃ 4Z ⊃ 8Z ⊃ ... es estrictamente decreciente. Muchos módulos de torsión y construcciones infinitamente divisibles muestran comportamiento no artiniano.

Aplicación incorrecta

Suponer la existencia de submódulos mínimos o usar pruebas por contraejemplo mínimo en contextos donde hay cadenas descendentes infinitas, o confundir la propiedad artiniana del anillo con la de todos sus módulos.

Consecuencia

Cuando aparecen módulos no artinianos, no se puede confiar en inducciones descendentes ni en la existencia de elementos mínimos; los resultados de clasificación y descomposición que requieren hipótesis artinianas pueden fallar, lo que obliga a buscar invariantes estructurales alternativos.

Inversión

Un módulo artiniano satisface la condición de cadena descendente, de modo que toda cadena descendente de submódulos se estabiliza; tales módulos permiten argumentos basados en la minimalidad y en la longitud finita que los módulos no artinianos no admiten.

Límite

Se aplica a módulos sobre anillos arbitrarios y debe distinguirse del comportamiento noetheriano (cadenas ascendentes). La propiedad depende del lado (izquierda/derecha) y de si se restringe a módulos finitamente generados o a módulos arbitrarios.

Tensión semántica

Hay tensión entre ser artiniano y ser noetheriano: un módulo puede satisfacer una propiedad sin la otra; los módulos de longitud finita son ambos, artinianos y noetherianos, de modo que la longitud finita es una condición más fuerte.

Síntesis

Un módulo no artiniano indica el fallo del control descendente de finitud; reconocer este fallo aclara qué teoremas de descomposición y qué técnicas de inducción dejan de aplicarse y qué invariantes alternativos deben emplearse.