Une stratégie de démonstration qui établit une propriété pour des objets algébriques (groupes, modules, algèbres) par induction sur le nombre minimal ou donné de générateurs : prouver un cas de base pour 0 ou 1 générateur, puis montrer que si tout objet engendré par k générateurs possède la propriété, tout objet engendré par k+1 générateurs se ramène à un cas avec k générateurs.

Principe

Retirer ou exprimer un générateur en termes des autres (par exemple en considérant le sous‑groupe ou sous‑module qu’il engendre, en quotientant ou en utilisant des relations) pour réduire la taille de l’ensemble de générateurs ; veiller à ce que l’étape inductive préserve les hypothèses et que la notion de « nombre de générateurs » soit bien définie pour la classe considérée.

Démonstration

Pour montrer que tout sous‑groupe d’un groupe abélien de type fini est de type fini : le cas de base pour les groupes cycliques est évident ; pour un groupe abélien engendré par n+1 éléments, projeter sur le quotient par le sous‑groupe cyclique engendré par un élément donne un groupe engendré par au plus n éléments, appliquer l’hypothèse inductive à l’image et relever des générateurs pour obtenir un ensemble fini engendrant le sous‑groupe.

Mauvaise application

Utiliser cette induction lorsque la quantité « nombre de générateurs » n’est pas bien fondée (p. ex. pour des objets à générateurs infinis), ou omettre de contrôler l’effet des opérations comme la formation de quotients sur la minimalité des ensembles de générateurs, ce qui peut invalider la réduction inductive.

Conséquence

Permet de réduire des problèmes structurels globaux à des cas plus petits et souvent plus simples ; conduit à des procédures de décomposition constructives et à des générateurs explicites dans nombre de preuves de classification algébrique, et s’avère particulièrement utile dans les contextes de type fini.

Inversion

Au lieu d’induire sur le nombre de générateurs, induire sur une autre mesure discrète comme l’indice, l’ordre ou la longueur d’une filtration ; ces inductions alternatives peuvent être mieux adaptées lorsque le nombre de générateurs ne se comporte pas de manière monotone sous les réductions naturelles.

Limite

Efficace seulement lorsque les objets ont un nombre fini de générateurs et lorsque retirer ou réinterpréter un générateur donne un objet de la même classe ; ne s’applique pas directement aux ensembles de générateurs infinis, ni aux propriétés qui ne survivent pas aux opérations de réduction naturelles.

Tension sémantique

Peut se confondre avec l’induction structurelle sur la taille des objets ou l’induction sur l’ordre/indice ; la distinction est que l’induction sur les générateurs mesure un paramètre d’ensemble de générateurs plutôt que la cardinalité ou d’autres invariants, et il faut veiller au maintien de l’hypothèse de minimalité ou de finitude.

Synthèse

L’induction sur le nombre de générateurs est un principe d’induction ciblé : établir une base pour de petits nombres de générateurs et montrer comment réduire une instance à k+1 générateurs à une instance à k, prouvant ainsi la propriété pour tous les objets engendrés de manière finie de la classe considérée via quotients, sous‑structures ou relations.