QUI SONT SOLUBLES PA1 RADICAUX

(Frafaeat.)

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 p^p é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 i 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» n étant premier, le groupe de l'équation se partage en n groupes irréductibles conjugués, mais non primitifs. Car, i moins que le degré de l'équation soit premier, un pareil groupe se présentera toujours dans la suite des décompositions.

SoitN le degré de l'équation, et supposons qu'après une extraction de racine de degré premier n, elle devienne non primitive et se partage en Q équations primitives de degré P, au mojen d'une seule équation de degré Q*

Si nous appelons G le groupe de l'équation, ce groupe devra se partager en n groupes conjugués non primitifs, dans lesquels les lettres se rangeront en systèmes composés de P lettres conjointes chacun. Voyons de combien de manières cela pourra se faire.

Soit H l'un des groupes conjugués non primitifs. II est aisé de

(») Voir la Note i de la page 33.

▼oir que, dans ce groupe, deux lettres quelconques prises à volonté feront partie d'un certain système de P 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 P lettres conjointes, le groupe G, qui est tel que Tune quelconque de ses substitutions transforme les unes dans les autres toutes les substitutions du groupe H, 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 P lettres conjointes ne seraient pas primitifs, ce qui est encore contre l'hypothèse.

Cela posé, soient

«t» «Il

«t» •'•! «*-lt

^ll -«M £*-!♦

Cft • • • i Cf— |

les N lettres : supposons que chaque ligne horizontale représente un système de lettres conjointes. Soient

«ti «i#,i, at ïtt ...♦ «#,*-»

P lettres conjointes toutes situées dans la première colonne ver* ticale. (Il est clair que nous pouvons faire qu'il en soit ainsi, en intervertissant l'ordre des lignes horizontales.) Soient, de même,

«i f tt «i,i, «i|,ii «I,», ... f <*i,r—i

P lettres conjointes toutes situées dans la seconde colonne verticale, en sorte que

tf Mi «M» «l.îi «M» «-«f «I,*— 1

appartiennent respectivement aux mêmes lignes horizontales que

«Mi a Mi a M» «Mi •••! «#,*-!•

soient, de même, les systèmes de lettres conjointes

«M» «t»lt «M» «Mi •••» «it^-lt «M» «*.l» «Mi «M* • • • • «*t*-Hi

nous obtiendront ainsi, en tout, P* lettres. Si le nombre total des lettres n*esl pas épuisé, on prendra un troisième indice, en sorte que

soit, en général, un système de lettres conjointes ; et Ton parviendra ainsi & cette conclusion, que N = P*, u, étant an certain nombre égal à celui des indices différents dont on aura besoin. La forme générale des lettres sera

A'n *st *«, . . ., Ay étant des indices qui peuvent prendre chacun les P valeurs o, i , a, 3, . . . , P — t.

On voit aussi, par la manière dont nous avons procédé, que, dans le groupe H, toutes les substitutions seront de la forme

puisque chaque indice correspond & un système de lettres conjointes.

Si P n'est pas un nombre premier, on raisonnera sur le groupe de permutations de Pun quelconque des systèmes de lettres conjointes, comme sur le groupe G, en remplaçant chaque indice par un certain nombre de nouveaux indices, et Ton trouvera P = 11*, et ainsi de suite; d'où enfin N = /> v » p étant un nombre premier.

Des équations primitives de degré p*.

Arrêtons-nous un moment pour traiter de suite les équations primitives d'un degré /»', p étant premier impair. (Le cas de p=2 a été examiné.) Si une équation du degré p* est soluble par radicaux, supposons-la d'abord telle, qu'elle devienne non primitive par une extraction de radical.

Soit donc G un groupe primitif de p* lettres qui se partage en n groupes non primitifs conjugués à H.

Les lettres devront nécessairement, dans le groupe H, se ranger

ainsi :

«Mt

«i.lt

*Mt

<V-Mi

«/-l,lt

«*-l,it

«*-i.*-ti

