Un álgebra asociativa que satisface la condición de cadena descendente sobre ideales bilaterales (equivalente a tener longitud finita como módulo sobre sí misma), a menudo llamada artiniana cuando esta propiedad se cumple para ideales a izquierda y a derecha en el contexto asociativo.

Principio

La condición de cadena descendente impone propiedades de finitud: no existen cadenas estrictamente decrecientes infinitas de ideales bilaterales, lo que conduce a series de composición y control sobre radicales y cocientes semisimples.

Demostración

Toda álgebra asociativa de dimensión finita sobre un cuerpo es artiniana; por ejemplo, un álgebra finita obtenida como cociente de una álgebra de caminos por relaciones admisibles es artiniana y tiene módulos de longitud finita y un radical bien controlado.

Aplicación incorrecta

Suponer que artiniana implica noetheriana en todos los contextos o que artiniana conlleva automáticamente conmutatividad; usar el término cuando sólo se cumplen condiciones de un solo lado sin especificarlo.

Consecuencia

Las álgebras artinianas admiten series de composición finitas, su radical de Jacobson es nilpotente y se aplican teoremas de estructura (como Wedderburn–Artin) para describir cocientes semisimples y descomposiciones.

Inversión

Un álgebra que permite cadenas estrictamente decrecientes infinitas de ideales bilaterales o que no tiene longitud finita como módulo sobre sí misma; tales álgebras suelen presentar comportamientos patológicos de infinitud y resisten los teoremas de descomposición.

Límite

Se centra en ideales bilaterales en álgebras asociativas; existen nociones separadas (artiniana a la izquierda o a la derecha) que deben especificarse; excluye álgebras de dimensión infinita que no satisfacen la condición de cadena descendente.

Tensión semántica

Tensión con la propiedad noetheriana: artiniana (DCC) y noetheriana (ACC) son condiciones de finitud distintas que coinciden en algunos entornos pero difieren en el álgebra no conmutativa general.

Síntesis

Una álgebra artiniana es aquella sin cadenas infinitas decrecientes de ideales bilaterales, garantizando longitud finita, radical nilpotente y aplicabilidad de teoremas de descomposición.