Definición
Una técnica de demostración que establece una propiedad para todos los elementos de un conjunto parcialmente ordenado que satisface la condición de cadena ascendente (noetheriano): se asume la existencia de un contraejemplo, se elige un contraejemplo mínimo respecto al orden y se obtiene una contradicción reduciendo a elementos estrictamente menores.
Principio
Principio
La condición de bien fundado en forma de la condición de cadenas ascendentes asegura la existencia de contraejemplos mínimos; demostrar que ningún contraejemplo mínimo puede existir completa la prueba por contradicción para todos los elementos.
Demostración
Demostración
Para probar que un endomorfismo suryectivo f de un módulo noetheriano M es inyectivo: suponga Ker f ≠ 0, considere la cadena ascendente Ker f ⊆ Ker f^2 ⊆ ··· que se estabiliza por noetherianidad; la estabilidad da Ker f = Ker f^n y la suryectividad fuerza Ker f = 0, contradicción, luego f es inyectivo.
Aplicación incorrecta
Aplicación incorrecta
Usar inducción noetheriana en conjuntos o clases sin la condición de cadena ascendente (p. ej., cadenas ascendentes infinitas arbitrarias) invalida el paso del contraejemplo mínimo y puede producir conclusiones falsas.
Consecuencia
Consecuencia
La inducción noetheriana es una herramienta flexible para probar afirmaciones de existencia y estructura sobre ideales, submódulos y objetos algebraicos en contextos noetherianos; convierte afirmaciones globales en reducciones locales a piezas ordenadas más pequeñas.
Inversión
Inversión
En contextos artinianos (cadenas descendentes) se usa un argumento dual de maximalidad; en entornos bien fundados pero no noetherianos puede ser necesaria en su lugar la inducción transfinitа.
Límite
Límite
Requiere un orden bien fundado inducido por la condición de cadena ascendente (propiedad noetheriana) sobre la clase de subestructuras considerada; no se aplica directamente a anillos no noetherianos, cadenas ascendentes infinitas ni a pruebas que requieran controlar ordinales límite.
Tensión semántica
Tensión semántica
La inducción noetheriana se sitúa entre la inducción ordinaria finita y la inducción transfinitа: asume una condición de finitud sobre las cadenas en lugar de un índice discreto en números naturales, por lo que puede parecer similar a ambas pero es lógicamente distinta.
Síntesis
Síntesis
La inducción noetheriana aprovecha la existencia de contraejemplos mínimos garantizada por la condición de cadena ascendente para reducir pruebas globales a contradicciones locales, convirtiéndose en una técnica estándar de reducción en álgebra y geometría algebraica.