Eine Form der wohlfundierten Induktion, anwendbar auf noethersche teilweise geordnete Mengen: Um eine Eigenschaft P für alle Elemente zu beweisen, nimmt man an, P gelte für alle strikt kleineren Elemente, und schließt auf P für ein beliebiges Element, wobei man sich auf das Fehlen unendlicher strikt fallender Ketten stützt.

Prinzip

Nutze die noethersche Bedingung (jede nichtleere Menge besitzt ein minimales Element bzw. es gibt keine unendlichen fallenden Ketten), um durch Widerspruch mittels eines minimalen Gegenbeispiels oder durch induktive Schritte über kleinere Elemente zu argumentieren und so globale Aussagen aus lokalen Fällen herzuleiten.

Demonstration

Beweise, dass jedes Ideal eines noetherschen Rings endlich erzeugt ist, indem man annimmt, es gebe ein nicht endlich erzeugtes Ideal, ein maximales solches wählt und zeigt, dass durch Hinzufügen eines Elements ein strikt größeres Ideal entsteht, was der Maximalität widerspricht; somit sind alle Ideale endlich erzeugt.

Fehlanwendung

Noethersche Induktion auf nicht-noethersche Posets anzuwenden (z. B. Moduln über einem nicht-noetherschen Ring) macht das Argument mit minimalem Gegenbeispiel ungültig und kann zu falschen Folgerungen über Termination oder endliche Erzeugbarkeit führen.

Konsequenz

Noethersche Induktion liefert Terminations- und Endlichkeitsresultate: Aussagen über Ideale, Untermoduln oder andere algebraische Objekte, die durch ein noethersches Poset indiziert sind, reduzieren sich auf endlich viele Basisfälle und erlauben Strukturtheoreme sowie endliche Algorithmen.

Umkehrung

Die duale Idee ist wohlfundierter Abstieg oder transfinitäre Induktion auf wohlgeordneten Mengen; das Umkehren der Hypothese führt zu Argumenten mittels Zorns Lemma oder aufsteigender Kettenbedingungen, wenn die Ordnung in die entgegengesetzte Richtung betrachtet wird.

Abgrenzung

Gilt nur, wenn die zugrunde liegende partielle Ordnung noethersch ist (äquivalent zur aufsteigenden Kettenbedingung für Ideale oder Unterobjekte bzw. Existenz minimaler Elemente in jeder nichtleeren Teilmenge); sie ist nicht anwendbar bei unendlichen strikt fallenden Ketten oder in Posets ohne Endlichkeitsbedingung.

Semantische Spannung

Es besteht Spannung zwischen noetherscher Induktion und transfinitärer Induktion bzw. Zorn-Argumenten: Sie beweisen oft ähnliche Existenz- oder Endlichkeitsaussagen, arbeiten jedoch mit gegensätzlichen wohlfundierten Annahmen und liefern unterschiedliche konstruktive Inhalte.

Synthese

Die Noethersche Induktion ist die Methode, universelle Aussagen über ein noethersches Poset zu beweisen, indem man auf strikt kleinere Elemente zurückführt und das Fehlen unendlicher fallender Ketten (oder das Argument des maximalen Gegenbeispiels) nutzt, damit lokale Verifikationen zu einem globalen Beweis zusammenlaufen.