Une forme d'induction bien fondée applicable aux ensembles partiellement ordonnés noethériens : pour prouver qu'une propriété P vaut pour tous les éléments, on suppose qu'elle vaut pour tous les éléments strictement plus petits et on en déduit P pour un élément arbitraire, en s'appuyant sur l'absence de chaînes strictement infinies décroissantes.

Principe

Exploiter la condition noethérienne (tout ensemble non vide possède un élément minimal, ou de façon équivalente il n'existe pas de chaînes décroissantes infinies) pour raisonner par contradiction via un contre-exemple minimal ou par étape inductive sur des éléments plus petits, prouvant ainsi des énoncés globaux à partir de cas locaux plus petits.

Démonstration

Montrer que tout idéal d'un anneau noethérien est de type fini en supposant l'existence d'un idéal non de type fini, prendre un tel idéal maximal, montrer que l'ajout d'un élément donne un idéal strictement plus grand contredisant la maximalité, d'où la finitude de tous les idéaux.

Mauvaise application

Utiliser l'induction noethérienne sur des posets qui ne sont pas noethériens (par exemple des modules sur un anneau non noethérien) invalide l'argument du contre-exemple minimal et peut conduire à de fausses conclusions sur la terminaison ou la génération finie.

Conséquence

L'induction noethérienne entraîne des résultats de terminaison et de décomposition finie : des énoncés sur les idéaux, sous-modules ou autres objets algébriques indexés par un poset noethérien se réduisent à un nombre fini de cas de base, permettant des théorèmes de structure et des algorithmes en nombre fini d'étapes.

Inversion

L'idée duale est la descente bien fondée ou l'induction transfinité sur des ensembles bien ordonnés ; inverser l'hypothèse conduit à des arguments faisant appel au lemme de Zorn ou à la condition de chaîne ascendante lorsque l'ordre est considéré en sens opposé.

Limite

S'applique seulement lorsque l'ordre partiel sous-jacent est noethérien (équivalemment satisfait la condition de chaîne ascendante sur idéaux ou sous-objets, ou possède des éléments minimaux dans tout sous-ensemble non vide) ; elle ne s'applique pas aux chaînes strictement décroissantes infinies ni aux posets dépourvus de condition de finitude.

Tension sémantique

La tension apparaît entre l'induction noethérienne et l'induction transfinité ou les arguments de maximalité de type Zorn : ils démontrent souvent des énoncés d'existence ou de finitude similaires mais procèdent d'hypothèses de bien fondé opposées et offrent des contenus constructifs différents.

Synthèse

L'Induction Noethérienne est la méthode consistant à prouver des énoncés universels sur un poset noethérien en se réduisant à des éléments strictement plus petits et en utilisant l'absence de chaînes décroissantes infinies (ou l'argument du contre-exemple maximal) pour assurer que des vérifications locales se recollent en une preuve globale.