Un objeto algebraico (anillo, módulo, etc.) es no artiniano si no satisface la condición de cadena descendente (DCC): existe una cadena estrictamente decreciente infinita I1 ⊃ I2 ⊃ I3 ⊃ ··· de subobjetos que no se estabiliza.

Principio

La artinianidad codifica una finitud dual a la noetherianidad: la DCC suele corresponder a longitud finita o al cese de filtraciones descendentes. El fallo de DCC permite secuencias estrictamente decrecientes infinitas de subestructuras y obstruye argumentos que dependen de elementos mínimos o series de composición finitas.

Demostración

El anillo de polinomios k[x] no es artiniano como módulo sobre sí mismo porque los ideales (x) ⊃ (x^2) ⊃ (x^3) ⊃ ··· forman una cadena descendente infinita. Un espacio vectorial de dimensión infinita no es artiniano como módulo, pues se pueden construir cadenas decrecientes de subespacios de longitud arbitraria.

Aplicación incorrecta

Tratar Artiniano y Noetheriano como equivalentes sin comprobar hipótesis, o aplicar teoremas estructurales que suponen Artinianidad (por ejemplo descomposiciones de longitud finita) a objetos no artinianos.

Consecuencia

El comportamiento no artiniano impide garantías sobre series de composición finitas, existencia de ideales mínimos o la terminación de ciertos argumentos inductivos; la teoría de representaciones y los teoremas estructurales deben adaptarse o requerir hipótesis alternativas (por ejemplo longitud finita, condiciones semiprimary).

Inversión

Un objeto artiniano satisface DCC, toda cadena descendente se estabiliza y el objeto suele tener longitud finita con fuertes consecuencias estructurales (para anillos: los anillos de Artin tienen teoremas de descomposición bien conocidos).

Límite

Distinguir Artiniano por la izquierda/derecha en contextos no conmutativos, Artiniano como módulo frente a como anillo, y reconocer que Artiniano a menudo implica Noetheriano en anillos conmutativos pero no viceversa; existen análogos topológicos de DCC con sutilezas técnicas propias.

Tensión semántica

Artiniano vs Noetheriano: son condiciones de finitud duales con consecuencias diferentes; un objeto puede ser Noetheriano pero no Artiniano, y viceversa. También hay tensión con nociones como longitud finita y condiciones semiprimary, que interaccionan con ambas propiedades.

Síntesis

No Artiniano denota el fallo de la condición de cadena descendente — la presencia de familias estrictamente decrecientes infinitas de subobjetos — que impide argumentos por mínimos, series de composición finitas y muchas descomposiciones estructurales.