## [Inducción Noetheriana](/es/node/62405) 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.