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

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

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

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

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

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

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

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

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.