— 39 —
les racines soient fonctions rationnelles de
. Cela posé, considérons l’équation irréductible dont
est racine (lemmes III et IV). Soient
les racines de cette équation.
Soient
les racines de la proposée.
Écrivons les
permutations suivantes des racines :
je dis que ce groupe de permutations jouit de la propriété énoncée.
En effet :
1o Toute fonction
des racines, invariable par les substitutions de ce groupe, pourra être écrite ainsi :
, et l’on aura
![{\displaystyle \mathrm {\psi V=\psi V'=\psi V''} =\ldots =\psi \mathrm {V} ^{(n-1)}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d682807206d14e57b697e5c3c4c3ced18155f5e)
La valeur de
pourra donc se déterminer rationnellement.
2o Réciproquement, si une fonction
est déterminable rationnellement, et que l’on pose
, on devra avoir
puisque l’équation en V n’a pas de diviseur commensurable et que V satisfait à l’équation
,
étant une quantité rationnelle. Donc la fonction
sera nécessairement invariable par les substitutions du groupe écrit ci-dessus.
Ainsi, ce groupe jouit de la double propriété dont il s’agit dans le théorème proposé. Le théorème est donc démontré.
Nous appellerons groupe de l’équation le groupe en question.
Scolie I. — Il est évident que, dans le groupe de permutations dont il s’agit ici, la disposition des lettres n’est point à considérer, mais seulement les substitutions de lettres par lesquelles on passe d’une permutation à l’autre.
Ainsi l’on peut se donner arbitrairement une première permutation, pourvu que les autres permutations s’en déduisent toujours par les mêmes substitutions de lettres. Le nouveau groupe ainsi formé jouira évidemment des mimes propriétés que le premier,