chaque ligne horizontale et chaque ligne verticale étant un système de lettres conjointes.

Si Ton 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

(**•»*»» a m t kg+» tt M t k t +» ê )*

Si un groupe G se partage en n 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 :

Supposons donc que Tune des substitutions du groupe G se forme en remplaçant respectivement

*i psr fi(*i,*i), *• par ?,(*,,*,).

Si, dans les fonctions ç a , ç„ on substitue pour t % et k t les valeurs k% + «i , k t + ec 9 , il devra venir des résultats de la forme

et de là il est aisé de conclure immédiatement que les substitutions du groupe G doivent être tontes comprises dans la formule

(A) (**«•*•' *Mjk t +m % *+* % mf^mJk g ++)f

Or nous savons, par le n* ( ■ ), que les substitutions du groupe G ne peuvent embrasser que/»* — i ou p* — p lettres. Ce n'est point p 1 — p, 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 a#,#, par exemple, conserve toujours la même place, on n'aura que des substitutions de Tordre />• — i entre les p % — i autres lettres.

Mais rappelons-nous ici que c Y 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 beau* coup plus composés.

Il s'agit donc de reconnaître dans quel cas ces groupes pourront admettre des substitutions où p % ~ p lettres seulement varieraient, et cette recherche va nous retenir quelque temps.

Soit donc G un groupe qui contienne quelque substitution de l'ordre /> s — p; 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 Và-aie pour les substitutions de l'ordre p 1 — i ; il suf Gt donc de la démontrer pour celles de l'ordre /»* — />. Ne considérons donc qu'un groupe où les substitutions seraient toutes m de l'ordre p* ou de l'ordre />* — p. (Voyez l'endroit cité.)

Alors les/» lettres qui, dans une substitution de l'ordre/»* — p, ne varieront pas, devront être des lettres conjointes.

Supposons que ces lettres conjointes soient

*M» «Mt *m» •••• ••##-••

Nous pouvons déduire toutes les substitutions où ces/» lettres ne changent pas de place, nous pouvons les déduire de substitutions

(•) Ce Mémoire faisaat suite à «a tarait de Galoit qae je ae possède pas, il i*est impossible d'indiquer le Mémoire cité ici et pies bas. (A. Ca.)

de la forme

el 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 p 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 dan» les autres; donc elles seront aussi linéaires.

Nous sommes donc arrivés à cette conclusion, que le groupe primitif de permutations de p* lettres doit ne contenir que des substitutions de la forme (A).

Maintenant, prenons le groupe total que Ton 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 resolubililé des équations.

Quel est d'abord le nombre total des substitutions linéaires? Premièrement, il est clair que toute transformation de la forme

k\j A*, JM| ki -4- jt| X*i-+- «ii m% k% •+• Ht &t + *t

ne sera pas pour cela une substitution ; car il faut, dans une substitution, qu'a 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 <Z/,,/ t de la seconde permutation, et que Ton remonte & la lettre correspondante dans la première, on devra trouver une lettre <*ki,k% où les indices k%, k t seront parfaitement déterminés. 11 faut donc que, quels que soient /i et /*, on ait, par les deux équations

m t k t -h Ji|£f+- «i=* /,, m,*, + JisJts+ *i=* h*

des valeurs de k% et k t finies el déterminées. Ainsi la condition pour qu'une pareille transformation soit réellement une substitution est que m t n t — m t n t 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, i 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, n divisera le nombre des lettres. Et, en effet, quel que soit le nombre des lettres qui restent fixes, on pourra exprime.* cette circonstance par des équations linéaires qui donneront tous les indices de Tune des lettres fixes, au moyen d*un certain nombre d'entre eux. Donnant à chacun de ces indices, restés arbitraires, p valeurs, on aura p m systèmes de valeurs, m étant un certain nombre. Dans le cas qui nous occupe, m est nécessairement < a et se trouve par conséquent être o ou i . Donc le nombre des substitutions ne saurait être plus grand que

Ne considérons maintenant que les substitutions linéaires où la lettre a 9f § 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

Or, premièrement, en substituant p à l'indice k% f toutes les substitutions de la forme

(**..*» fl «M)

donneront en tout p — i substitutions. On en aura p*—p en ajoutant au terme k t le terme m t k îf ainsi qu'il suit :

(m') ( A|, ku j*i Ai» »ti kt •+■ k%).

D'un autre côté, il est aisé de trouver un groupe linéaire dep* — i permutations, tel que, dans chacune de ses substitutions, toutes les lettres, & l'exception de a 9 , # , varient. Car, en remplaçant le double indice k %t k % par l'indice simple Ai-htt t ,

i étant une racine primitive de

«i*- 1 — 1 = (mod/>), 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/* 1 — i.

Nous avons donc un système de p* — i permutations tel que, dans chacune de ses substitutions, toutes les lettres varient, à l'exception de a 9a9 . Combinant ces substitutions avec les/» 1 — p dont il est parlé plus haut, nous aurons

(p* — 1 ) (p* — p ) substitutions.

Or, nous avons vu a priori que le nombre des substitutions où <?*,* reste fixe ne pouvait être plus grand que (p 7 — >)(/>' — />)• Donc il est précisément égal à (p* — *)(p*—p)i cl I e groupe linéaire total aura en toul

/>*(/>* — ' )(/>* — P) permutations*

11 reste a chercher les diviseurs de ce groupe, qui peuvent jouir de la propriété d'être sol u blés 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é p 1 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é p % — 1 dont le groupe n'aurait que des substitutions de la forme

les/»* — 1 lettres étanl

^*lt ^#,t» £m» ••••

b%*% ^Mt &*#» ^m» ••••

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 Ton remplace par une seule lettre chaque système de lettres conjointes 9 on aura un groupe dont toutes les substitutions seront de la forme

r étant les nouveaux indices. En remplaçant ce rapport par un seul indice À*, on voit que les/» + 1 lettres seront

£ft ^lt &lf ^lf •••! ^-ii *ji

et les substitutions seront de la forme

(. mk+m\

Cherchons combien de lettres, dans chacune de ces substitutions! restent à la même place; il faut pour cela résoudre l'équation

(/•*-*-#)*— m(mk+ *) = ©,

qui aura deux, ou une, ou aucune racine» suivant que (m — *)*+ 4 nr sera résidu quadratique, nul ou non résidu quadratique. Suivant ces trois cas, la substitution sera de Tordre p — i , ou p t oap -H 1 . On peut prendre pour type des deux premiers cas les substitutions de la forme

(A, mk ■+■ «),

où la seule lettre b. 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 a une équation soluble par radicaux.

Dans ce cas, l'équation serait primitive et elle ne pourrait être

soluble par radicaux, à moins que Ton n'eût /> -h i = a*, a étant nn certain nombre.

Nous pouvons supposer que le groupe ne contienne que des substitutions de l'ordre p et de Tordre p -f- 1 . Toutes les substitutions de Tordre p -h i seront par conséquent semblables, et leur période sera de deux termes.

Prenons donc l'expression

mk-

et vojons 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 m= — s, et toutes les substitutions en question seront

on encore

N é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 p f (A*, k -h im); or ces substitutions doivent, de plus, être conjuguées les unes des autres. Si donc

(*• m + r~s)« (*• *+tt)

sont deux pareilles substitutions, il faut que Ton ait

Il •+• jy — «^ -1 M P

savoir

(m — *) f asaN.

Donc la différence entre deux valeurs de m ne peut acquérir

que deux valeurs différentes; donc m ne peut avoir plus de trois valeurs; donc enfin /> = 3. 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 li qu'en général, parmi les substitutions de notre groupe réduit, il ne devra pas se trouver de substitutions de Tordre /». Peut-il j en avoir de Tordre/» — i ? C'est ce que je vais rechercher (•).

(') J'ai cherché iaalilemeot daas les papiers de Gatois la coaUaaatioa de ce qa'oa vîeat de lire. (A. Ca.)