Propriété d'un ensemble partiellement ordonné ou d'une classe de sous-objets affirmant que toute chaîne ascendante se stabilise : il existe N tel que pour tout n≥N le n-ième membre est égal au membre N. Équivalemment, il n'existe pas de suite strictement croissante infinie. Utilisée pour les idéaux, sous-modules ou sous-objets.

Principe

Arrêt des processus d'extension : interdit les inclusions strictes infinies et garantit qu'un processus répétitif d'agrandissement de sous-objets atteint finalement un point fixe. Elle organise le comportement de finitude et la notion de noethérianité en interdisant une croissance sans fin.

Démonstration

En théorie des anneaux : un anneau R est Noethérien exactement lorsque l'ensemble de ses idéaux satisfait la condition ACC. Concrètement, dans un anneau noethérien toute chaîne I1 ⊆ I2 ⊆ I3 ⊆ ... se stabilise, donc pour un certain N on a IN = IN+1 = ... . Cela assure que tout idéal est de type fini.

Mauvaise application

Confondre ACC avec la finitude de l'ensemble entier (ACC permet une infinité d'éléments à condition que les chaînes se stabilisent) ou supposer que ACC pour une classe de sous-objets (par exemple les idéaux) implique ACC pour une classe non liée. Utiliser ACC comme une borne constructive qui fournit N explicite sans information supplémentaire est aussi une mauvaise application.

Conséquence

Garantit l'arrêt des raisonnements, la génération finie d'objets (par ex. des idéaux) et l'applicabilité d'arguments par récurrence sur la taille ou l'inclusion. Elle soutient de nombreux résultats de finitude en algèbre et géométrie algébrique.

Inversion

La condition opposée est l'existence de chaînes strictement ascendantes infinies ; l'absence d'ACC permet une croissance non bornée et des constructions infinies pathologiques. Dualement, on étudie la Condition de Chaînes Descendantes (DCC) pour contrôler les processus descendants.

Limite

S'applique aux collections ordonnées où le sens 'ascendant' est défini ; n'implique pas nécessairement la finitude de la collection ni ne fournit d'indice de stabilisation explicite. C'est une propriété de la catégorie ambiante ou du poset et doit être vérifiée pour chaque classe de sous-objets (idéaux, sous-modules, sous-variétés, etc.).

Tension sémantique

Tension avec les notions qualitatives de 'finitude' : ACC capture un aspect formel de la finitude (absence d'ascensions infinies) mais peut coexister avec une cardinalité infinie ou d'autres comportements infinis ; elle entre en compétition conceptuelle avec la DCC et les notions de bien-fondé.

Synthèse

L'ACC est une condition de finitude qui empêche les suites strictement croissantes infinies : lorsqu'une classe de sous-objets vérifie l'ACC, tout processus ascendant se stabilise, permettant résultats de génération finie et raisonnements inductifs.