Induction sur le Nombre de Générateurs
Définition
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.