Condition sur un ensemble ordonné ou une classe de sous-objets selon laquelle toute chaîne descendante se stabilise : il existe N tel que pour tout n≥N le n-ième membre est égal au membre N. Équivalement, il n'existe pas de suite strictement décroissante infinie. On l'applique aux idéaux, modules et autres sous-structures.

Principe

Contrôle des processus descendants : empêche un raffinement strict infini et garantit que les procédures itérées d'intersection ou de restriction s'arrêtent. Elle structure la notion d'artinianité et de finitude en interdisant les chaînes décroissantes sans fin de sous-objets.

Démonstration

En théorie des modules : un module est artinien si le treillis de ses sous-modules satisfait la DCC. Par exemple, les espaces vectoriels de dimension finie sur un corps vérifient la DCC sur les sous-espaces car les dimensions ne peuvent décroître indéfiniment ; toute chaîne descendante de sous-espaces se stabilise.

Mauvaise application

Confondre DCC avec ACC ou supposer que DCC fournit des bornes constructives sur l'indice de stabilisation ; supposer que DCC pour une classe de sous-objets entraîne DCC pour des classes non liées. Un autre mauvais usage est d'inférer l'existence d'éléments minimaux non nuls à partir de DCC sans vérifier d'autres hypothèses.

Conséquence

Permet l'arrêt des raisonnements par descente, l'existence d'éléments minimaux par inclusion et des décompositions structurelles (par ex. les modules artiniens admettent des séries de composition bien comportées). Elle soutient des théorèmes de classification où aucun raffinement infini n'apparaît.

Inversion

La situation opposée est l'existence de chaînes strictement décroissantes infinies, qui permet un raffinement sans borne ou un comportement nilpotent infini. Dualement, l'ACC contrôle la croissance ascendante ; les deux conditions sont des manières complémentaires d'imposer la finitude.

Limite

S'applique là où le sens 'descendant' est défini ; elle ne donne pas en elle-même de bornes de cardinalité ni d'étapes de stabilisation explicites. La DCC est généralement considérée dans la catégorie algébrique ambiante et doit être vérifiée pour chaque classe de sous-objets (sous-modules, idéaux, variétés, etc.).

Tension sémantique

Tension entre la DCC et les constructions infinies : la DCC fournit une notion formelle de finitude pouvant être en conflit avec une grande cardinalité ou des existences non constructives. Il existe aussi une tension avec l'ACC lorsqu'une structure vérifie l'une mais pas l'autre, entraînant des conséquences structurelles différentes (noethérien vs artinien).

Synthèse

La DCC prescrit que les suites descendantes de sous-objets ne peuvent se poursuivre indéfiniment : lorsqu'une classe vérifie la DCC, tout processus de raffinement descendant se stabilise, produisant des éléments minimaux et permettant des décompositions comme les séries de composition finies.