Propiedad de un conjunto parcialmente ordenado o de una clase de subobjetos que afirma que toda cadena ascendente se estabiliza: existe N tal que para todo n≥N el enésimo miembro coincide con el miembro N. Equivalente: no existe una sucesión estrictamente creciente infinita. Se usa para ideales, submódulos o subobjetos.

Principio

Terminación de procesos ascendentes: prohíbe inclusiones estrictas infinitas y garantiza que cualquier proceso repetido de agrandar subobjetos alcance finalmente un punto fijo. Organiza el comportamiento de finitud y la naturaleza noetheriana prohibiendo el crecimiento sin fin.

Demostración

En teoría de anillos: un anillo R es Noetheriano precisamente cuando el conjunto de ideales de R satisface la ACC. Concretamente, en un anillo noetheriano toda cadena I1 ⊆ I2 ⊆ I3 ⊆ ... se estabiliza, de modo que existe N con IN = IN+1 = ... . Esto asegura que todo ideal es finitamente generado.

Aplicación incorrecta

Confundir ACC con la finitud del poset completo (ACC permite infinitos elementos, siempre que las cadenas se estabilicen) o suponer que ACC en una clase de subobjetos (por ejemplo ideales) implica ACC en otra clase no relacionada. Usar ACC como una cota constructiva que proporciona un N explícito sin más información es también un mal uso.

Consecuencia

Garantiza argumentos de terminación, generación finita de objetos (p. ej. ideales) y la aplicabilidad de pruebas inductivas por tamaño o inclusión. Sostiene muchos resultados estructurales de finitud en álgebra y geometría algebraica.

Inversión

La condición inversa es la existencia de cadenas estrictamente ascendentes infinitas; la ausencia de ACC permite crecimiento no acotado y construcciones infinitas patológicas. Dualmente se estudia la Condición de Cadenas Descendentes (DCC) para controlar procesos descendentes.

Límite

Se aplica a colecciones ordenadas donde 'ascendente' está bien definido; no implica necesariamente la finitud de la colección ni da un índice de estabilización explícito. Es una propiedad de la categoría o poset ambiente y debe verificarse por clase de subobjetos (ideales, submódulos, subvariedades, etc.).

Tensión semántica

Tensión con nociones cualitativas de 'finitud': ACC captura un aspecto formal de finitud (ausencia de ascensos infinitos) pero puede coexistir con cardinalidad infinita u otros comportamientos infinitos; compite conceptualmente con DCC y con nociones de bien fundamentado.

Síntesis

ACC es una condición de finitud que impide sucesiones estrictamente crecientes infinitas: cuando una clase de subobjetos verifica ACC, todo proceso ascendente se estabiliza, permitiendo resultados de generación finita y argumentos inductivos.