## [Inducción Sobre el Número de Generadores](/es/node/62426) Definición Una estrategia de demostración que establece una propiedad para objetos algebraicos (grupos, módulos, álgebras) por inducción sobre el número mínimo o dado de generadores: probar un caso base para 0 o 1 generador(es), luego demostrar que si todo objeto generado por k generadores tiene la propiedad, cualquier objeto generado por k+1 se reduce a un caso con k generadores. ## Principio Principio Eliminar o expresar un generador en función de los demás (por ejemplo considerando el subgrupo o submódulo que genera, tomando un cociente o usando relaciones) para reducir el tamaño del conjunto de generadores; asegurar que el paso inductivo preserva las hipótesis y que la noción de ‘número de generadores’ está bien definida para la clase considerada. ## Demostración Demostración Para probar que todo subgrupo de un grupo abeliano finitamente generado es finitamente generado: el caso base para grupos cíclicos es evidente; para un grupo abeliano generado por n+1 elementos, proyectar al cociente por el subgrupo cíclico generado por uno de ellos da un grupo generado por ≤ n elementos, aplicar la hipótesis inductiva a la imagen y elevar generadores para producir un conjunto finito que genere el subgrupo. ## Aplicación incorrecta Aplicación incorrecta Usar esta inducción cuando la cantidad ‘número de generadores’ no está bien fundada (p. ej. para objetos con generadores infinitos), o no controlar cómo operaciones como tomar cocientes afectan a la minimalidad de los conjuntos de generadores, lo que puede invalidar la reducción inductiva. ## Consecuencia Consecuencia Reduce problemas estructurales globales a instancias menores y a menudo más simples; da procedimientos constructivos de descomposición y generadores explícitos en muchas pruebas de clasificación algebraica y es especialmente útil en contextos de tipo finito. ## Inversión Inversión En lugar de inducir sobre el número de generadores, inducir sobre otra medida discreta como índice, orden o longitud de una filtración; estas inducciones alternativas pueden ser más adecuadas cuando el conteo de generadores no se comporta monotónicamente ante las reducciones naturales. ## Límite Límite Efectiva solo cuando los objetos tienen número finito de generadores y cuando quitar o reinterpretar un generador produce un objeto de la misma clase; no se aplica directamente a conjuntos de generadores infinitos ni a propiedades que no sobrevivan a reducciones naturales. ## Tensión semántica Tensión semántica Puede confundirse con inducción estructural sobre el tamaño de los objetos o inducción sobre orden/índice; la distinción es que la inducción sobre generadores mide un parámetro del conjunto de generadores en lugar de la cardinalidad u otros invariantes, y hay que cuidar la preservación de minimalidad o finitud. ## Síntesis Síntesis La inducción sobre el número de generadores es un principio inductivo dirigido: fijar la base para pocos generadores y mostrar cómo reducir una instancia con k+1 generadores a una con k, demostrando así la propiedad para todos los objetos finitamente generados de la clase mediante cocientes, subestructuras o relaciones.