Induction sur le Nombre de Générateurs

- Mathematics & Logic -
Pure Mathematics Dictionary
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.