Technique de preuve qui établit une propriété pour tous les éléments d'un ensemble partiellement ordonné satisfaisant la condition de chaîne ascendante (noethérien) : on suppose l'existence d'un contre-exemple, on choisit un contre-exemple minimal pour l'ordre et l'on tire une contradiction en réduisant à des éléments strictement plus petits.

Principe

La bien-fondation sous la forme de la condition de chaîne ascendante garantit l'existence de contre-exemples minimaux ; montrer qu'aucun contre-exemple minimal n'existe achève la preuve par contradiction pour tous les éléments.

Démonstration

Pour montrer qu'un endomorphisme surjectif f d'un module noethérien M est injectif : supposons Ker f ≠ 0, considérons la suite ascendante Ker f ⊆ Ker f^2 ⊆ ··· qui se stabilise par noethérianité ; la stabilité donne Ker f = Ker f^n et la surjectivité force Ker f = 0, contradiction, donc f est injectif.

Mauvaise application

Employer l'induction noethérienne sur des ensembles ou classes dépourvus de la condition de chaîne ascendante (par exemple des chaînes ascendantes infinies arbitraires) invalide l'étape du contre-exemple minimal et peut conduire à des conclusions fausses.

Conséquence

L'induction noethérienne est un outil souple pour démontrer des énoncés d'existence et de structure concernant idéaux, sous-modules et objets algébriques en contexte noethérien ; elle convertit des affirmations globales en réductions locales vers des morceaux plus petits.

Inversion

Pour le contexte artinien (chaînes descendantes) on utilise un argument dual de maximalité ; dans des ensembles bien fondés mais non noethériens, l'induction transfinie peut être nécessaire à la place.

Limite

Nécessite un ordre bien fondé induit par la condition de chaîne ascendante (propriété noethérienne) sur la classe de sous-structures considérées ; ne s'applique pas directement aux anneaux non noethériens, aux chaînes ascendantes infinies ni aux preuves nécessitant le contrôle d'ordinaux limites.

Tension sémantique

L'induction noethérienne se situe entre l'induction finie ordinaire et l'induction transfinie : elle suppose une condition de finitude sur les chaînes plutôt qu'un index discret en nombres naturels, ce qui la rend semblable à l'une et à l'autre tout en étant logiquement distincte.

Synthèse

L'induction noethérienne exploite l'existence de contre-exemples minimaux garantie par la condition de chaîne ascendante pour réduire des preuves globales à des contradictions locales, devenant ainsi une technique de réduction standard en algèbre et géométrie algébrique.