Œuvres mathématiques/8
Cherchons, en général, dans quel cas une équation primitive est soluble par radicaux. Or, nous pouvons de suite établir un caractère général fondé sur le degré même de ces équations. Ce caractère est celui-ci : Pour qu’une équation primitive soit résoluble par radicaux, il faut que son degré soit de la forme , étant premier. Et de là suivra immédiatement que, lorsqu’on aura à résoudre par radicaux une équation irréductible dont le degré admettrait des facteurs premiers inégaux, on ne pourra le faire que par la méthode de décomposition due à M. Gauss ; sinon l’équation sera insoluble.
Pour établir la propriété générale que nous venons d’énoncer relativement aux équations primitives qu’on peut résoudre par radicaux, nous pouvons supposer que l’équation que l’on veut résoudre soit primitive, mais cesse de l’être par l’adjonction d’un simple radical. En d’autres termes, nous pouvons supposer que, étant premier, le groupe de l’équation se partage en groupes irréductibles conjugués, mais non primitifs. Car, à moins que le degré de l’équation soit premier, un pareil groupe se présentera toujours dans la suite des décompositions.
Soit le degré de l’équation, et supposons qu’après une extraction de racine de degré premier , elle devienne non primitive et se partage en équations primitives de degré , au moyen d’une seule équation de degré .
Si nous appelons le groupe de l’équation, ce groupe devra se partager en groupes conjugués non primitifs, dans lesquels les lettres se rangeront en systèmes composés de lettres conjointes chacun. Voyons de combien de manières cela pourra se faire.
Soit l’un des groupes conjugués non primitifs. Il est aisé de voir que, dans ce groupe, deux lettres quelconques prises à volonté feront partie d’un certain système de lettres conjointes, et ne feront partie que d’un seul.
Car, en premier lieu, s’il y avait deux lettres qui ne pussent faire partie d’un même système de lettres conjointes, le groupe , qui est tel que l’une quelconque de ses substitutions transforme les unes dans les autres toutes les substitutions du groupe , serait non primitif, ce qui est contre l’hypothèse.
En second lieu, si deux lettres faisaient partie de plusieurs systèmes différents, il s’ensuivrait que les groupes qui répondent aux divers systèmes de lettres conjointes ne seraient pas primitifs, ce qui est encore contre l’hypothèse.
Cela posé, soient
les lettres : supposons que chaque ligne horizontale représente un système de lettres conjointes. Soient
lettres conjointes toutes situées dans la première colonne verticale. (Il est clair que nous pouvons faire qu’il en soit ainsi, en intervertissant l’ordre des lignes horizontales.)
Soient, de même,
lettres conjointes toutes situées dans la seconde colonne verticale, en sorte que
appartiennent respectivement aux mêmes lignes horizontales que
soient, de même, les systèmes de lettres conjointes
soit, en général, un système de lettres conjointes ; et l’on parviendra ainsi à cette conclusion, que , étant un certain nombre égal à celui des indices différents dont on aura besoin. La forme générale des lettres sera
étant des indices qui peuvent prendre chacun les valeurs .
On voit aussi, par la manière dont nous avons procédé, que, dans le groupe , toutes les substitutions seront de la forme
puisque chaque indice correspond à un système de lettres conjointes.
Si n’est pas un nombre premier, on raisonnera sur le groupe de permutations de l’un quelconque des systèmes de lettres conjointes, comme sur le groupe , en remplaçant chaque indice par un certain nombre de nouveaux indices, et l’on trouvera , et ainsi de suite ; d’où enfin , étant un nombre premier.
Des équations primitives de degré .
Arrêtons-nous un moment pour traiter de suite les équations primitives d’un degré , étant premier impair. (Le cas de a été examiné.) Si une équation du degré est soluble par radicaux, supposons-la d’abord telle, qu’elle devienne non primitive par une extraction de radical.
Soit donc un groupe primitif de lettres qui se partage en groupes non primitifs conjugués à .
Les lettres devront nécessairement, dans le groupe , se ranger ainsi :
chaque ligne horizontale et chaque ligne verticale étant un système de lettres conjointes.
Si l’on permute entre elles les lignes horizontales, le groupe que l’on obtiendra, étant primitif et de degré premier, ne devra contenir que des substitutions de la forme
les indices étant pris relativement au module .
Il en sera de même pour les lignes qui ne pourront donner que des substitutions de la forme
Donc enfin toutes les substitutions du groupe H seront de la
forme
Si un groupe G se partage en groupes conjugués à celui que
nous venons de décrire, toutes les substitutions du groupe G devront transformer les unes dans les autres les substitutions circulaires du groupe H, qui sont toutes écrites comme il suit :
(a)
Supposons donc que l’une des substitutions du groupe G se forme en remplaçant respectivement
Si, dans les fonctions , , on substitue pour et les valeurs , , il devra venir des résultats de la forme
(A),
Or nous savons, par le no ([2]), que les substitutions du groupe G ne peuvent embrasser que ou lettres. Ce n’est point , puisque, dans ce cas, le groupe G serait non primitif. Si donc, dans le groupe G, on ne considère que les permutations où la lettre , par exemple, conserve toujours la même place, on n’aura que des substitutions de l’ordre entre les autres lettres.
Mais rappelons-nous ici que c’est simplement pour la démonstration que nous avons supposé que le groupe primitif G se partageât en groupes conjugués non primitifs. Comme cette condition n’est nullement nécessaire, les groupes seront souvent beaucoup plus composés.
Il s’agit donc de reconnaître dans quel cas ces groupes pourront admettre des substitutions où lettres seulement varieraient, et cette recherche va nous retenir quelque temps.
Soit donc G un groupe qui contienne quelque substitution de l’ordre ; je dis d’abord que toutes les substitutions de ce groupe seront linéaires, c’est-à-dire de la forme (A).
La chose est reconnue vraie pour les substitutions de l’ordre ; il suffit donc de la démontrer pour celles de l’ordre . Ne considérons donc qu’un groupe où les substitutions seraient toutes de l’ordre ou de l’ordre . (Voyez l’endroit cité.)
Alors les lettres qui, dans une substitution de l’ordre , ne varieront pas, devront être des lettres conjointes.
Supposons que ces lettres conjointes soient
Nous pouvons déduire toutes les substitutions où ces lettres ne changent pas de place, nous pouvons les déduire de substitutions de la forme
et de substitutions de l’ordre , dont la période serait de
termes. (Voyez encore l’endroit cité.)
Les premiers doivent nécessairement, pour que le groupe jouisse de la propriété voulue, se réduire à la forme
d’après ce qu’on a vu pour les équations de degré .
Quant aux substitutions dont la période serait de termes, comme elles sont conjuguées aux précédentes, nous pouvons supposer un groupe qui les contienne sans contenir celles-ci : donc elles devront transformer les substitutions circulaires (a) les unes dans les autres ; donc elles seront aussi linéaires.
Nous sommes donc arrivés à cette conclusion, que le groupe primitif de permutations de lettres doit ne contenir que des substitutions de la forme (A).
Maintenant, prenons le groupe total que l’on obtient en opérant sur l’expression
toutes les substitutions linéaires possibles, et cherchons quels
sont les diviseurs de ce groupe qui peuvent jouir de la propriété
voulue pour la résolubilité des équations.
Quel est d’abord le nombre total des substitutions linéaires ? Premièrement, il est clair que toute transformation de la forme
ne sera pas pour cela une substitution ; car il faut, dans une
substitution, qu’à chaque lettre de la première permutation il ne
réponde qu’une seule lettre de la seconde, et réciproquement.
Si donc on prend une lettre quelconque de la seconde permutation, et que l’on remonte à la lettre correspondante dans la première, on devra trouver une lettre où les indices , seront parfaitement déterminés. Il faut donc que, quels que soient et , on ait, par les deux équations
des valeurs de et finies et déterminées. Ainsi la condition
pour qu’une pareille transformation soit réellement une
substitution est que ne soit ni nul ni divisible par le module , ce qui est la même chose.
Je dis maintenant que, bien que ce groupe à substitutions linéaires n’appartienne pas toujours, comme on le verra, à des équations solubles par radicaux, il jouira toutefois de cette propriété, que, si dans une quelconque de ses substitutions il y a lettres de fixes, divisera le nombre des lettres. Et, en effet, quel que soit le nombre des lettres qui restent fixes, on pourra exprimer cette circonstance par des équations linéaires qui donneront tous les indices de l’une des lettres fixes, au moyen d’un certain nombre d’entre eux. Donnant à chacun de ces indices, restés arbitraires, valeurs, on aura systèmes de valeurs, étant un certain nombre. Dans le cas qui nous occupe, est nécessairement et se trouve par conséquent être ou . Donc le nombre des substitutions ne saurait être plus grand que
Ne considérons maintenant que les substitutions linéaires où la lettre ne varie pas ; si, dans ce cas, nous trouvons le nombre total des permutations du groupe qui contient toutes les substitutions linéaires possibles, il nous suffira de multiplier ce nombre par .
Or, premièrement, en substituant à l’indice , toutes les substitutions de la forme
donneront en tout substitutions. On en aura en
ajoutant au terme le terme ainsi qu’il suit :
D’un autre côté, il est aisé de trouver un groupe linéaire de permutations, tel que, dans chacune de ses substitutions, toutes les lettres, à l’exception de , varient. Car, en remplaçant le double indice , par l’indice simple , étant une racine primitive de
il est clair que toute substitution de la forme
sera une substitution linéaire ; mais, dans ces substitutions,
aucune lettre ne reste à la même place, et elles sont au nombre
de .
Nous avons donc un système de permutations tel que, dans chacune de ses substitutions, toutes les lettres varient, à l’exception de . Combinant ces substitutions avec les dont il est parlé plus haut, nous aurons
Or, nous avons vu a priori que le nombre des substitutions où reste fixe ne pouvait être plus grand que . Donc il est précisément égal à dont le groupe linéaire total aura en tout
Il reste à chercher les diviseurs de ce groupe, qui peuvent jouir de la propriété d’être solubles par radicaux. Pour cela, nous allons faire une transformation qui a pour but d’abaisser autant que possible les équations générales de degré dont le groupe serait linéaire.
Premièrement, comme les substitutions circulaires d’un pareil groupe sont telles, que toute autre substitution du groupe les transforme les unes dans les autres, on pourra abaisser l’équation d’un degré et considérer une équation de degré dont le groupe n’aurait que des substitutions de la forme
les lettres étant
J’observe maintenant que ce groupe est non primitif, en sorte que toutes les lettres où le rapport des deux indices est le même sont des lettres conjointes. Si l’on remplace par une seule lettre chaque système de lettres conjointes, on aura un groupe dont toutes les substitutions seront de la forme
étant les nouveaux indices. En remplaçant ce rapport par un seul indice , on voit que les lettres seront
et les substitutions seront de la forme
Cherchons combien de lettres, dans chacune de ces substitutions, restent à la même place ; il faut pour cela résoudre l’équation
qui aura deux, ou une, ou aucune racine, suivant que sera résidu quadratique, nul ou non résidu quadratique. Suivant ces trois cas, la substitution sera de l’ordre , ou , ou .
On peut prendre pour type des deux premiers cas les substitutions de la forme
où la seule lettre ne varie pas, et de là on voit que le nombre total des substitutions du groupe réduit est
C’est après avoir ainsi réduit ce groupe que nous allons le
traiter généralement. Nous chercherons d’abord dans quel cas un diviseur de ce groupe, qui contiendrait des substitutions de l’ordre , pourrait appartenir à une équation soluble par radicaux.
Dans ce cas, l’équation serait primitive et elle ne pourrait être soluble par radicaux, à moins que l’on n’eût , étant un certain nombre.
Nous pouvons supposer que le groupe ne contienne que des substitutions de l’ordre et de l’ordre . Toutes les substitutions de l’ordre seront par conséquent semblables, et leur période sera de deux termes.
Prenons donc l’expression
et voyons dans quel cas cette substitution peut avoir une période de deux termes. Il faut pour cela que la substitution inverse se confonde avec elle. La substitution inverse est
Donc on doit avoir , et toutes les substitutions en question seront
ou encore
étant un certain nombre qui est le même pour toutes les substitutions, puisque ces substitutions doivent être transformées les unes dans les autres par toutes les substitutions de l’ordre , ; or ces substitutions doivent, de plus, être conjuguées
les unes des autres. Si donc
sont deux pareilles substitutions, il faut que l’on ait
savoir
Donc la différence entre deux valeurs de ne peut acquérir que deux valeurs différentes ; donc ne peut avoir plus de trois valeurs ; donc enfin . Ainsi, c’est seulement dans ce cas que le groupe réduit pourra contenir des substitutions de l’ordre .
Et, en effet, la réduite sera alors du quatrième degré, et, par conséquent, soluble par radicaux.
Nous savons par là qu’en général, parmi les substitutions de notre groupe réduit, il ne devra pas se trouver de substitutions de l’ordre . Peut-il y en avoir de l’ordre ? C’est ce que je vais rechercher ([3]).