Page:Galois - Œuvres mathématiques, Gauthier-Villars, 1897.djvu/75

La bibliothèque libre.
Cette page a été validée par deux contributeurs.
47

Maintenant, le groupe qui précédera immédiatement celui-ci dans l’ordre des décompositions devra se composer d’un certain nombre de groupes ayant tous les mêmes substitutions que celui-ci. Or, j’observe que ces substitutions peuvent s’exprimer ainsi (faisons, en général, il est clair que chacune des substitutions du groupe s’obtient en mettant partout à la place de , , étant une constante).

Considérons l’un quelconque des groupes semblables au groupe D’après le théorème II, il devra s’obtenir en opérant partout dans ce groupe une même substitution ; par exemple, en mettant partout dans le groupe à la place de , , étant une certaine fonction.

Les substitutions de ces nouveaux groupes devant être les mêmes que celles du groupe on devra avoir

étant indépendant de .

Donc

Si , on trouvera

ou bien

et étant des constantes.

Donc, le groupe qui précède immédiatement le groupe ne devra contenir que des substitutions telles que

et ne contiendra pas, par conséquent, d’autre substitution circulaire que celle du groupe