Ce portrait d'variste Galois, publi par le Magasin pittoresque

en 1848, a t fait de mmoire par son frre Alfred

PURES ET APPLIQUES.
MMOIRE
Sur les conditions de rsolubilit des quations par radicaux.
Le Mmoire ci-joint [*] est extrait d'un ouvrage que j'ai eu l'honneur
de prsenter l'Acadmie il y a un an. Cet ouvrage n'ayant pas t
compris, ies propositions qu'il renferme ayant t rvoques en doute,
j'ai d me contenter de donner, sous forme synthtique, les principes
gnraux, et une seule application de ma thorie. Je supplie mes juges
de lire du moins avec attention ce peu de pages.
On trouvera ici une pondition gnrale laquelle satisfait toute
quation soluble par radicaux~ et qui rciproquement assure leur rso-
lubilit. On en fait l'application seulement aux quations dont le degr
est un nombre premier. Voici le thorme donn par notre analyse :
" Pour qu'une quation de degr premier, qui n'a pas de diviseurs
Il commensurables, soit soluble par radicaux, iIfaut et il slfiJit que
Il toutes les racines soient des fonctions rationnelles de deux quelcon-
Il ques d'entre elles. Il
Les autres applications de la thorie sont elles-mmes autant de
thories particulires. Elles ncessitent d'ailleurs l'emploi de la thorie
des nombres, et d'un algorithme particulier: nous les rservons pour
une autre occasion. Elles sont en partie relatives aux quations modu-
laires de la thorie des fonctions elliptiques, que nous dmontrons ne
pouvoir se rsoudre par radicaux.
Ce 16 janvier 1831.
E. GALOIS.
~ ] J'ai jug eonvenable de placer en tte de ce Mmoire la prface qu'on va lire, bien
que je l'aie trouve biffe dans le manuscrit. A. Cil.
4[8
JOURNAL DE MA.THMATIQUES
PRINCIPES.
Je commencerai par tablir quelques dfinitions et une suite de
lemmes qui sont tous connus.
Dfinitions. Une quation est dite rductible quand elle admet des
diviseurs rationnels; irrductible dans le cas contraire.
Il faut ici expliquer ce qu'on doit entendre par le mot
car il s-e reprsentera souvent.
Quand l'quation a tous ses coefficients numriques et rationnels,
cela veut dire simplement que l'quation peut se dcomposer en fac-
teurs qui aient leurs coefficients numriques et rationnels.
Mais quand les coefficients d'une quation ne seront pas tous num-
riques et rationnels, alors il faudra entendre par diviseur rationnel
un diviseur dont les coefficients s"expr-imeraient en fonction rationnelle
des coefficients de la propose, en gnral par quantit rationnelle, une
quantit qui s'exprime en fonction rationnelle des coefficients de la
propose.
Il y a plus: on pourra convenir de regarder comme rationnelle
toute fonction rationnelle d'un certain.nombre de quantits dtermi-
nes, supposes connues priori. Par exemple, on pourra choisir une
certaine racine d'un nombre entier, et regarder comme rationnelle
toute fonction rationnelle de ce radical.
nous conviendrons de regarder ainsi comme connues de
certaines quantits, nous dirons que nous les adjoignons l'quation
qu'il s'agit de rsoudre. Nous dirons que ces quantits sont adjoints
l'quation. ..
Cela pos, nous appellerons rationnelletoute quantit qui s'exprimera
en fonctio:Q rationnelle des coefficients de l'quation et d'un certain
nombre de quantits adjOintes l'quation et convenues arbitrairement.
Quand nous nous servirons d'quations auxiliaires, elles seront ra-
tionnelles, si leurs coefficients sont rationnels en notre sens.
On voit, au surplus, que les proprits et les difficults d'une qua-
tion peuvent tre tout fait diffrentes suivant les quantits qui lui
sont adjointes. Par exemple, l'adjonction d'une quantit peut rendre
rductible une quation irrductible.
PURES ET APPLIQUES.
Ainsi, quand on adjoint l'quation
x
R
- l
--- = 0, o n est premier,
x- l
4
1
9
une racine d'une des quations auxiliaires de M. Gauss, cette quation
se dcompose en facteurs, et devient par consquent rductible.
Les substitutions sont le passage d'une permutation l'autre.
La permutation d'o l'on part pour indiquer les substitutions est
toute arbitraire, quand il s'agit de fonctions; car il n'y a aucune raison
pour que, dans une fonction de plusieurs lettres, une lettre occupe un
rang plutt qu'lm autre.
Cependant, comme on ne peut gure se former l'ide d'une substi-
tution sans se former celle d'une permutation, nous ferons dans le'lan-
gage un emploi frquent des permutations, et nous ne considrerons
les substitutions que comme le passage d'une permutation une autre.
Quand nous voudrons grouper des substitutions, nous les feroQs
toutes provenir d'une mme permutation.
Comme il s'agit toujours de questions o la disposition primitive
des lettres n'influe en rien dans les groupes que nous considrerons,
on devra avoir les mmes substitutions, quelleque soit la permutation
d'o l'on sera parti. Donc, si dans un pareil groupe on a les substitu-
tions S et T, on est sr d'avoir la substitution ST.
Telles sont les dfinitions que nous avons cru devoir rappeler.
LEMME 1. Une quation irrductible ne peut avoir aucune ra-
cine commune avec une quation rationnelle, sans la diviser.
Car le plus grand commun diviseur entre l'quation irrductible
et l'autre quation, sera encore rationnel; donc, etc.
LEMME II. tant donne une quation quelconque, qui n'a pas
de racines gales, dont les racines sont a, b, c, ... , on peut tou-
jours former une fonction V des racines, telle qu'aucune des valeurs
l) que l'on obtient en permutant dans cette fonction les racines de
)t toutes manires, ne soient gales.
Par exemple, on peut prendre
V = Aa + Bb + Cc + .... ,
A, B, C tant des nombres entiers convenablement choisis.
JOURNAL DE MATHMATIQUES
LEMME III. La fonction V tant choisie comme il est indiqu
dans l'article prcdent, elle jouira de cette proprit, que b:mtes
les racines de l'quation propose s'exprimeront rationnellement en
fonction de V. "
En effet, soit
V = 1(a, b, c, d, .. . ),
ou bien
V - 1 (a, b, c, d, . .. ) = o.
Multiplions entre elles toutes les quations semblables, que l'on ob
tient en permutant dans celles-ci toutes les lettres, la premire seule-
ment restant fixe; il viendra une expression suivante :
[V- rp (a, b, c, d, ...)] [V- 1(Cf- , c, b, d, ...)] [V- 1(a, b, d, c, .. .]... ,
symtrique en b, c, d, ... , laquell pourra par consquent s'crire en
fonction de a. Nous aurons donc une quation de la forme
F(V,a)=o.
Or je dis que de l on peut tirer la valeur de a. TI suffit pour cela de
chercher la solution commune cette quation et la propose. Cette
solution est la seule commune, car on ne peut avoir, par exemple,
F (V, b) = 0,
cette quation ayant un facteur commun avec l'quation semblable,
sans quoi l'une des fonctions rp (a, ... ) serait "gale l'une des fonc-
tions 1 (b, ... ); ce qui est contre l'hypothse.
Il suit de l que a s'exprime en fonction rationnelle de V, et il en
est de mme des autres racines.
Cette proposition [-le Jest cite sans dmonstration par Abel, dans -le
l\'1moire posthume sur les fonctions elliptiques.
LEMME IV. c( Supposons que l'on ait form l'-quation en V, et
["] Il est remarquable, que de cette proposition on peut conclure que toute qua-
tion dpend d'une quation auxiliaire telle, que toutes les racines de cette nouvelle
PURES ET APPLIQUES.
que l'on ait pris l'un de ses facteurs irrductibles, en sorte que V
soit racine d'une quation irrductible. Soient V, V', V", ... les ra-
II cines de cette quation irrductible. Si a = f (V) est une des racines
de la propose, ft V') de mme sera une racine de la propose. II
En effet, en multipliant entre eux tous les facteurs de la forme
V- P(a, b, c, ... , d), o l'on aura opr sur les lettres toutes les
permutations possibles, on aura une quation rationnelle en V, la-
quelle se trouvera ncessairement divisible par l'quation en ques-
tion; donc V' doit s'obtenir par l'change des lettres dans la fonction V.
Soit F (V, a) = 0 l'quation qu'on obtient en permutant dans V toutes
les lettres, hors la premire. On aura donc F (V', b) = 0, b pou-
vant tre gal a, mais tant certainement l'une des racines de l'qua-
tion propose; par consquent, de mme que de la propose et de
F CV, a) =0 est rsult a =j (V), de mme il rsultera de la pro-
pose et de F (V', b) = 0 combines, la suivante b = f(V').
PROPOSITION J.
THORME. Soit une quation donne, dont a, b, c, ... sont les
m racines. Il y aura toujours un groupe de permutations des lettres
a, h, c, . .. qui jouira de la proprit sUlvllnte :
rO. Que toute fonction des racines, invariable [-1'] par les substi-
tutions de ce groupe, soit rationnellement connue;
2. Rciproquement, que toute fonction des racines, dterminable
rationnellement, soit invariable par les substitutions.
quation soient des fonctions rationnelles les unes des autres; car l'quation auxiliaire
en V est dans ce cas.
Au surplus, cette remarque est purement curieuse. En effet, une quation qui a
cette proprit n'est pas, en gnral, plus facile rsoudre qu'une autre.
[*] Nous appelons ici invariable non-seulement une fonction dont la forme est
invariable par les substitutions des racines entre elles, mais encore celle dont la valeur
numrique n varierait pas par ces substitutions. Par exemple, si Fx=0 est une qua-
tion, Fx est une fonction des racines qui ne varie par aucune permutation.
Quand nous disons qu'une fonction est rationnellement connue, nous voulons dire
que sa valeur numrique est exprimable en fonction rationnelle des coefficients de l'-
quation et des quantits djointes.
422 JOURNAL DE MATHMA.TIQUES
(Dans le cas des quations algbriques, -ce groupe n'est autre chose
que l'ensemble des 1 .2 .3 .... mpermutations possibles sur les m
lettres, puisque, dans ce cas, les fonctions symtriques sont seules
dtermj.D.ables rationnellement.)
(nans le cas de l'quation: rI =0, si l'on suppose a =r, b== r
C
,
c = r
C
, , g tant une racine primitive, le groupe de permutations
sera simplement celui-ci :
abcd . . . . , k
hcd. . . ka
cd kab
kabc. .. . .. i;
dans ce cas particulier; le nombre des permutations est gal au degr
de l'quation, et la mme chose aurait .lieu dans les quations dont
toutes les racines seraient des fonctions rationnelles les unes des
autres.)
DMONSTRATION. Quelle que soit l'quation donne,' on pourra
trouver une fonction rationnelle V des racines, telle que toutes les
racines soientfonctio:ns rationnelles de V. Cela: pos, considrons l'qua-
tion irrductible dont V est racine (lemmes III et IV). Soient V, V',
V", ... , v<n-fj les racines de cette quation.:
Soient cpV, CPfV,CP2V"", cpm-fV les racines la propose.
crivons les Tl, permutations suivantes des racines
(V) cpV, CPfV, CP2V,.,., cpm":fV,
. (V') cpV', CPf V', CP2V', , cpm-f V',
. (V") cpV", cPfV", CP2V", ,. cpm_fV",
mV<n-fj m v<n...d) m v(n-fj m v<n-f).
T , T { , T2 " , Tm-f ..
je dis que ce groupe de permutations jouit de la proprit nonce.
En effet, 1 toute fonction :li' des racines, invaria,ble par les substi..
tutions de ce groupe, pourra tre crite ainsi: F = t\JV, et l'on ura
t\JV = t\JV
l
= t\JV" = ... == t\Jv<n-f
j

La valeur de F pourra donc se dterminer rationnellement.

PURES ET APPLJQlJES.
2
0
Rciproquement. Si une fonction F est dterminable rationnel-
lement, et que l'on pose F = V, on devra avoir
= = = ... =
puisque l'quation en V n'a pas de diviseur commensurable et que V
satisfait l'quation F == F tant une quantit rationnelle. Donc
la fonction F sera ncessairement invariable par les substitutions du
groupe crit
Ainsi, ce groupe jouit de la double proprit dont il s'agit dans le
thorme propos. Le thorme est donc dmontr.
Nous appellerons groupe de l'quation le groupe en question.
Scolie l. Il est vident que dans le groupe de permutations dont il
s'agit ici, la disposition des lettres n'est point considrer, mais seule
ment les substitutions de lettres par,lesquelles on passe d'une permu-
tation l'autre.
Ainsi l'on peut se donner arbitrairement une premire permutation,
pourvu que les autres permutations s'en dduisent toujours par les
mmes substitutions de lettres. Le nouveau groupe ainsi form jouira
videmment des mmes proprits que le premier, puisque dans le
thorme prcdent, il ne s'agit que des substitutions que l'on peut
faire dans les fonctions.
Scolie 2. Les substitutions sont indpendantes -mm:e du nombre
des racines.
PROPOSITION II.
THORME ["'J. Si l'on adjoint une quation donne la racine r
["] Dans l'nonc du thorme, aprs ces mots: la racine r d'une quation auxi-
liaire irrductible, "Galois avait mis d'abord ceux-ci: de degr p premier, " qu'il
a effacs plus tard. De mme, dans l dmonstration, au lieu de r, r', r
lf
, tant
d'autres valeurs de r, " la rdaction primitive portait: r, r', r", ... tant les diverses
valeurs de r. " Enfin on trouve la marge du manuscrit la note suivante de l'auteur;
Il y a quelque chose complter dans cette dmonstration. Je n'ai pas le temps. "
Cette ligne a t jete avec une grande rapidit sur le papier; circonstance qui, jointe
aux mots: Je n'ai pas le temps" , me fait penser que Galois a reIn son Mmoire pour
le corriger avant d'aller sur le terrain. - A. Ca.
JOURNAL DE MATHMATIQUES
)) d'une quation auxiliaire irrduCtible, 1il arrivera de deux choses
)1 l'une: ou bien le groupe de l'quation ne sera pas chang, ou bien
)) il se partagera en p groupes chacun l'quation pro-
)) pose respectivement quand on lui adjoint chacune tIes racines de
)) l'quation auxiliaire; 2,0 ces groupes jouiront de la proprit re-
l) marquable, que l'on passera de l'un l'autre en oprant dans toutes
les permutations du premier une mme substitution de lettres. "
1. Si, aprs l'adjonction de r, l'quation en V, d,ont il est-question
plus haut, reste irrductible, il est clair que le groupe de l'quation
ne sera p'as chang. Si, au contraire, elle se rduit, alors l'quation en
V se dcomposera en p facteurs, tous de mme degr et de la forme
j'cV, r) xj(V, l") xf(V, l''') X . ,
", 1", ,,", tant d'autres valeurs de /". Ainsi le groupe de l'quation
propose se dcomposera aussi en groupes chacund'un mme nombre
de permutations, puisqu' chaque valeur de V correspond une
tation. Ces groupes seront respectivement ceux de l'quation propose,
quand on lui adjoindra successivement l', 1", 1''', ..
2,0. Nous avons vu plus haut que toutes les valeurs de V taient des
fonctions rationnelles les lilles des autres. D'aprs cela, supposons que
V tant une racine de f(V, r) = 0, F(V) en soit une autre; il est clair
que de mme si V' est une racine de f(V, 1") = 0, F (V') en sera une
autre; car l'on aura
f [F (V), l'] = une fonction divisible par lev, l') .
. Donc (lemme 1)
f[F(V'), l"] = une fonction divisible par I(V', r').
Cela pos, je dis que l'on obtient le groupe relatif l" en oprant
partout dans le groupe relatif r une mme substitution de lettres.
En effet, si l'on a, par exemple,
CffLF(V) = Cf.(V),
on aura encore (lemme 1)
CffLF(V') = p.CV').
PURES ET APPLIQuEEs. 425
Donc, pour passer de la [FCV)] la permutation [F(V')],
il faut faire la mme substitution que pour passer de la permutation (V)
la permutation (V').
Le thorme est donc dmontr.
PROPOSITION III.
THORME. (( Si l'on adjoint une quation toutes les racines d'une
quation auxiliaire, les groupes dont il est question dans le tho-
l'me II jouiront de plus de cette proprit, que lessubstitutions sont
Il les mmes dans chaque
On trouvera la dmonstration [1.
PROPOSITION IV.
THORME. c Si l'on adjoint une quation la valeur numrique
1) d'une certaine fonction de ses racines, le groupe de l'quation
s'abaissera de manire n'avoir plus d'autres permutations que
celles par lesquelles cette fonction est invariable.
En effet, d'aprs la proposition l, toute fonction connue doit tre
invariable par les permutations du groupe de l'quation.
(*] Dans le manuscrit, l'nonc du thorme qu'on vient de lire se trouVt"' en marge
et en remplace un autl'e que Galois avait crit avec sadmonstration sous le mme titre:
Proposition III. Voici le texte primitif: THORME. Si l'quation en r est de la forme
" rP = , et que les racinespi'mes de l'unit se trouvent au nombre des quantits prc-
" demment adjointes, les p groupes dont il est question dans le thorme II jouiront
l> de plus de cette proprit, que les substitutions de lettres par lesquelles on passe
" d'une permutation une autre dans chaque groupe soient les mmes pour tous les
l) groupes. "En effet, llans ce cas, il revient au mme d'adjoindre l'quation telle ou
telle valeur de r. Par consquent, ses proprits doivent tre les mmes aprs l'adjonc-
tion de telle ou telle valeur. Ainsi son groupe doit tre le mme quant aux substitutions
(Proposition!, scolie). Donc, etc.
T{)ut cela est effac avec soin; le nouvel nonc porte la date 1832, et montre, par la
manire dont il est crit, que l'auteur tait extrmement press, ce qui confirme l'as-
sertion qe j'ai avance dans la note prcdente. . CH.
JOURNAL DE MATHMATQUES
PROPOSITION V.
PROBLME. Dans quels cas une quation est-elle soluble par de
simples radicaux?
J'observerai d'abord que, ponr rsoudre une quation, il faut suc-
cessivement abaisser son groupe jusqu' ne contenir plus qu'Une seule
permutation. Car, quand une quation est rsolue, une fonction quel-
conque de ses racines est connue, mme quand elle n'est invariable par
aucune permutation.
Cela pos, cherchons quelle condition doit satisfaire le groupe
d'une quation, pour qu'il puisse s'abaisser ainsi par l'adjonction de
quantits radicales.
Suivons la marche des oprations possibles dans cette solution, en
considrant comme oprations distinctes J'extraction de chaque racine
de degr premier.
Adjoignons l'quation le premier radical extrait dans la solution.
Il pourra r r i v ~ deux cas: ou bien, par l'adjonctio!l de ce radical, le
groupe des permutations de l'quation sera diminu; ou bien, cette
extraction de racine n'tant qu'une simple prparation, le groupe res-
tera le mme.
Toujours sera-t-il qu'aprs un certain nombrefini d'extractions de
racines, le groupe devra se trouver diminu, sans quoi l'quation ne
serait pas soluble.
Si, arriv ce.point, il y avait plusieurs manires de diminuer le
groupe de l'quation pr<?pose par une simple extraction de racine, il
faudrait, pour ce que nous allons dire, considrer seulemeI;lt un ra-
dical du degr le moins haut possible parmi tous les simples radicaux,
qui sont tels que la connaissance de chacun d'eux diminue le groupe
de l'quation.
Soit donc p ie nom.bre premier qui reprsente ce degr minimum, en
sorte que .par une extraction de racine de degr p, on diminue le
groupe de l'quation.
Nous pouvons toujours supposer, du moins pour ce qui est relatif
au groupe. de l'quation, qu parmi les quantits adjointes prcdem-
lYIent l'quation se trouve une racin(' pime de l'unit, IX. Car, comme
PURES ET APPLIQUES. 427
cette expression s'obtient par des extractions d racines de degr
frieur p, sa connaissance n'altrera en rien le groupe de l'quation.
Par consquent, d'aprs les thormes II etHI, le groupe de l'qua-
tion devra se dcomposer en p gronpes jouissant les uns par rapport aux
autres de cette double proprit: JO Que l'on passe de l'un l'autre
par une seule et mme substitution; 2 que tous contiennent les mmes
substitutions.
Je dis rciproquement, que si le groupe de l'quation peut se par-
tager en p groupes qui jouissent de cette double proprit, on pourra,
par une simple extraction de raine pime, et par l'adjonction de cette
racine pime, rduire le groupe de l'quation l'un de ces
partiels.
Prenons, en effet, une fonction des racines qui soit invariable pour
toutes les substitutions de l'un des groupes partiels, et varie' pour
toute autre substitution. (Il suffit, pour cela, de choisir une fonction
symtrique des diverses valeurs que prend, par toutes les permuta-
tions de l'un des groupes partiels, une fonction qui n'est invariable
pour aucune substitution.)
Soit ecette fonction des racines.
Oprons sur la fonction eune des substitutions du groupe total qui
ne lui sont pas communes avec les groupes partiels. Soit e
i
le rsultat.
Oprons sur la fonction e
i
l mme substitution, et soit e
2
le rsultat,
et ainsi de suite. .
Comme p est un nombre premier, cette suite ne pourra s'arrter
qu'au terme ep-i' ensuite l'on aura ep=e
o
ep+i=e
O
et ainsi de suite.
Cela pos, il est clair que la fonction
ce + aO
f
+ a
2
0
2
+ ... + aP-iOp_I)P
sera invariable par toutes les permutations du groupe total, et, par
consquent, actuellement connue.
Si l'on extrait la racine pUme de cette fonction, et qu'on l'adjoigne
l'quation, alors, par la proposition IV, le groupe de l'quation ne
contiendra plus d'autres substitutions que celles des groupes partiels.
Ainsi, pour que le groupe d'une quation puisse s'abaisser par une
simple extraction de racine, la condition cidessus est ncessaire et
suffisante.
JOURNAL DE MATHMATIQUES
Adjoignons l'quation le radical en question; nous pourrons rai-
sonner maintenant sur le nouveau groupe comme sur le prcdent, et
il faudra qu'il se dcompose lui-mme de l manire indique, et ainsi
de suite, jusqu' un certain groupe quine contiendra plus qu'une seule
permutation.
Scolie. Il est ais d'observer cette marche dans la rsolution connue
des quations gnrales du quatrime degr. En effet, ces quations
se rsolvent au moyen d'une quation du troisime degr, qui exige
elle-mme l'extraction d'une racine carre. Dans la suite naturelle des
ides, c'est donc par cette racine carre qu'il faut commilncer. Or, en ad-
joignant l'quation du quatrime degr ceUe racine carre, le groupe
de l'quation, qui contenait en tout vingt-quatre substitutions, se d-
compose en deux qui n'en contiennent que douze. En signant par
a, b, c, d les racines, voici l'un de ces groupes:
abcd,
badc,
cdab,
dcba,
acdb,
cabd,
dbac,
bdca,
adbc,
dacb,
bcad,
cbda.
Maintenant ce groupe se partage lui-mme en trois groupes, comme
il est indiqu aux. thormes IT et lIT. Ainsi, par l'extraction d'un seul
radical du troisime degr, il reste simplement le groupe
abcd,
badc,
cdab,
dcba;
ce groupe se partage de nouveau en deux groupes :
abcd, cdab,
badc, dcba.
Ainsi, aprs une simple extraction de racine carre, il l'estera
abcd,
badc;
PURES ET APPLIQUES. 429
ce qui se rsoudra enfin par une simple extraction de racine carre.
On obtient ainsi, soit la solution de Descartes, soit celle d'Euler;
car, bien qu'aprs la rsolution de l'quation auxiliaire du troisime
degr, ce dernier extraye trois racines carres, on sait qu'il suffit de
deux, puisque la troisime s'en dduit rationnellement.
Nous allons maintenant appliquer cette condition aux: quations ir-
rductibles dont le degr est premier.
Application aux quations irrductibles de degr premier.
PROPOSITION VI.
LEl\WE. (c Une quation irrductihle de degr premier ne peut de-
venir rductible par l'adjonction d'un radical dont l'indiceserait autre
que le degr mme de l'quation.
Car si l', l", l''', ... sont les diverses valeurs du radical, et Fx = 0
l'quation propose, il faudrait que Fx se partaget en facteurs
f(x, l') xf(x, ri) X -.. ,
tous de mme degr, ce qui ne se peut, moins que f(x, l') ne soif
du premier degr en x.
Ainsi une quation irrductible de degr premier ne peut devenir
rductible, moins que son groupe ne se rduise une seule per-
mutation.
PROPOSITION VIT.
PROBLME. Quel est le groupe d'une quation irrductible d'un
degr premier n, soluble par radicaux?
D'aprs la proposition prcdente, le plus petit groupe possible
avant celui qui n'a qu'une seule permutation, contiendra n permuta-
tions. Or un groupe de permutations d'un nombre premier n de lettres
ne peut se rduire n permutations, moins que l'une de ces permu-
tations ne se dduise de l'autre par une substitution circulaire de l'or-
dre n. (Voir le Mmoire de M. Cauchy, Journal de l'cole Polytech-
430 JOURNAL DE MATHMATIQUES
XVIIe cahier.) Ainsi l'avant-dernier groupe sera
(G)
X
H
X
2
, x
a
, .., X
n
-
a
, X
n
-
2
, X
n
-
17
) X
2
, X
3
, X
4
,.. , X
n
-
2
, X
n
-
l
, X
o
,
/
..
X
n
-
o
X
o
' .... , Xn-4' x
n
_
s
, X
n
-
2
,
X
o
, Xl' X
2
, , X
n
-
l
tant les racines.
Maintenant, le groupe qui prcdera immdiatement celui-ci dans
l'ordre des dcompositions devra se composer d'un certain nombre de
groupes ayant tous les mmes substitutions que celui-ci. Or j'observe
que ces substitutions peuvent s'exprimer ainsi:. (Faisons en gnral
3:
n
= X
o
, Xn+l = Xl" , il est clair que chacune des substitutions
du groupe (G) s'obtient en mettant partout la place de x", X"+c,
C tant une constante.)
Considrons l'un quelconque des groupes semblable.s au groupe (G).
D'aprs le thorme II, il devra s'obtenir en oprant partout dans ce
groupe une mme substitution; par exemple, en mettant partout dans
le groupe (G), la place de Xk, x f (k), f tant une certaine fonction.
Les substitutions de ces nouveaux groupes devant tre les mmes
que celles du groupe (G), on devra avoir
f(k + c) =f(k) + C,
C tant indpendant de k.
Donc
f(k + 2C) =f(k) + 2C,
f(k + me) =f(k) + me.
Si c = l, k = 0, on trouvera
f(m) = am + b,
ou bien
f(k) = ak 4-
a et btant des constantes.
PURES ET APPLIQUES. 431
Donc le groupe qui prcde immdiatement le groupe CG) ne devra
contenir que des substitutions telles que
et ne contiendra pas, par consquent, d'autre siIbstitution circulaire
que celle du groupe (G).
On raisonnera sur ce groupe comme sur le prcdent, et il s'en-
suivra que le premier, groupe dans l'ordre des dcompositions, c'est-
-dire le groupe actuel de l'quation, ne peut contenir que des substi-
tutions de la forme
Donc, si une quation irrductible de degr premier est soluble
par radicaux, le groupe de cette quation ne saurait contenir que des
substitutions de la forme
a et b tant des constantes. )J
Rciproquement, si cette condition a lieu, je dis que l'quation
sera soluble par radicaux. Considrons, en effet, les fonctions
(x
o
+ /Xx. + /X2X2 +.
(x
o
+ /X'X
a
+ /X2
X2a
+ ..
2
\0':1:'0 + /xxa' + /X X 2a' + .
+
n-t )n X
a. 'rn_ l = l'
+
n-IX )1Z - X
Il (n-l)a - a.'
-l- 1l-I
X
)n - X
/X (n-!la' - a',
a. tant une racine nime de l'unit, a une racine primitive den.
Il est clair que toute fonction invariable par les substitutions circu-
laires des quantits Xl' X
a
, x,.. , ... sera, dans ce cas, immdia-
tement connue. Donc on pourra trouver Xl , X
a
, X
a
., , par la
mthode de M. Gauss pour les quations binmes. Donc, etc.
Ainsi, pour qu'une quation irrductible de degr premier soit so-
luble.par radicaux, ilfaut et il sqffit que toute fonction invariable par
les substitutions
soit rationnellement connue.
/
/
/'
432 JOURNAl.J DE MATHMATIQUES
Ainsi la fonction
devra, quel que soit X, tre connue.
Il faut donc et il Sl!fJit que l'quation qui donne cette fonction des
racines admette, quel que soit X, llne valeur rationnelle.
Si l'quation propose a tous ses coefficients rationnels, l'quation
auxiliaire qui donne cette fonction les aura tous allssi, et il suffira de
reconnatre si cette quation au;ilre du degr 1.2.3... (n - 2) a ou
non une racine rationnelle, ce que l'on sait faire.
C'est l le moyen qu'il falidrait employer dans la pratique. Mais
nous allons prsenter le thorme sous une autre forme.
PROPOSITION VIII.
THORME. cc Pour qu'une quation irrductible de degr premier
soit soluble par radicaux, il faut et il slfffit que deux quelconques
des racines tant connues, .les autres s'en dduisent rationnelle-
ment.
Premirement, il le faut 1 car la substitution
ne laissant jamais deux lettres la mme place, il est clair qu'en adjoi-
gnant deux racines l'quation, par la proposition IV, son groupe
devra se rduire une seule permutation.
En second lieu, cela suffit; car, dans ce cas, aucune substitution du
groupe ne laissera deux lettres aux mmes places. Par consquent, le
groupe contiendra tout au plus n (n - 1) permutations. Donc il ne
contiendra qu'une seule substitution circulaire (sans quoi il y aurait
au moins n
2
permutations). Donc toute substitution du groupe, X/{l .'l:fkl
devra satisfaire la condition
f(k + c) = fk + C,
Donc, etc.
Le thorme est donc dmontr.
PURES ET APPLIQUES.
Exemple du thorme VII.
Soit Tl = 5; le groupe sera le suivant:
abcde
bcdea
cdeab
deabc
eahcd
acebd
cebda
ebdac
hdace
daceb
aedcb
edcba
dcbae
cbaed
baedc
adbec
dbeca
becad
ecadb
cadbe.
q33