The Project Gutenberg EBook of Oeuvres mathmatiques dvariste Galois, by

variste Galois
This eBook is for the use of anyone anywhere at no cost and with
almost no restrictions whatsoever. You may copy it, give it away or
re-use it under the terms of the Project Gutenberg License included
with this eBook or online at www.gutenberg.org

Title: Oeuvres mathmatiques dvariste Galois

Author: variste Galois
Editor: Socit mathmatique de France
mile Picard
Release Date: July 11, 2012 [EBook #40213]
Language: French
Character set encoding: ISO-8859-1
*** START OF THIS PROJECT GUTENBERG EBOOK OEUVRES MATHMATIQUES ***

Produced by Andrew D. Hwang, K. F. Greiner, Paul Murray

and the Online Distributed Proofreading Team at
http://www.pgdp.net

Note sur la transcription

Des modifications mineures ont t apportes la prsentation,
lorthographe, la ponctuation et aux notations mathmatiques. Le
fichier LATEX source, qui on peut trouve
www.gutenberg.org/ebooks/40213,
contient les notes sur ces corrections.
Ce fichier est optimise pour tre lu sur un cran, mais peut tre aisment reformater pour tre imprimer. Veuillez consulter le prambule
du fichier LATEX source pour les instructions.

UVRES
MATHMATIQUES

DVARISTE GALOIS.

UVRES
MATHMATIQUES

DVARISTE GALOIS,
PUBLIES

SOUS LES AUSPICES DE LA SOCIT MATHMATIQUE DE FRANCE,

AVEC UNE INTRODUCTION

PAR

M. mile PICARD,
MEMBRE DE LINSTITUT.

PARIS,
GAUTHIER-VILLARS ET FILS, IMPRIMEURS-LIBRAIRES
DU BUREAU DES LONGITUDES, DE LCOLE POLYTECHNIQUE,
Quai des Grands-Augustins, 55.

1897
(Tous droits rservs.)

 III

INTRODUCTION.
Les uvres de Galois ont, comme on sait, t publies en 1846 par Liouville, dans le Journal de Mathmatiques. Il tait regrettable que lon ne
pt possder part les uvres du grand gomtre ; aussi la Socit mathmatique a-t-elle dcid de faire rimprimer les Mmoires de Galois. Cette
dition est conforme la prcdente ; on a seulement supprim lavertissement plac par Liouville au dbut de la publication.
Un travail, qui parat dfinitif, sur la vie de Galois vient dtre publi par M. Paul Dupuy, dans les Annales de lcole Normale suprieure
(1896). Comme documents antrieurs relatifs la vie de Galois, il faut
citer la Notice ncrologique que lui consacra son ami Auguste Chevalier,
dans la Revue encyclopdique (septembre 1832), et un article paru dans
le Magasin pittoresque, en 1848. variste Galois est n Bourg-la-Reine,
prs de Paris, le 25 octobre 1811 ; il quitta la maison paternelle en 1823,
pour entrer en quatrime au collge Louis-le-Grand. Ds lge de quinze
ans, ses dispositions extraordinaires pour les Sciences mathmatiques commencent se manifester ; les livres lmentaires dAlgbre ne le satisfont
pas, et cest dans les Ouvrages classiques de Lagrange quil fait son ducation algbrique. Il semble qu dix-sept ans Galois avait dj obtenu
des rsultats de la plus haute importance concernant la thorie des quations algbriques. On ne peut faire que des conjectures sur la marche de
ses ides, les deux Mmoires quil prsenta lAcadmie des Sciences ayant
t perdus ; une chose toutefois est certaine : il tait, au commencement de
1830, en possession de ses principes gnraux, comme le montre lanalyse
dun Mmoire sur la rsolution algbrique des quations dans le Bulletin de
Frussac, o sont noncs une srie de rsultats qui ne sont manifestement
que des applications dune thorie gnrale. Ce court article est le plus
important qui ait t publi par Galois lui-mme, le Mmoire fondamental
sur lAlgbre retrouv dans ses papiers nayant t imprim quen 1846.
On trouvera, dans larticle de M. Dupuy, des renseignements dun grand
intrt sur la vie de Galois. Il est peu probable que de nouveaux documents
viennent dsormais sajouter ceux que nous possdons maintenant. Aprs
deux checs lcole Polytechnique, Galois entra lcole Normale en

 IV
1829 et fut oblig de la quitter lanne suivante. Dans la dernire anne
de sa vie, il se donna tout entier la politique, passa plusieurs mois sous
les verrous de Sainte-Plagie et, bless mortellement en duel, mourut le
31 mai 1832. En prsence dune vie si courte et si tourmente, ladmiration
redouble pour le gnie prodigieux qui a laiss dans la Science une trace
aussi profonde ; les exemples de productions prcoces ne sont pas rares
chez les grands gomtres, mais celui de Galois est remarquable entre tous.
Il semble, hlas ! que le malheureux jeune homme ait tristement pay la
ranon de son gnie. A mesure que se dveloppent ses brillantes facults
mathmatiques, on voit sassombrir son caractre, autrefois gai et ouvert,
et le sentiment de son immense supriorit dveloppe chez lui un orgueil
excessif. Ce fut la cause des dceptions qui eurent tant dinfluence sur sa
carrire, et dont la premire fut son chec lcole Polytechnique. Son
examen dans cette cole a laiss des souvenirs ; sans aller aussi loin que
le veut la lgende, disons seulement que Galois refusa de rpondre une
question, quil jugeait ridicule, sur la thorie arithmtique des logarithmes.
On ne peut douter aussi quil ne se soit pas prt fournir sur ses travaux
les explications que lui demandaient les mathmaticiens avec qui il sest
trouv en relations, explications que rendait ncessaires la rdaction rapide
de ses Mmoires ; aussi comprend-on facilement que son mrite nait pas
t reconnu de ses contemporains. Ce nest pas sans peine que Liouville
russit saisir lenchanement des ides de Galois, et il fallut encore de
nombreux commentateurs pour combler les lacunes qui subsistaient dans
plus dune dmonstration, et amener les thories du grand gomtre au
degr de simplicit quelles sont susceptibles de revtir aujourdhui.
La thorie des quations doit Lagrange, Gauss et Abel des progrs
considrables, mais aucun deux narriva mettre en vidence llment fondamental dont dpendent toutes les proprits de lquation ; cette gloire
tait rserve Galois, qui montra qu chaque quation algbrique correspond un groupe de substitutions dans lequel se refltent les caractres
essentiels de lquation. En Algbre, la thorie des groupes avait fait auparavant lobjet de nombreuses recherches dues, pour la plupart, Cauchy,
qui avait introduit dj certains lments de classification ; les tudes de
Galois sur la Thorie des quations lui montrrent limportance de la no-

V
tion de sous-groupe invariant dun groupe donn, et il fut ainsi conduit
partager les groupes en groupes simples et groupes composs, distinction
fondamentale qui dpasse de beaucoup, en ralit, le domaine de lAlgbre
et stend au concept de groupes doprations dans son acception la plus
tendue.
Les thories gnrales, pour prendre dans la Science un droit de cit
dfinitif, ont le plus souvent besoin de sillustrer par des applications particulires. Dans plusieurs domaines, celles-ci ne sont pas toujours faciles
trouver, et lon pourrait citer, dans les Mathmatiques modernes, plus
dune thorie confine, si jose le dire, dans sa trop grande gnralit ; au
point de vue artistique, qui joue un rle capital dans les Mathmatiques
pures, rien nest plus satisfaisant que le dveloppement de ces grandes
thories, cependant de bons esprits regrettent cette tendance, qui a peuttre ses dangers. On ne peut, pour Galois, mettre un pareil regret ; la
rsolution algbrique des quations lui a fourni, ds le dbut, un champ
particulier dapplications o le suivirent depuis de nombreux gomtres,
parmi lesquels il faut citer au premier rang M. Camille Jordan.
Les travaux de Galois, sur les quations algbriques, ont rendu son
nom clbre, mais il semble quil avait fait, en Analyse, des dcouvertes
au moins aussi importantes. Dans sa lettre Auguste Chevalier, crite
la veille de sa mort, et qui est une sorte de testament scientifique, Galois parle dun Mmoire quon pourrait composer avec ses recherches sur
les intgrales. Nous ne connaissons de ces recherches que ce quil en dit
dans cette lettre ; plusieurs points restent obscurs dans quelques noncs
de Galois, mais on peut cependant se faire une ide prcise de quelquesuns des rsultats auxquels il tait arriv dans la thorie des intgrales de
fonctions algbriques. On acquiert ainsi la conviction quil tait en possession des rsultats les plus essentiels sur les intgrales abliennes que
Riemann devait obtenir vingt-cinq ans plus tard. Nous ne voyons pas sans
tonnement Galois parler des priodes dune intgrale ablienne relative
une fonction algbrique quelconque ; pour les intgrales hyperelliptiques,
nous navons aucune difficult comprendre ce quil entend par priode,
mais il en est autrement dans le cas gnral, et lon est presque tent de
supposer que Galois avait tout au moins pressenti certaines notions sur les

 VI
fonctions dune variable complexe, qui ne devaient tre dveloppes que
plusieurs annes aprs sa mort. Les noncs sont prcis ; lillustre auteur
fait la classification en trois espces des intgrales abliennes, et affirme
que, si n dsigne le nombre des intgrales de premire espce linairement
indpendantes, les priodes seront en nombre 2n. Le thorme relatif
linversion du paramtre et de largument dans les intgrales de troisime
espce est nettement indiqu, ainsi que les relations entre les priodes des
intgrales abliennes ; Galois parle aussi dune gnralisation de lquation
classique de Legendre, o figurent les priodes des intgrales elliptiques,
gnralisation qui lavait probablement conduit aux importantes relations
dcouvertes depuis par Weierstrass et par M. Fuchs. Nous en avons dit
assez pour montrer ltendue des dcouvertes de Galois en Analyse ; si
quelques annes de plus lui avaient t donnes pour dvelopper ses ides
dans cette direction, il aurait t le glorieux continuateur dAbel et aurait difi, dans ses parties essentielles, la thorie des fonctions algbriques
dune variable telle que nous la connaissons aujourdhui. Les mditations
de Galois portrent encore plus loin ; il termine sa lettre en parlant de lapplication lAnalyse transcendante de la thorie de lambigut. On devine
peu prs ce quil entend par l, et sur ce terrain qui, comme il le dit, est
immense, il reste encore aujourdhui bien des dcouvertes faire.
Ce nest pas sans motion que lon achve la lecture du testament scientifique de ce jeune homme de vingt ans, crit la veille du jour o il
devait disparatre dans une obscure querelle. Sa mort fut pour la Science
une perte immense ; linfluence de Galois, sil et vcu, aurait grandement
modifi lorientation des recherches mathmatiques dans notre pays. Je ne
me risquerai pas des comparaisons prilleuses : Galois a sans doute des
gaux parmi les grands mathmaticiens de ce sicle ; aucun ne le surpasse
par loriginalit et la profondeur de ses conceptions.
mile Picard,
Prsident de la Socit mathmatique de France.

UVRES
MATHMATIQUES

DVARISTE GALOIS.
I. ARTICLES PUBLIS PAR GALOIS.

DMONSTRATION
DUN

THORME SUR LES FRACTIONS CONTINUES PRIODIQUES (1 ).

On sait que si, par la mthode du Lagrange, on dveloppe en fraction

continue une des racines dune quation du second degr, cette fraction continue sera priodique, et quil en sera encore de mme de lune des racines
dune quation de degr quelconque, si cette racine est racine dun facteur rationnel du second degr du premier membre de la propose, auquel
cas cette quation aura, tout au moins, une autre racine qui sera galement priodique. Dans lun et dans lautre cas, la fraction continue pourra
dailleurs tre immdiatement priodique ou ne ltre pas immdiatement ;
mais, lorsque cette dernire circonstance aura lieu, il y aura du moins une
des transformes dont une des racines sera immdiatement priodique.
Or, lorsquune quation a deux racines priodiques rpondant un
mme facteur rationnel du second degr, et que lune delles est immdiatement priodique, il existe entre ces deux racines une relation assez
1. Tome XIX des Annales de Mathmatiques de M. Gergonne, page 294 (18281829).
Galois tait alors lve au collge Louis-le-Grand.
(J. Liouville.)

2
singulire qui parat navoir pas encore t remarque, et qui peut tre
exprime par le thorme suivant :
Theorme. Si une des racines dune quation de degr quelconque
est une fraction continue immdiatement priodique, cette quation aura
ncessairement une autre racine galement priodique que lon obtiendra
en divisant lunit ngative par cette mme fraction continue priodique,
crite dans un ordre inverse.
Dmonstration. Pour fixer les ides, ne prenons que des priodes de
quatre termes ; car la marche uniforme du calcul prouve quil en serait de
mme si nous en admettions un plus grand nombre. Soit une des racines
dune quation de degr quelconque exprime comme il suit ;
1

ax=a+

b+

c+

d+

a+

b+

c+

d+.

.. ;

lquation du second degr, laquelle appartiendra cette racine, et qui

contiendra consquemment sa corrlative, sera
1

x=a+

b+
c+

1
d+

1
x

3
or, on tire de l successivement
1

ax=

b+

1
x

d+

1
1
x

d+

c+

1
1
ax

b+

c+

b+

1
d+

1
ax

c+

b+

d+
c+

= c +

1
1
x

1
x

d+

1
=
ax

c+

c+

b+

1
= b +
ax

1
x

= d +

1
,
x

1
ax

= x ,

d+

1
b+
ax

1
d+

1
= ;
x

c+

b+

1
ax

cest--dire
1

x=

d+
c+

1
b+

1
;
ax

cest donc toujours l lquation du second degr qui donne les deux racines
dont il sagit ; mais, en mettant continuellement pour x, dans son second

4
membre, ce mme second membre, qui en est, en effet, la valeur, elle donne

x=

d+

c+

b+

a+

d+

c+
b+

1
a+.

.. ;

cest donc l lautre valeur de x, donne par cette quation, valeur qui,
comme lon voit, est gale 1 divis par la premire crite dans un ordre
inverse.
Dans ce qui prcde, nous avons suppos que la racine propose tait
plus grande que lunit ; mais, si lon avait

x=

a+

b+

c+

d+

a+
b+

1
c+

1
d+.

.. ;

5
1
,
x

on en conclurait, pour une des valeurs de

1
=a+
x

b+

c+

d+

a+

b+

1
d+.

c+

lautre valeur de

.. ;

1
serait donc, par ce qui prcde,
x

1
=
x

d+

c+

b+

a+

d+
c+

1
b+

1
a+.

.. ,

6
do lon conclurait, pour lautre valeur de x,
1

x = d +

c+

b+

a+

d+

c+

b+

1
a+.

..

ou
1

x = 1 :

d+

c+

b+

a+

d+
c+

1
b+

1
a+.

.. ;

ce qui rentre exactement dans notre thorme.

Soit A une fraction continue immdiatement priodique quelconque, et
soit B la fraction continue quon en dduit en renversant la priode ; on voit
que, si lune des racines dune quation est x = A, elle aura ncessairement
1
une autre racine x = ; or, si A est un nombre positif plus grand que
B
1
lunit, sera ngatif et compris entre 0 et 1 ; et, linverse, si A
B
1
est un nombre ngatif compris entre 0 et 1, sera un nombre positif
B

plus grand que lunit. Ainsi, lorsque lune des racines dune quation du

7
second degr est une fraction continue immdiatement priodique, plus
grande que lunit, lautre est ncessairement comprise entre 0 et 1 ; et
rciproquement, si lune delles est comprise entre 0 et 1, lautre sera
ncessairement positive et plus grande que lunit.
On peut prouver que, rciproquement, si lune des deux racines dune
quation du second degr est positive et plus grande que lunit, et que
lautre soit comprise entre 0 et 1, ces racines seront exprimables en fractions continues immdiatement priodiques. En effet, soit toujours A une
fraction continue immdiatement priodique quelconque, positive et plus
grande que lunit, et B la fraction continue immdiatement priodique
quon en dduit, en renversant la priode, laquelle sera aussi, comme elle,
positive et plus grande que lunit. La premire des racines de la propose
ne pourra tre de la forme
x=p+

1
,
A

car alors, en vertu de notre thorme, la seconde devrait tre

x=a+

1
= a B;
1

or a B ne saurait tre compris entre 0 et 1 quautant que la partie entire

de B serait gale p, auquel cas la premire valeur serait immdiatement
priodique. On ne pourrait avoir davantage, pour la premire valeur de x,
1
x=p+
, car alors lautre serait
1
q+

A
x=p+

1
qB

ou

x=p

1
;
Bq

or, pour que cette valeur ft comprise entre 0 et 1, il faudrait dabord

1
que
ft gal p, plus une fraction. Il faudrait donc que B q ft
Bq

plus petit que lunit, ce qui exigerait que B ft gal q , plus une fraction ;
do lon voit que q et p devraient tre respectivement gaux aux deux
premiers termes de la priode qui rpond B, ou aux deux derniers de
la priode qui rpond A ; de sorte que, contrairement lhypothse, la

8
valeur x = p +

1
q+

1
A

serait immdiatement priodique. On prouverait, par

un raisonnement analogue, que les priodes ne sauraient tre prcdes

dun plus grand nombre de termes nen faisant pas partie.
Lors donc que lon traitera une quation numrique par la mthode de
Lagrange, on sera sr quil ny a point de racines priodiques esprer
tant quon ne rencontrera pas une transforme ayant au moins une racine
positive plus grande que lunit, et une autre comprise entre 0 et 1 ; et
si, en effet, la racine que lon poursuit doit tre priodique, ce sera tout au
plus cette transforme que les priodes commenceront.
Si lune des racines dune quation du second degr est non seulement
immdiatement priodique, mais encore symtrique, cest--dire si les termes de la priode sont gaux gale distance des extrmes, on aura B = A ;
1
de sorte que ces deux racines seront A et ; lquation sera donc
A

Ax2 (A2 1)x A = 0.

Rciproquement, toute quation du second degr de la forme

ax2 bx a = 0

aura ses racines la fois immdiatement priodiques et symtriques. En

effet, on mettant tour tour pour x linfini et 1, on obtient des rsultats positifs, tandis quen faisant x = 1 et x = 0, on obtient des rsultats
ngatifs ; do lon voit dabord que cette quation a une racine positive
plus grande que lunit et une racine ngative comprise entre 0 et 1, et
quainsi ces racines sont immdiatement priodiques ; de plus, cette qua1
tion ne change pas en y changeant x en ; do il suit que, si A est une
x
1
de ses racines, lautre sera , et quainsi, dans ce cas, B = A.
A

Appliquons ces gnralits lquation du second degr

3x2 16x + 18 = 0;

on lui trouve dabord une racine positive comprise entre 3 et 4 ; en posant

1
x=3+ ,
y

9
on obtient la transforme
3y 2 2y 3 = 0,

dont la forme nous apprend que les valeurs de y sont la fois immdiatement priodiques et symtriques ; en effet, en posant tour tour
1
z =2+ ,
t

1
y =1+ ,
z

t=1+

1
,
u

on obtient les transformes

2z 2 4z 3 = 0,

3t2 4t 2 = 0,

3u2 2u 3 = 0.

Lidentit entre les quations en u et en y prouve que la valeur positive de

y est
1

y =1+

2+

1+

1+

1
1+.

2+

.. ;

sa valeur ngative sera donc

1

y=

1+

2+

1+
1+

1
2+

1
1+.

.. ;

 10
les deux valeurs de x seront donc
1

x = 3+

1+

x = 3
1

2+

1+
1

1+

2+
1

1+

1
1+.

2+

1+
1+

2+

.. ,

dont la dernire, en vertu de la formule connue

p

1
=p1+
q

1+

1
,
q1

devient
1

x=1+

1+

1+

1+

1+

3+

1+
1+

1
2+

1
1+.

.. .

1
1+.

.. ,

 11
NOTES
SUR

QUELQUES POINTS DANALYSE (1 ).

I. Dmonstration dun thorme dAnalyse.

Theorme. Soient Fx et f x deux fonctions quelconques donnes ;
on aura, quels que soient x et h,
F(x + h) Fx
= (k),
f (x + h) f x
tant une fonction dtermine, et k une quantit intermdiaire entre x
et x + h.

Dmonstration. Posons, en effet,

F(x + h) Fx
= P;
f (x + h) f x

on en dduira
F(x + h) Pf (x + h) = Fx Pf x;

do lon voit que la fonction Fx Pf x ne change pas quand on y change x

en x + h ; do il suit qu moins quelle ne reste constante entre ces limites,
ce qui ne pourrait avoir lieu que dans des cas particuliers, cette fonction
aura, entre x et x + h, un ou plusieurs maxima et minima. Soit k la valeur
de x rpondant lun deux ; on aura videmment k = (P), tant une
fonction dtermine ; donc on doit avoir aussi P = (k), tant une autre
fonction galement dtermine ; ce qui dmontre le thorme.
De l on peut conclure, comme corollaire, que la quantit
lim

F(x + h) Fx
= (x),
f (x + h) f x

1. Annales de Mathmatiques de M. Gergonne, tome XXI, page 182 (18301831).

Cest par suite dune faute dimpression quon y lit : Galais, lve lcole normale, au
lieu de Galois.
(J. Liouville.)

 12
pour h = 0, est ncessairement une fonction de x, ce qui dmontre, a priori,
lexistence des fonctions drives.
II. Rayon de courbure des courbes de lespace.
Le rayon de courbure dune courbe en lun quelconque de ses points M
est la perpendiculaire abaisse de ce point sur lintersection du plan normal
au point M avec le plan normal conscutif, comme il est ais de sen assurer
par des considrations gomtriques.
Cela pos, soit (x, y, z) un point de la courbe ; on sait que le plan normal
en ce point aura pour quation
(X x)

(N)

dy
dz
dx
+ (Y y) + (Z z)
= 0,
ds
ds
ds

X, Y, Z tant les symboles des coordonnes courantes. Lintersection de ce

plan normal avec le plan normal conscutif sera donne par le systme de
cette quation et de la suivante


(I)

dx
d.
ds
(X x)
ds

dy
d.
ds
+ (Y y)
ds

dz
d.
ds
+ (Z z)
ds


= 1,

attendu que



 2  2
dx 2
dy
dz
+
+
= 1.
ds
ds
ds

Or, il est ais de voir que le plan (I) est perpendiculaire an plan (N), car
on a
 
 
 
dx
d.
ds

dx
ds

dy
d.
ds

dy
ds

dz
d.
ds

dz
ds

= 0;

donc la perpendiculaire abaisse du point (x, y, z) sur lintersection des deux

plans (N) et (I) nest autre chose que la perpendiculaire abaisse du mme
point sur le plan (I). Le rayon de courbure est donc la perpendiculaire
abaisse du point (x, y, z) sur le plan (I). Cette considration donne, trs
simplement, les thormes connus sur les rayons de courbure des courbes
dans lespace.

 13
ANALYSE
DUN

MMOIRE SUR LA RSOLUTION ALGBRIQUE DES

QUATIONS (1 ).

On appelle quations non primitives les quations qui, tant, par exemple, du degr mn, se dcomposent en m facteurs du degr n, au moyen
dune seule quation du degr m. Ce sont les quations de M. Gauss. Les
quations primitives sont celles qui ne jouissent pas dune pareille simplification. Je suis, lgard des quations primitives, parvenu aux rsultats
suivants :
1o Pour quune quation de degr premier soit rsoluble par radicaux,
il faut et il suffit que, deux quelconques de ses racines tant connues, les
autres sen dduisent rationnellement.
2o Pour quune quation primitive du degr m soit rsoluble par radicaux, il faut que m = p , p tant un nombre premier.
3o A part les cas mentionns ci-dessous, pour quune quation primitive
du degr p soit rsoluble par radicaux, il faut que, deux quelconques de
ses racines tant connues, les autres sen dduisent rationnellement.
A la rgle prcdente chappent les cas trs particuliers qui suivent :
1o Le cas de m = p = 9, = 25 ;
2o Le cas de m = p = 4 et gnralement celui o, a tant un diviseur

de

p 1
, on aurait a premier, et
p1

p 1
= p (mod a ).
a (p 1)

Ces cas scartent toutefois fort peu de la rgle gnrale.

Quand m = 9, = 25, lquation devra tre du genre de celles qui dterminent la trisection et la quintisection des fonctions elliptiques.
1. Bulletin des Sciences mathmatiques de M. Frussac, t. XIII, p. 271 (anne 1830,
cahier davril).
(J. Liouville.)

 14
Dans le second cas, il faudra toujours que, deux des racines tant connues, les autres sen dduisent, du moins au moyen dun nombre de radip 1

, qui sont tels

caux, du degr p, gal au nombre des diviseurs a de
p1
que
p 1
= p (mod a ),
a (p 1)

premier.

Toutes ces propositions ont t dduites de la thorie des permutations.

Voici dautres rsultats qui dcoulent de ma thorie.
1o Soit k le module dune fonction elliptique, p un nombre premier
donn > 3 ; pour que lquation du degr p + 1, qui donne les divers modules des fonctions transformes relativement au nombre p, soit rsoluble
par radicaux, il faut de deux choses lune : ou bien quune des racines soit
rationnellement connue, ou bien que toutes soient des fonctions rationnelles
les unes des autres. Il ne sagit ici, bien entendu, que des valeurs particulires du module k. Il est vident que la chose na pas lieu en gnral.
Cette rgle na pas lieu pour p = 5.
2o Il est remarquable que lquation modulaire gnrale du sixime degr, correspondant au nombre 5, peut sabaisser une du cinquime degr
dont elle est la rduite. Au contraire, pour des degrs suprieurs, les quations modulaires ne peuvent sabaisser (1 ).

1. Cette assertion nest pas tout fait exacte, comme Galois en avertit lui-mme
dans sa Lettre M. Auguste Chevalier, quon trouve plus bas. Il dit en gnral, au sujet
de larticle que nous reproduisons ici : La condition que jai indique dans le Bulletin
de Frussac, pour la solubilit par radicaux, est trop restreinte ; il y a peu dexceptions,
mais il y en a. Quant aux quations modulaires en particulier, il dclare labaissement
du degr p + 1 au degr p possible, non seulement pour p = 5, mais encore pour p = 7
et p = 11 ; mais il en maintient limpossibilit pour p > 11.
(J. Liouville.)

 15
NOTE
SUR LA

RSOLUTION DES QUATIONS NUMRIQUES (1 ).

M. Legendre a le premier remarqu que, lorsquune quation algbrique

tait mise sous la forme
x = x,

o x est une fonction de x qui crot constamment en mme temps que x,

il tait facile de trouver la racine de cette quation immdiatement plus
petite quun nombre donn a, si a < a, et la racine immdiatement plus
grande que a, si a > a.
Pour le dmontrer, on construit la courbe y = x et la droite y = x.
Soit prise une abscisse = a, et supposons, pour fixer les ides, a > a, je
dis quil sera ais dobtenir la racine immdiatement suprieure a. En
effet, les racines de lquation x = x ne sont que les abscisses des points
dintersection de la droite et de la courbe, et il est clair que lon sapprochera
du point le plus voisin dintersection en substituant labscisse a labscisse
a. On aura une valeur plus approche encore en prenant a, puis a,
et ainsi de suite.
Soit Fx = 0 une quation donne du degr n, et Fx = X Y, X et Y
nayant que des termes positifs. Legendre met successivement lquation
sous ces deux formes :
v
u X
u 
,
x = x = u
n
Y
t
xn

v
u X
u 
x = x = u
;
n
xn
t
Y

les deux fonctions x et x sont toujours, comme on voit, lune plus grande,
lautre plus petite que x. Ainsi, laide de ces deux fonctions, on pourra
avoir les deux racines de lquation les plus approches dun nombre donn
a, lune en plus et lautre en moins.
1. Bulletin des Sciences mathmatiques de M. Frussac, t. XIII, p. 413 (anne 1830,
cahier de juin).
(J. Liouville.)

 16
Mais cette mthode a linconvnient dexiger, chaque opration, lextraction dune racine nime . Voici deux formes plus commodes. Cherchons
un nombre k tel que la fonction
x+

Fx
kxn

croisse avec x, quand x > 1. (Il suffit, en effet, de savoir trouver les racines
dune quation qui sont plus grandes que lunit.)
Nous aurons, pour la condition propose,
XY
n
> 0,
1 + kx
dx
d

ou bien 1

nX xX0 nY xY0
+
> 0;
kxn+1
kxn+1

or on a identiquement
nX xX0 > 0,

nY xY0 > 0;

il suffit donc de poser

nX xX0
<1
kxn+1

pour x > 1,

et il suffit, pour cela, de prendre pour k la valeur de la fonction nX xX0 ,

relative x = 1.
On trouvera de mme un nombre h tel que la fonction
x

Fx
hxn

crotra avec x, quand x sera > 1, en changeant Y en X.

Ainsi, lquation donne pourra se mettre sous lune des formes
x=x+

Fx
,
kxn

x=x

Fx
,
hxn

qui sont toutes deux rationnelles et donnent pour la rsolution une mthode
facile.

 17

SUR

LA THORIE DES NOMBRES (1 ).

Quand on convient de regarder comme nulles toutes les quantits qui,

dans les calculs algbriques, se trouvent multiplies par un nombre premier
donn p, et quon cherche, dans cette convention, les solutions dune quation algbrique Fx = 0, ce que M. Gauss dsigne par la notation Fx 0,
on na coutume de considrer que les solutions entires de ces sortes de
questions. Ayant t conduit par des recherches particulires considrer
les solutions incommensurables, je suis parvenu quelques rsultats que je
crois nouveaux.
Soit une pareille quation ou congruence, Fx = 0, et p le module. Supposons dabord, pour plus de simplicit, que la congruence en question
nadmette aucun facteur commensurable, cest--dire quon ne puisse pas
trouver trois fonctions x, x, x telles que
x . x = Fx + p . x.

Dans ce cas, la congruence nadmettra donc aucune racine entire, ni mme

aucune racine incommensurable de degr infrieur. Il faut donc regarder les
racines de cette congruence comme des espces de symboles imaginaires,
puisquelles ne satisfont pas aux questions des nombres entiers, symboles
dont lemploi,
dans le calcul, sera souvent aussi utile que celui de limagi
naire 1 dans lanalyse ordinaire.
Cest la classification de ces imaginaires, et leur rduction au plus petit
nombre possible, qui va nous occuper.
Appelons i lune des racines de la congruence Fx = 0, que nous supposerons du degr .
1. Bulletin des Sciences mathmatiques de M. Frussac, t. XIII, p. 438 (anne 1830,
cahier de juin) ; avec la note suivante : Ce Mmoire fait partie des recherches de M. Galois sur la thorie des permutations et des quations algbriques. (J. Liouville.)

 18
Considrons lexpression gnrale
(A)

a + a1 i + a2 i2 + + a1 i1 ,

o a, a1 , a2 , . . ., a1 reprsentent des nombres entiers. En donnant ces

nombres toutes les valeurs, lexpression (A) en acquiert p , qui jouissent,
ainsi que je vais le faire voir, des mmes proprits que les nombres naturels
dans la thorie des rsidus des puissances.
Ne prenons des expressions (A) que les p 1 valeurs o a, a1 , a2 , . . .,
a1 ne sont pas toutes nulles : soit lune de ces expressions.
Si lon lve successivement aux puissances 2e, 3e, . . ., on aura une
suite de quantits de mme forme [parce que toute fonction de i peut se
rduire au ( 1)ime degr]. Donc on devra avoir n = 1, n tant un certain
nombre ; soit n le plus petit nombre qui soit tel que lon ait n = 1. On
aura un ensemble de n expressions, toutes diffrentes entre elles,
1, , 2 , 3 , . . . , n1 .

Multiplions ces n quantits par une autre expression de la mme forme.

Nous obtiendrons encore un nouveau groupe de quantits toutes diffrentes
des premires et diffrentes entre elles. Si les quantits (A) ne sont pas
puises, on multipliera encore les puissances de par une nouvelle expression , et ainsi de suite. On voit donc que le nombre n divisera ncessairement le nombre total des quantits (A). Ce nombre tant p 1, on
voit que n divise p 1. De l suit encore que lon aura

p 1 = 1,

ou bien p = .

Ensuite on prouvera, comme dans la thorie des nombres, quil y a des

racines primitives pour lesquelles on ait prcisment p 1 = n, et qui
reproduisent par consquent, par llvation aux puissances, toute la suite
des autres racines.
Et lune quelconque de ces racines primitives ne dpendra que dune
congruence du degr , congruence irrductible, sans quoi lquation en i
ne le serait pas non plus, parce que les racines de la congruence en i sont
toutes des puissances de la racine primitive.

 19
On voit ici cette consquence remarquable que toutes les quantits algbriques qui peuvent se prsenter dans la thorie sont racines dquations
de la forme

xp = x.

Cette proposition, nonce algbriquement, est celle-ci : tant donns

une fonction Fx et un nombre premier p, on peut poser

f x . Fx = xp x + px,
f x et x tant des fonctions entires, toutes les fois que la congruence
Fx = 0 (mod p) sera irrductible.

Si lon veut avoir toutes les racines dune pareille congruence au moyen
dune seule, il suffit dobserver que lon a gnralement
n

(Fx)p = F(xp )

et que, par consquent, lune des racines tant x, les autres seront
2

xp , xp , . . . , xp

(1 ).

1. De ce que les racines de la congruence irrductible de degr

Fx = 0
sont exprimes par la suite
2

x, xp , xp , . . . , xp

on aurait tort de conclure que ces racines soient toujours des quantits exprimables par
radicaux. Voici un exemple du contraire :
La congruence irrductible
x2 + x + 1 = 0 (mod 2)
donne
x=

1 + 3
,
2

qui se rduit
0
(mod 2),
0
formule qui napprend rien.

 20
Il sagit maintenant de faire voir que, rciproquement ce que nous

venons de dire, les racines de lquation ou de la congruence xp = x dpendront toutes dune seule congruence du degr .
Soit en effet i une racine dune congruence irrductible et telle que

toutes les racines de la congruence xp = x soient fonctions rationnelles de i

(Il est clair quici, comme dans les quations ordinaires, cette proprit a
lieu) (1 ).
Il est dabord vident que le degr de la congruence en i ne saurait
tre plus petit que , sans quoi la congruence
()

xp

1=0

aurait toutes ses racines communes avec la congruence

xp

1 = 0,

ce qui est absurde, puisque la congruence () na pas de racines gales,

comme on le voit en prenant la drive du premier membre. Je dis maintenant que ne peut non plus tre > .
En effet, sil en tait ainsi, toutes les racines de la congruence

xp = x

devraient dpendre rationnellement de celles de la congruence

xp = x.

Mais il est ais de voir que, si lon a

ip = i,
1. La proposition gnrale dont il sagit ici peut snoncer ainsi : tant donne une
quation algbrique, on pourra trouver une fonction rationnelle de toutes ses racines,
de telle sorte que, rciproquement, chacune des racines sexprime rationnellement en .
Ce thorme tait connu dAbel, ainsi quon peut le voir par la premire Partie du
Mmoire que ce clbre gomtre a laiss sur les fonctions elliptiques.

 21
toute fonction rationnelle h = f i donnera encore

(f i)p = f (ip ) = f i,

do hp = h.

Donc toutes les racines de la congruence xp = x lui seraient communes

avec lquation xp = x, ce qui est absurde.

Nous savons donc enfin que toutes les racines de lquation ou congru
ence xp = x dpendent ncessairement dune seule congruence irrductible
de degr .
Maintenant, pour avoir cette congruence irrductible do dpendent

les racines de la congruence xp = x, la mthode la plus gnrale sera de

dlivrer dabord cette congruence de tous les facteurs communs quelle
pourrait avoir avec des congruences de degr infrieur et de la forme

xp = x.

On obtiendra ainsi une congruence qui devra se partager en congruences

irrductibles de degr . Et, comme on sait exprimer toutes les racines de
chacune de ces congruences irrductibles au moyen dune seule, il sera ais
de les obtenir toutes par la mthode de M. Gauss.
Le plus souvent, cependant, il sera ais de trouver par le ttonnement
une congruence irrductible dun degr donn , et lon doit en dduire
toutes les autres.
Soient, pour exemple, p = 7, = 3. Cherchons les racines de la congruence
3

x7 = x (mod 7).

(1)

Jobserve que la congruence

i3 = 2 (mod 7)

(2)

tant irrductible, et du degr 3, toutes les racines de la congruence (1)

dpendent rationnellement de celles de la congruence (2), en sorte que
toutes les racines de (1) sont de la forme
(3)

a + a1 i + a2 i2

ou bien a + a1 3 2 + a2 3 4.

 22
Il faut maintenant trouver une racine primitive, cest--dire une forme
de lexpression (3) qui, leve toutes les puissances, donne toutes les
racines de la congruence
3
x7 1 = 1,

savoir x2

.32 .19

= 1 (mod 7),

et nous navons besoin pour cela, que davoir une racine primitive de chaque
congruence
x2 = 1,

x19 = 1.

x3 = 1,

La racine primitive de la premire est 1 ; celles de x3 1 = 0 sont

donnes par les quations
x3 = 2,

x3 = 4,
2

en sorte que i est une racine primitive de x3 = 1.

Il ne reste qu trouver une racine de x19 1 = 0, ou plutt de
x19 1
= 0,
x1

et essayons pour cela si lon ne peut pas satisfaire la question en posant

simplement x = a + a1 i, au lieu de a + a1 i + a2 i2 ; nous devrons avoir
(a + a1 i)19 = 1,

ce qui, en dveloppant par la formule de Newton, et rduisant les puissances

de a, de a1 et de i, par les formules
am(p1) = 1,

m(p1)

a1

= 1,

i3 = 2,

se rduit


3 a a4 a31 + (a5 a21 + a2 a51 )i2 = 1,

do, en sparant,
3a 3a4 a31 = 1,

a5 a21 + a2 a51 = 0.

 23
Ces deux dernires quations sont satisfaites en posant a = 1, a1 = 1.
Donc
1 + i

est une racine primitive de x19 = 1. Nous avons trouv plus haut, pour
2
racines primitives de x2 = 1 et de x3 = 1, les valeurs 1 et i ; il ne reste
plus qu multiplier entre elles les trois quantits
1,

i,

1 + i,

et le produit i i2 sera une racine primitive de la congruence

3
x7 1 = 1.

Donc ici lexpression ii2 jouit de la proprit que, en llevant toutes

les puissances, on obtiendra 73 1 expressions diffrentes et de la forme
a + a1 i + a2 i2 .

Si nous voulons avoir la congruence de moindre degr do dpend notre

racine primitive, il faut liminer i entre les deux quations
i3 = 2,

= i i2 .

On obtient ainsi
3 + 2 = 0.

Il sera convenable de prendre pour base des imaginaires et de reprsenter par i la racine de cette quation, en sorte que
(i)

i3 i + 2 = 0,

et lon aura toutes les imaginaires de la forme

a + a1 i + a2 i2 ,

en levant i toutes les puissances et rduisant par lquation (i).

 24
Le principal avantage de la nouvelle thorie que nous venons dexposer
est de ramener les congruences la proprit (si utile dans les quations
ordinaires), dadmettre prcisment autant de racines quil y a dunits
dans lordre de leur degr.
La mthode pour avoir toutes ces racines sera trs simple. Premirement, on pourra toujours prparer la congruence donne Fx = 0 de manire
quelle nait plus de racines gales, ou, en dautres termes, quelle nait plus
de facteur commun avec F0 x = 0, et le moyen de le faire est videmment le
mme que pour les quations ordinaires.
Ensuite, pour avoir les solutions entires, il suffira, ainsi que M. Libri
parat en avoir fait le premier la remarque, de chercher le plus grand facteur
commun Fx = 0 et xp1 = 1.
Si maintenant on veut avoir les solutions imaginaires du second degr,
2
on cherchera le plus grand facteur commun Fx = 0 et xp 1 = 1, et, en
gnral, les solutions de lordre seront donnes par le plus grand commun

diviseur Fx = 0 et xp 1 = 1.
Cest surtout dans la thorie des permutations, o lon a sans cesse besoin de varier la forme des indices, que la considration des racines imaginaires des congruences parat indispensable. Elle donne un moyen simple
et facile de reconnatre dans quel cas une quation primitive est soluble
par radicaux, comme je vais essayer den donner en deux mots une ide.
Soit une quation algbrique f x = 0, de degr p ; supposons que les
p racines soient dsignes par xk , en donnant lindice k les p valeurs

dtermines par la congruence kp = k (mod p).

Prenons une fonction quelconque rationnelle V des p racines xk . Transr
formons cette fonction en substituant partout lindice k lindice (ak + b)p ,

a, b, r tant des constantes arbitraires satisfaisant aux conditions de ap 1 =

1, bp = b (mod p) et de r entier.
En donnant aux constantes a, b, r toutes les valeurs dont elles sont
susceptibles, on obtiendra en tout p (p 1) manires de permuter les
racines entre elles par des substitutions de la forme [xk , x(ak+b)pr ], et la
fonction V admettra en gnral par ces substitutions p (p 1) formes
diffrentes.
Admettons maintenant que lquation propose f x = 0 soit telle que

 25
toute fonction des racines, invariable par les p (p 1) permutations que
nous venons de construire, ait pour cela mme une valeur numrique rationnelle.
On remarque que, dans ces circonstances, lquation f x = 0 sera soluble
par radicaux, et, pour parvenir cette consquence, il suffit dobserver que
la valeur substitue k, dans chaque indice, peut, se mettre sous les trois
formes

 r
r

(ak + b)p = a(k + b1 )

= a0 k p + b00 = a0 (k + b0 )p .

Les personnes habitues la thorie des quations le verront sans peine.

Cette remarque aurait peu dimportance si je ntais parvenu dmontrer que, rciproquement, une quation primitive ne saurait tre soluble
par radicaux, moins de satisfaire aux conditions que je viens dnoncer.
(Jexcepte les quations du neuvime et du vingt-cinquime degr.)
Ainsi, pour chaque nombre de la forme p , on pourra former un groupe
de permutations tel, que toute fonction des racines invariable par ces permutations devra admettre une valeur rationnelle quand lquation de degr p sera primitive et soluble par radicaux.
Dailleurs, il ny a que les quations dun pareil degr p qui soient la
fois primitives et solubles par radicaux.
Le thorme gnral que je viens dnoncer prcise et dveloppe les
conditions que javais donnes dans le Bulletin du mois davril. Il indique
le moyen de former une fonction des racines dont la valeur sera rationnelle,
toutes les fois que lquation primitive de degr p sera soluble par radicaux,
et mne, par consquent, aux caractres de rsolubilit de ces quations,
par des calculs sinon praticables, du moins qui sont possibles en thorie.
Il est remarquer que, dans le cas o = 1, les diverses valeurs de k
ne sont autre chose que la suite des nombres entiers. Les substitutions de
la forme (xk , xak+b ) seront au nombre de p(p 1).
La fonction qui, dans le cas des quations solubles par radicaux, doit
avoir une valeur rationnelle, dpendra, en gnral, dune quation de degr
1 . 2 . 3 . . . (p 2), laquelle il faudra, par consquent, appliquer la mthode
des racines rationnelles.

 26

II. UVRES POSTHUMES.

Lettre a Auguste Chevalier (1 ).

Mon cher ami,
Jai fait en Analyse plusieurs choses nouvelles.
Les unes concernent la thorie des quations ; les autres, les fonctions
intgrales.
Dans la thorie des quations, jai recherch dans quels cas les quations taient rsolubles par des radicaux, ce qui ma donn occasion dapprofondir cette thorie et de dcrire toutes les transformations possibles
sur une quation, lors mme quelle nest pas soluble par radicaux.
On pourra faire avec tout cela trois Mmoires.
Le premier est crit, et, malgr ce quen a dit Poisson, je le maintiens,
avec les corrections que jy ai faites.
Le second contient des applications assez curieuses de la thorie des
quations. Voici le rsum des choses les plus importantes :
1o Daprs les propositions II et III du premier Mmoire, on voit une
grande diffrence entre adjoindre une quation une des racines dune
quation auxiliaire ou les adjoindre toutes.
Dans les deux cas, le groupe de lquation se partage par ladjonction
en groupes tels, que lon passe de lun lautre par une mme substitution ;
mais la condition que ces groupes aient les mmes substitutions na lieu
certainement que dans le second cas. Cela sappelle la dcomposition propre.
En dautres termes, quand un groupe G en contient un autre H, le
groupe G peut se partager en groupes, que lon obtient chacun en oprant
sur les permutations de H une mme substitution ; en sorte que
G = H + HS + HS0 + . . . .
1. crite la veille de la mort de lauteur. (Insre en 1832 dans la Revue encyclopdique, numro de septembre, page 568.)
(J. Liouville.)

 27
Et aussi il peut se diviser en groupes qui ont tous les mmes substitutions,
en sorte que
G = H + TH + T0 H + . . . .

Ces deux genres de dcompositions ne concident pas ordinairement.

Quand ils concident, la dcomposition est dite propre.
Il est ais de voir que, quand le groupe dune quation nest susceptible
daucune dcomposition propre, on aura beau transformer cette quation,
les groupes des quations transformes auront toujours le mme nombre
de permutations.
Au contraire, quand le groupe dune quation est susceptible dune dcomposition propre, en sorte quil se partage en M groupes de N permutations, on pourra rsoudre lquation donne au moyen de deux quations :
lune aura un groupe de M permutations, lautre un de N permutations.
Lors donc quon aura puis sur le groupe dune quation tout ce quil
y a de dcompositions propres possibles sur ce groupe, on arrivera des
groupes quon pourra transformer, mais dont les permutations seront toujours en mme nombre.
Si ces groupes ont chacun un nombre premier de permutations, lquation sera soluble par radicaux ; sinon, non.
Le plus petit nombre de permutations que puisse avoir un groupe indcomposable, quand ce nombre nest pas premier, est 5 . 4 . 3.
2o Les dcompositions les plus simples sont celles qui ont lieu par la
mthode de M. Gauss.
Comme ces dcompositions sont videntes, mme dans la forme actuelle
du groupe de lquation, il est inutile de sarrter longtemps sur cet objet.
Quelles dcompositions sont praticables sur une quation qui ne se simplifie pas par la mthode de M. Gauss ?
Jai appel primitives les quations qui ne peuvent se simplifier par la
mthode de M. Gauss ; non que ces quations soient rellement indcomposables, puisquelles peuvent mme se rsoudre par radicaux.
Comme lemme la thorie des quations primitives solubles par radicaux, jai mis en juin 1830, dans le Bulletin de Frussac, une analyse sur
les imaginaires de la thorie des nombres.

 28
On trouvera ci-jointe (1 ) la dmonstration des thormes suivants :
1o Pour quune quation primitive soit soluble par radicaux, elle doit
tre du degr p , p tant premier.
2o Toutes les permutations dune pareille quation sont de la forme
xk,l,m... | xak+bl+cm++h, a0 k+b0 l+c0 m++h0 , a00 k+...... ,
k , l, m, . . . tant indices, qui, prenant chacun p valeurs, indiquent toutes
les racines. Les indices sont pris suivant le module p ; cest--dire que la
racine sera la mme quand on ajoutera lun des indices un multiple de p.

Le groupe quon obtient en oprant toutes les substitutions de cette

forme linaire contient, en tout,
p (p 1)(p p) . . . (p p1 ) permutations.

Il sen faut que, dans cette gnralit, les quations qui lui rpondent
soient solubles par radicaux.
La condition que jai indique dans le Bulletin de Frussac pour que
lquation soit soluble par radicaux est trop restreinte ; il y a peu dexceptions, mais il y en a.
La dernire application de la thorie des quations est relative aux
quations modulaires des fonctions elliptiques.
On sait que le groupe de lquation qui a pour racines les sinus de
lamplitude des p2 1 divisions dune priode est celui-ci :
xk,l ,

xak+bl, ck+dl ;

par consquent lquation modulaire correspondante aura pour groupe

dans laquelle

xk ,

x ak+bl ,

ck+dl

k
peut avoir les p + 1 valeurs
l
, 0, 1, 2, . . . , p 1.

1. Galois parle des manuscrits, jusquici indits, que nous publions.

(J. Liouville.)

 29
Ainsi, en convenant que k peut tre infini, on peut crire simplement
xk ,

x ak+b .
ck+d

En donnant a, b, c, d toutes les valeurs, on obtient

(p + 1)p(p 1) permutations.

Or ce groupe se dcompose proprement en deux groupes, dont les substitutions sont

xk ,

x ak+b ,
ck+d

ad bc tant un rsidu quadratique de p.

Le groupe ainsi simplifi est de

(p + 1)p

p1
permutations.
2

Mais il est ais de voir quil nest plus dcomposable proprement,

moins que p = 2, ou p = 3.
Ainsi, de quelle manire que lon transforme lquation, son groupe aura
toujours le mme nombre de permutations.
Mais il est curieux de savoir si le degr peut sabaisser.
Et dabord il ne peut sabaisser plus bas que p, puisquune quation
de degr moindre que p ne peut avoir p pour facteur dans le nombre des
permutations de son groupe.
Voyons donc si lquation de degr p + 1, dont les racines xk sindiquent
en donnant k toutes les valeurs, y compris linfini, et dont le groupe a
pour substitutions
xk ,

x ak+b ,
ck+d

ad bc tant un carr, peut sabaisser au degr p.

Or il faut pour cela que le groupe se dcompose (improprement, sentend) en p groupes de (p + 1)

p1
permutations chacun.
2

 30
Soient 0 et deux lettres conjointes dans lun de ces groupes. Les
substitutions qui ne font pas changer 0 et de place seront de la forme
xk ,

xm2 k .

Donc si M est la lettre conjointe de 1, la lettre conjointe de m2 sera m2 M.

Quand M est un carr, on aura donc M2 = 1. Mais cette simplification ne
peut avoir lieu que pour p = 5.
p1
Pour p = 7 on trouve un groupe de (p + 1)
permutations, o
2

, 1, 2, 4

ont respectivement pour lettres conjointes

0, 3, 6, 5.

Ce groupe a ses substitutions de la forme

xk ,

x kb ,
a
kc

b tant la lettre conjointe de c, et a une lettre qui est rsidu ou non rsidu
en mme temps que c.
Pour p = 11, les mmes substitutions auront lieu avec les mmes notations,
, 1, 3, 5, 5, 9

ayant respectivement pour conjointes

0, 2, 6, 8, 10, 7.

Ainsi, pour le cas de p = 5, 7, 11, lquation modulaire sabaisse au

degr p.
En toute rigueur, cette quation nest pas possible dans les cas plus
levs.
Le troisime Mmoire concerne les intgrales.
On sait quune somme de termes dune mme fonction elliptique se
rduit toujours un seul terme, plus des quantits algbriques ou logarithmiques.

 31
Il ny a pas dautres fonctions pour lesquelles cette proprit ait lieu.
Mais des proprits absolument semblables y supplent dans toutes les
intgrales de fonctions algbriques.
On traite la fois toutes les intgrales dont la diffrentielle est une
fonction de la variable et dune mme fonction irrationnelle de la variable,
que cette irrationnelle soit ou ne soit pas un radical, quelle sexprime ou
ne sexprime pas par des radicaux.
On trouve que le nombre des priodes distinctes de lintgrale la plus
gnrale relative une irrationnelle donne est toujours un nombre pair.
Soit 2n ce nombre, on aura le thorme suivant :
Une somme quelconque de termes se rduit n termes, plus des quantits algbriques et logarithmiques.
Les fonctions de premire espce sont celles pour lesquelles la partie
algbrique et logarithmique est nulle.
Il y en a n distinctes.
Les fonctions de seconde espce sont celles pour lesquelles la partie
complmentaire est purement algbrique.
Il y en a n distinctes.
On peut supposer que les diffrentielles des autres fonctions ne soient
jamais infinies quune fois pour x = a, et, de plus, que leur partie complmentaire se rduise un seul logarithme, log P, P tant une quantit
Q
algbrique. En dsignant par (x, a) ces fonctions, on aura le thorme
Q

(x, a)

(a, x) =

a . x,

a et x tant des fonctions de premire et de seconde espce.

Q
Q
On en dduit, en appelant (a) et les priodes de (x, a) et x
relatives une mme rvolution de x,
Q
P
(a) =
a.

Ainsi les priodes des fonctions de troisime espce sexpriment toujours

en fonction de premire et de seconde espce.
On peut en dduire aussi des thormes analogues au thorme de Legendre
FE0 + EF0 FF0 =

.
2

 32
La rduction des fonctions de troisime espce des intgrales dfinies,
qui est la plus belle dcouverte de M. Jacobi, nest pas praticable, hors le
cas des fonctions elliptiques.
La multiplication des fonctions intgrales par un nombre entier est toujours possible, comme laddition, au moyen dune quation de degr n dont
les racines sont les valeurs substituer dans lintgrale pour avoir les termes
rduits.
Lquation qui donne la division des priodes en p parties gales est du
degr p2n 1. Son groupe a en tout
(p2n 1)(p2n p) . . . (p2n p2n1 ) permutations.

Lquation qui donne la division dune somme de n termes en p parties

gales est du degr p2n . Elle est soluble par radicaux.
De la transformation. On peut dabord, en suivant des raisonnements
analogues ceux quAbel a consigns dans son dernier Mmoire, dmontrer
que si, dans une mme relation entre des intgrales, on a les deux fonctions
Z

Z
(x, X) dx,

(y, Y) dy,

la dernire intgrale ayant 2n priodes, il sera permis de supposer que y et Y

sexpriment moyennant une seule quation de degr n en fonction de x et
de X.
Daprs cela on peut supposer que les transformations aient lieu constamment entre deux intgrales seulement, puisquon aura videmment, en
prenant une fonction quelconque rationnelle de y et de Y,
P

Z
f (y, Y) dy =

F(x, X) dx + une quant. alg. et log.

Il y aurait sur cette quation des rductions videntes dans le cas o

les intgrales de lun et de lautre membre nauraient pas toutes deux le
mme nombre de priodes.
Ainsi nous navons comparer que des intgrales qui aient toutes deux
le mme nombre de priodes.

 33
On dmontrera que le plus petit degr dirrationnalit de deux pareilles
intgrales ne peut tre plus grand pour lune que pour lautre.
On fera voir ensuite quon peut toujours transformer une intgrale donne en une autre dans laquelle une priode de la premire soit divise par
le nombre premier p, et les 2n 1 autres restent les mmes.
Il ne restera donc comparer que des intgrales o les priodes seront
les mmes de part et dautre, et telles, par consquent, que n termes de
lune sexpriment sans autre quation quune seule du degr n, au moyen
de ceux de lautre, et rciproquement. Ici nous ne savons rien.
Tu sais, mon cher Auguste, que ces sujets ne sont pas les seuls que
jaie explors. Mes principales mditations, depuis quelque temps taient
diriges sur lapplication lanalyse transcendante de la thorie de lambigut. Il sagissait de voir a priori, dans une relation entre des quantits
ou fonctions transcendantes, quels changes on pouvait faire, quelles quantits on pouvait substituer aux quantits donnes, sans que la relation pt
cesser davoir lieu. Cela fait reconnatre de suite limpossibilit de beaucoup
dexpressions que lon pourrait chercher. Mais je nai pas le temps, et mes
ides ne sont pas encore bien dveloppes sur ce terrain, qui est immense.
Tu feras imprimer cette Lettre dans la Revue encyclopdique.
Je me suis souvent hasard dans ma vie avancer des propositions dont
je ntais pas sr ; mais tout ce que jai crit l est depuis bientt un an dans
ma tte, et il est trop de mon intrt de ne pas me tromper pour quon me
souponne dnoncer des thormes dont je naurais pas la dmonstration
complte.
Tu prieras publiquement Jacobi ou Gauss de donner leur avis, non sur
la vrit, mais sur limportance des thormes.
Aprs cela, il y aura, jespre, des gens qui trouveront leur profit
dchiffrer tout ce gchis.
Je tembrasse avec effusion.
E. Galois.
Le 29 mai 1832.

 34
MMOIRE
SUR LES

CONDITIONS DE RSOLUBILIT DES QUATIONS PAR

RADICAUX (1 ).

Le Mmoire ci-joint (2 ) est extrait dun Ouvrage que jai eu lhonneur

de prsenter lAcadmie il y a un an. Cet Ouvrage nayant pas t compris,
les propositions quil renferme ayant t rvoques en doute, jai 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 condition gnrale laquelle satisfait toute quation
soluble par radicaux, et qui rciproquement assure leur rsolubilit. On en
fait lapplication seulement aux quations dont le degr est un nombre
1. Ce Mmoire et le suivant ont t retrouvs dans les papiers de Galois et publis
pour la premire fois en 1846 par Liouville, qui les avait fait prcder de la note suivante :
En insrant dans leur Recueil la lettre quon vient de lire, les diteurs de la Revue
encyclopdique annonaient quils publieraient prochainement les manuscrits laisss par
Galois. Mais celle promesse na pas t tenue. M. Auguste Chevalier avait cependant
prpar le travail. Il nous a remis et lon trouvera dans les feuilles qui vont suivre :
1o Un Mmoire entier sur les conditions de rsolubilit des quations par radicaux,
avec lapplication aux quations de degr premier ;
2o Un fragment dun second Mmoire o Galois traite de la thorie gnrale des
quations quil nomme primitives.
Nous avons conserv la plupart des notes que M. Auguste Chevalier avait jointes
aux Mmoires dont nous venons de parler. Ces notes sont toutes marques des initiales
A. Ch. Les notes non signes sont de Galois lui-mme.
Nous complterons cette publication par quelques autres morceaux extraits des
papiers de Galois, et qui, sans avoir une grande importance, pourront cependant encore
tre lus avec intrt par les gomtres.
Les extraits dont parle Liouville dans la dernire phrase de cette note nont jamais
t publis.
2. Jai jug convenable de placer en tte de ce Mmoire la prface quon va lire, bien
que je laie trouve biffe dans le manuscrit.
(A. Ch.)

 35
premier. Voici le thorme donn par notre analyse :
Pour quune quation de degr premier, qui na pas de diviseurs commensurables, soit soluble par radicaux, il faut et il suffit que toutes les
racines soient des fonctions rationnelles de deux quelconques dentre elles.
Les autres applications de la thorie sont elles-mmes autant de thories
particulires. Elles ncessitent dailleurs lemploi de la thorie des nombres,
et dun algorithme particulier : nous les rservons pour une autre occasion.
Elles sont en partie relatives aux quations modulaires de la thorie des
fonctions elliptiques, que nous dmontrons ne pouvoir se rsoudre par radicaux.
E. Galois.
Ce 16 janvier 1831.

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 quon doit entendre par le mot rationnel, car il
se reprsentera souvent.
Quand lquation a tous ses coefficients numriques et rationnels, cela
veut dire simplement que lquation peut se dcomposer en facteurs qui
aient leurs coefficients numriques et rationnels.
Mais quand les coefficients dune quation ne seront pas tous numriques
et rationnels, alors il faudra entendre par diviseur rationnel un diviseur
dont les coefficients sexprimeraient en fonction rationnelle des coefficients
de la propose.
Il y a plus : on pourra convenir de regarder comme rationnelle toute
fonction rationnelle dun certain nombre de quantits dtermines, supposes connues a priori. Par exemple, on pourra choisir une certaine
racine dun nombre entier, et regarder comme rationnelle toute fonction
rationnelle de ce radical.

 36
Lorsque nous conviendrons de regarder ainsi comme connues de certaines quantits, nous dirons que nous les adjoignons lquation quil
sagit de rsoudre. Nous dirons que ces quantits sont adjointes lquation.
Cela pos, nous appellerons rationnelle toute quantit qui sexprimera
en fonction rationnelle des coefficients de lquation et dun certain nombre
de quantits adjointes lquation et convenues arbitrairement.
Quand nous nous servirons dquations auxiliaires, elles seront rationnelles, si leurs coefficients sont rationnels en notre sens.
On voit, au surplus, que les proprits et les difficults dune quation
peuvent tre tout fait diffrentes suivant les quantits qui lui sont adjointes. Par exemple, ladjonction dune quantit peut rendre rductible
une quation irrductible.
Ainsi, quand on adjoint lquation
xn 1
= 0,
x1

o n est premier, une racine dune des quations auxiliaires de M. Gauss,

cette quation se dcompose en facteurs et devient, par consquent, rductible.
Les substitutions sont le passage dune permutation lautre.
La permutation do lon part pour indiquer les substitutions est toute
arbitraire, quand il sagit de fonctions ; car il ny a aucune raison pour que,
dans une fonction de plusieurs lettres, une lettre occupe un rang plutt
quun autre.
Cependant, comme on ne peut gure se former lide dune substitution
sans se former celle dune permutation, nous ferons, dans le langage, un emploi frquent des permutations, et nous ne considrerons les substitutions
que comme le passage dune permutation une autre.
Quand nous voudrons grouper des substitutions, nous les ferons toutes
provenir dune mme permutation.
Comme il sagit toujours de questions o la disposition primitive des
lettres ninflue en rien dans les groupes que nous considrerons, on devra
avoir les mmes substitutions, quelle que soit la permutation do lon sera

 37
parti. Donc, si dans un pareil groupe on a les substitutions S et T, on est
sr davoir la substitution ST.
Telles sont les dfinitions que nous avons cru devoir rappeler.
Lemme I. Une quation irrductible ne peut avoir aucune racine
commune avec une quation rationnelle, sans la diviser.
Car le plus grand commun diviseur entre lquation irrductible et
lautre quation sera encore rationnel ; donc, etc.
Lemme II. tant donne une quation quelconque, qui na pas de
racines gales, dont les racines sont a, b, c, . . ., on peut toujours former
une fonction V des racines, telle quaucune des valeurs que lon obtient en
permutant dans celle fonction les racines de toutes manires, ne soit gale
une autre.
Par exemple, on peut prendre
V = Aa + Bb + Cc + . . . ,
A, B, C tant des nombres entiers convenablement choisis.

Lemme III. La fonction V tant choisie comme il est indiqu dans

larticle prcdent, elle jouira de cette proprit, que toutes les racines de
lquation propose sexprimeront rationnellement en fonction de V.
En effet, soit
V = (a, b, c, d, . . . ),

ou bien
V (a, b, c, d, . . . ) = 0.

Multiplions entre elles toutes les quations semblables, que lon obtient en
permutant dans celles-ci toutes les lettres, la premire seulement restant
fixe ; il viendra une expression suivante :




V (a, b, c, d, . . . ) V (a, c, b, d, . . . ) V (a, b, d, c, . . . ) . . . ,

symtrique en b, c, d, . . ., laquelle pourra, par consquent, scrire en fonction de a. Nous aurons donc une quation de la forme
F(V, a) = 0.

 38
Or je dis que de l on peut tirer la valeur de a. Il 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 lquation semblable, sans

quoi lune des fonctions (a, . . . ) serait gale lune des fonctions (b, . . . ) ;
ce qui est contre lhypothse.
Il suit de l que a sexprime en fonction rationnelle de V, et il en est de
mme des autres racines.
Cette proposition (1 ) est cite sans dmonstration par Abel, dans le
Mmoire posthume sur les fonctions elliptiques.
Lemme IV Supposons que lon ait form lquation en V, et que lon
ait pris lun de ses facteurs irrductibles, en sorte que V soit racine dune
quation irrductible. Soient V, V0 , V00 , . . . les racines de cette quation
irrductible. Si a = f (V) est une des racines de la propose, f (V0 ) de mme
sera une racine de la propose.
En effet, en multipliant entre eux tous les facteurs de la forme V
(a, b, c, . . . , d), o lon aura opr sur les lettres toutes les permutations
possibles, on aura une quation rationnelle en V, laquelle se trouvera ncessairement divisible par lquation en question ; donc V0 doit sobtenir par
lchange des lettres dans la fonction V. Soit F(V, a) = 0 lquation quon
obtient en permutant dans V toutes les lettres, hors la premire. On aura
donc F(V0 , b) = 0, b pouvant tre gal a, mais tant certainement lune
des racines de lquation propose ; par consquent, de mme que de la
propose et de F(V, a) = 0 est rsult a = f (V), de mme il rsultera de la
propose et de F(V0 , b) = 0 combines, la suivante b = f (V0 ).
1. Il est remarquable que de cette proposition on peut conclure que toute quation
dpend dune quation auxiliaire telle, que toutes les racines de cette nouvelle quation
soient des fonctions rationnelles les unes des autres : car lquation auxiliaire en V est
dans ce cas.
Au surplus, cette remarque est purement curieuse. En effet, une quation qui a cette
proprit nest pas, en gnral, plus facile rsoudre quune autre.

 39
PROPOSITION I.

Theorme. Soit une quation donne, dont a, b, c, . . . sont les

m racines. Il y aura toujours un groupe de permutations des lettres a, b,
c, . . . qui jouira de la proprit suivante :
1o Que toute fonction des racines, invariable (1 ) par les substitutions
de ce groupe, soit rationnellement connue ;
2o Rciproquement, que toute fonction des racines, dterminable rationnellement, soit invariable par les substitutions.
(Dans le cas des quations algbriques, ce groupe nest autre chose
que lensemble des 1 . 2 . 3 . . . m permutations possibles sur les m lettres,
puisque, dans ce cas, les fonctions symtriques sont seules dterminables
rationnellement.)
(Dans le cas de lquation

xn 1
= 0, si lon suppose a = r, b = rg ,
x1

2
c = rg , . . ., g tant une racine primitive, le groupe de permutations sera

simplement celui-ci :
abcd . . . . . . k,
bcd . . . . . . ka,
cd . . . . . . kab,

...........
kabc . . . . . . i;
dans ce cas particulier, le nombre des permutations est gal au degr de
lquation, 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 lquation donne, on pourra trouver
une fonction rationnelle V des racines, telle que toutes les racines soient
1. 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 ne varierait pas par ces substitutions. Par exemple, si Fx = 0 est une quation, Fx est une fonction des racines qui ne varie par aucune permutation.
Quand nous disons quune fonction est rationnellement connue, nous voulons dire
que sa valeur numrique est exprimable en fonction rationnelle des coefficients de lquation et des quantits adjointes.

 40
fonctions rationnelles de V. Cela pos, considrons lquation irrductible
dont V est racine (lemmes III et IV). Soient V, V0 , V00 , . . ., V(n1) les
racines de cette quation.
Soient V, 1 V, 2 V, . . ., m1 V les racines de la propose.
crivons les n permutations suivantes des racines :
(V)
(V0 )
(V00 )
...,
(V(n1) )

V,
V0 ,
V00 ,
...,
V(n1) ,

1 V,
1 V0 ,
1 V00 ,
...,
1 V(n1) ,

2 V,
2 V0 ,
2 V00 ,
...,
2 V(n1) ,

...,
...,
...,
...,
...,

m1 V,
m1 V0 ,
m1 V00 ,
...,
m1 V(n1) :

je dis que ce groupe de permutations jouit de la proprit nonce.

En effet :
1o Toute fonction F des racines, invariable par les substitutions de ce
groupe, pourra tre crite ainsi : F = V, et lon aura
V = V0 = V00 = = V(n1) .

La valeur de F pourra donc se dterminer rationnellement.

2o Rciproquement, si une fonction F est dterminable rationnellement,
et que lon pose F = V, on devra avoir
V = V0 = V00 = = V(n1) ,

puisque lquation en V na pas de diviseur commensurable et que V satisfait lquation F = V, F tant une quantit rationnelle. Donc la fonction F sera ncessairement invariable par les substitutions du groupe crit
ci-dessus.
Ainsi, ce groupe jouit de la double proprit dont il sagit dans le
thorme propos. Le thorme est donc dmontr.
Nous appellerons groupe de lquation le groupe en question.
Scolie I. Il est vident que, dans le groupe de permutations dont il
sagit ici, la disposition des lettres nest point considrer, mais seulement
les substitutions de lettres par lesquelles on passe dune permutation
lautre.

 41
Ainsi lon peut se donner arbitrairement une premire permutation,
pourvu que les autres permutations sen 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 sagit que des substitutions que lon peut faire dans les fonctions.
Scolie II. Les substitutions sont indpendantes mme du nombre des
racines.
PROPOSITION II.

Theorme (1 ). Si lon adjoint une quation donne la racine r

dune quation auxiliaire irrductible, 1o il arrivera de deux choses lune :
ou bien le groupe de lquation ne sera pas chang, ou bien il se partagera en
p groupes appartenant chacun lquation propose respectivement quand
on lui adjoint chacune des racines de lquation auxiliaire ; 2o ces groupes
jouiront de la proprit remarquable, que lon passera de lun lautre en
oprant dans toutes les permutations du premier une mme substitution de
lettres.
1o Si, aprs ladjonction de r, lquation en V, dont il est question plus
haut, reste irrductible, il est clair que le groupe de lquation ne sera pas
chang. Si, au contraire, elle se rduit, alors lquation en V se dcomposera
en p facteurs, tous de mme degr et de la forme
f (V, r) f (V, r0 ) f (V, r00 ) . . . ,
r, r0 , r00 , . . . tant dautres valeurs de r. Ainsi, le groupe de lquation

propose se dcomposera aussi en groupes chacun dun mme nombre de

1. Dans lnonc du thorme, aprs ces mots : la racine r dune quation auxiliaire
irrductible, Galois avait mis dabord ceux-ci : de degr p premier, quil a effacs plus
tard. De mme, dans la dmonstration, au lieu de r, r0 , r00 , . . . tant dautres valeurs
de r, la rdaction primitive portait : r, r0 , r00 , . . . tant les diverses valeurs de r. Enfin
on trouve la marge du manuscrit la note suivante de lauteur :
Il y a quelque chose complter dans cette dmonstration. Je nai pas le temps.
Cette ligne a t jete avec une grande rapidit sur le papier ; circonstance qui, jointe
aux mots : Je nai pas le temps, me fait penser que Galois a relu son Mmoire pour
le corriger avant daller sur le terrain.
(A. Ch.)

 42
permutations, puisque chaque valeur de V correspond une permutation.
Ces groupes seront respectivement ceux de lquation propose, quand on
lui adjoindra successivement r, r0 , r00 , . . ..
2o Nous avons vu plus haut que toutes les valeurs de V taient des
fonctions rationnelles les unes des autres. Daprs 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 V0 est une racine de f (V, r0 ) = 0, F(V0 ) en sera une autre ; car
on aura


f F(V), r = une fonction divisible par f (V, r).
Donc (lemme I)


f F(V0 ), r0 = une fonction divisible par f (V0 , r0 ).

Cela pos, je dis que lon obtient le groupe relatif r0 en oprant partout
dans le groupe relatif r une mme substitution de lettres.
En effet, si lon a, par exemple,
F(V) = (V),

on aura encore (lemme I),

F(V0 ) = (V0 ).




Donc, pour passer de la permutation F(V) la permutation F(V0 ) , il
faut faire la mme substitution que pour passer de la permutation (V) la
permutation (V0 ).

Le thorme est donc dmontr.

PROPOSITION III.

Theorme. Si lon adjoint une quation toutes les racines dune

quation auxiliaire, les groupes dont il est question dans le thorme II
jouiront, de plus, de cette proprit que les substitutions sont les mmes
dans chaque groupe.
On trouvera la dmonstration (1 ).
1. Dans le manuscrit, lnonc du thorme quon vient de lire se trouve en marge et

 43
PROPOSITION IV.

Theorme. Si lon adjoint une quation la valeur numrique

dune certaine fonction de ses racines, le groupe de lquation sabaissera
de manire navoir plus dautres permutations que celles par lesquelles
cette fonction est invariable.
En effet, daprs la proposition I, toute fonction connue doit tre invariable par les permutations du groupe de lquation.
PROPOSITION V.

Problme. Dans quel cas une quation est-elle soluble par de simples radicaux ?
Jobserverai dabord que, pour rsoudre une quation, il faut successivement abaisser son groupe jusqu ne contenir plus quune seule permutation. Car, quand une quation est rsolue, une fonction quelconque
de ses racines est connue, mme quand elle nest invariable par aucune
permutation.
Cela pos, cherchons quelle condition doit satisfaire le groupe dune
quation, pour quil puisse sabaisser ainsi par ladjonction de quantits
radicales.
en remplace un autre que Galois avait crit avec sa dmonstration sous le mme titre :
Proposition III. Voici le texte primitif :
Theorme. Si lquation en r est de la forme rp = A, et que les racines pimes de
lunit se trouvent au nombre des quantits prcdemment adjointes, les p groupes dont il
est question dans le Thorme II jouiront, de plus, de cette proprit que les substitutions
de lettres par lesquelles on passe dune permutation une autre dans chaque groupe
soient les mmes pour tous les groupes.
En effet, dans ce cas, il revient au mme dadjoindre lquation telle ou telle valeur
de r. Par consquent, ses proprits doivent tre les mmes aprs ladjonction de telle ou
telle valeur. Ainsi son groupe doit tre le mme quant aux substitutions (Proposition I,
scolie). Donc, etc.
Tout cela est effac avec soin ; le nouvel nonc porte la date 1832 et montre, par
la manire dont il est crit, que lauteur tait extrmement press, ce qui confirme
lassertion que jai avance dans la Note prcdente.
(A. Ch.)

 44
Suivons la marche des oprations possibles dans cette solution, en considrant comme oprations distinctes lextraction de chaque racine de degr
premier.
Adjoignons lquation le premier radical extrait dans la solution. Il
pourra arriver deux cas : ou bien, par ladjonction de ce radical, le groupe
des permutations de lquation sera diminu ; ou bien, cette extraction de
racine ntant quune simple prparation, le groupe restera le mme.
Toujours sera-t-il quaprs un certain nombre fini dextractions de
racines, le groupe devra se trouver diminu, sans quoi lquation ne serait
pas soluble.
Si, arriv ce point, il y avait plusieurs manires de diminuer le groupe
de lquation propose par une simple extraction de racine, il faudrait,
pour ce que nous allons dire, considrer seulement un radical du degr le
moins haut possible parmi tous les simples radicaux, qui sont tels que la
connaissance de chacun deux diminue le groupe de lquation.
Soit donc p le nombre premier qui reprsente ce degr minimum, en
sorte que par une extraction de racine de degr p, on diminue le groupe de
lquation.
Nous pouvons toujours supposer, du moins pour ce qui est relatif au
groupe de lquation, que, parmi les quantits adjointes prcdemment
lquation, se trouve une racine pime de lunit, . Car, comme cette expression sobtient par des extractions de racines de degr infrieur p, sa
connaissance naltrera en rien le groupe de lquation.
Par consquent, daprs les thormes II et III, le groupe de lquation
devra se dcomposer en p groupes jouissant les uns par rapport aux autres
de cette double proprit : 1o que lon passe de lun lautre par une seule
et mme substitution ; 2o que tous contiennent les mmes substitutions.
Je dis rciproquement que, si le groupe de lquation peut se partager
en p groupes qui jouissent de cette double proprit, on pourra, par une
simple extraction de racine pime , et par ladjonction de cette racine pime ,
rduire le groupe de lquation lun de ces groupes partiels.
Prenons, en effet, une fonction des racines qui soit invariable pour toutes
les substitutions de lun des groupes partiels, et varie pour toute autre
substitution. (Il suffit, pour cela, de choisir une fonction symtrique des

 45
diverses valeurs que prend, par toutes les permutations de lun des groupes
partiels, une fonction qui nest invariable par aucune substitution.)
Soit cette fonction des racines.
Oprons sur la fonction une des substitutions du groupe total qui ne
lui sont pas communes avec les groupes partiels. Soit 1 le rsultat. Oprons
sur la fonction 1 la mme substitution, et soit 2 le rsultat, et ainsi de
suite.
Comme p est un nombre premier, cette suite ne pourra sarrter quau
terme p1 ; ensuite lon aura p = 1 , p+1 = 1 , et ainsi de suite.
Cela pos, il est clair que la fonction
( + 1 + 2 2 + + p1 p1 )p

sera invariable par toutes les permutations du groupe total et, par consquent, sera actuellement connue.
Si lon extrait la racine pime de cette fonction, et quon ladjoigne
lquation, alors, par la proposition IV, le groupe de lquation ne contiendra plus dautres substitutions que celles des groupes partiels.
Ainsi, pour que le groupe dune quation puisse sabaisser par une simple extraction de racine, la condition ci-dessus est ncessaire et suffisante.
Adjoignons lquation le radical en question ; nous pourrons raisonner
maintenant sur le nouveau groupe comme sur le prcdent, et il faudra quil
se dcompose lui-mme de la manire indique, et ainsi de suite, jusqu
un certain groupe qui ne contiendra plus quune seule permutation.
Scolie. Il est ais dobserver cette marche dans la rsolution connue
des quations gnrales du quatrime degr. En effet, ces quations se rsolvent au moyen dune quation du troisime degr, qui exige elle-mme
lextraction dune racine carre. Dans la suite naturelle des ides, cest donc
par cette racine carre quil faut commencer. Or, en adjoignant lquation
du quatrime degr cette racine carre, le groupe de lquation, qui contenait en tout vingt-quatre substitutions, se dcompose en deux qui nen
contiennent que douze. En dsignant par a, b, c, d les racines, voici lun de

 46
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 II et III. Ainsi, par lextraction dun 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 restera

abcd,
badc;

ce qui se rsoudra enfin par une simple extraction de racine carre.

On obtient ainsi, soit la solution de Descartes, soit celle dEuler ; car,
bien quaprs la rsolution de lquation auxiliaire du troisime degr ce
dernier extraye trois racines carres, on sait quil suffit de deux, puisque la
troisime sen dduit rationnellement.
Nous allons maintenant appliquer cette condition aux quations irrductibles dont le degr est premier.
Application aux quations irrductibles de degr premier.
PROPOSITION VI.

Lemme. Une quation irrductible de degr premier ne peut devenir

rductible par ladjonction dun radical dont lindice serait autre que le degr
mme de lquation.

 47
Car si r, r0 , r00 , . . . sont les diverses valeurs du radical, et Fx = 0 lquation propose, il faudrait que Fx se partaget en facteurs
f (x, r) f (x, r0 ) . . . ,

tous de mme degr, ce qui ne se peut, moins que f (x, r) ne soit 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 permutation.
PROPOSITION VII.

Problme. Quel est le groupe dune quation irrductible dun degr

premier n, soluble par radicaux ?
Daprs proposition prcdente, le plus petit groupe possible, avant
celui qui na quune seule permutation, contiendra n permutations. Or,
un groupe du permutations dun nombre premier n de lettres ne peut se
rduire n permutations, moins que lune de ces permutations ne se
dduise de lautre par une substitution circulaire de lordre n. (Voir le
Mmoire de M. Cauchy, Journal de lcole Polytechnique, XVIIe cahier.)
Ainsi, lavant-dernier groupe sera

(G)

x0 ,

x
1,
x2 ,

...,

x
n1 ,

x1 ,
x2 ,
x3 ,
...,
x0 ,

x2 ,
x3 ,
...,
...,
x1 ,

x3 ,
x4 ,
...,
...,
...,

...,
...,
...,
...,
...,

xn3 ,
xn2 ,
xn1 ,
...,
xn4 ,

xn2 ,
xn1 ,
x0 ,
...,
xn3 ,

xn1 ,
x0 ,
x1 ,
...,
xn2 ,

x0 , x1 , x2 , . . ., xn1 tant les racines.

Maintenant, le groupe qui prcdera immdiatement celui-ci dans lordre des dcompositions devra se composer dun certain nombre de groupes
ayant tous les mmes substitutions que celui-ci. Or, jobserve que ces substitutions peuvent sexprimer ainsi (faisons, en gnral, xn = x0 , xn+1 =
x1 , . . . ; il est clair que chacune des substitutions du groupe (G) sobtient
en mettant partout la place de xk , xk+c , c tant une constante).

 48
Considrons lun quelconque des groupes semblables au groupe (G).
Daprs le thorme II, il devra sobtenir en oprant partout dans ce
groupe une mme substitution ; par exemple, en mettant partout dans le
groupe (G), la place de xk , xf (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 (x + c) = f (k) + C,
C tant indpendant de k .

Donc
f (k + 2c) = f (k) + 2C,

......................
f (k + mc) = f (k) + mC.

Si c = 1, k = 0, on trouvera
f (m) = am + b

ou bien
f (k) = ak + b,
a et b tant des constantes.

Donc, le groupe qui prcde immdiatement le groupe (G) ne devra

contenir que des substitutions telles que
xk ,

xak+b ,

et ne contiendra pas, par consquent, dautre substitution circulaire que

celle du groupe (G).
On raisonnera sur ce groupe comme sur le prcdent, et il sensuivra que
le premier groupe dans lordre des dcompositions, cest--dire le groupe
actuel de lquation, ne peut contenir que des substitutions de la forme
xk ,

xak+b .

 49
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
xk ,

xak+b ,

a et b tant des constantes.

Rciproquement, si cette condition a lieu, je dis que lquation sera

soluble par radicaux. Considrons, en effet, les fonctions
(x0 + x1 + 2 x2

+ + n1 xn1

)n = X1 ,

(x0 + xa + 2 x2a + + n1 x(n1)a )n = Xa ,

(x0 + xa2 + 2 x2a2 + + n1 x(n1)a2 )n = Xa2 ,

.............................................. ,
tant une racine nime de lunit, a une racine primitive de n.

Il est clair que toute fonction invariable par les substitutions circulaires
des quantits X1 , Xa , Xa2 , . . . sera, dans ce cas, immdiatement connue.
Donc, on pourra trouver X1 , Xa , Xa2 , . . ., par la mthode de M. Gauss pour
les quations binmes. Donc, etc.
Ainsi, pour quune quation irrductible de degr premier soit soluble
par radicaux, il faut et il suffit que toute fonction invariable par les substitutions
xk ,

xak+b

soit rationnellement connue.

Ainsi, la fonction
(X1 X)(Xa X)(Xa2 X) . . .

devra, quel que soit X, tre connue.

Il faut donc et il suffit que lquation qui donne cette fonction des
racines admette, quel que soit X, une valeur rationnelle.
Si lquation propose a tous ses coefficients rationnels, lquation auxiliaire qui donne cette fonction les aura tous aussi, et il suffira de reconnatre
si cette quation auxiliaire du degr 1 . 2 . 3 . . . (n 2) a ou non une racine
rationnelle, ce que lon sait faire.

 50
Cest l le moyen quil faudrait employer dans la pratique. Mais nous
allons prsenter le thorme sous une autre forme.
PROPOSITION VIII.

Theorme. Pour quune quation irrductible de degr premier soit

soluble par radicaux, il faut et il suffit que deux quelconques des racines
tant connues, les autres sen dduisent rationnellement.
Premirement, il le faut, car la substitution
xk ,

xak+b

ne laissant jamais deux lettres la mme place, il est clair quen adjoignant
deux racines lquation, 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(n1) permutations. Donc, il ne contiendra quune
seule substitution circulaire (sans quoi il y aurait au moins n2 permutations). Donc, toute substitution du groupe, xk , xf k , devra satisfaire la
condition
f (k + c) = f (k) + C.

Donc, etc.
Le thorme est donc dmontr.
EXEMPLE DU THORME VII.

Soit n = 5 ; le groupe sera le suivant :

abcde
bcdea
cdeab
deabc
eabcd

acebd
cebda
ebdac
bdace
daceb

aedcb
edcba
dcbae
cbaed
baedc

adbec
dbeca
becad
ecadb
cadbe

 51
DES QUATIONS PRIMITIVES
QUI SONT SOLUBLES PAR RADICAUX (1 ).
(Fragment.)

Cherchons, en gnral, dans quel cas une quation primitive est soluble par radicaux. Or, nous pouvons de suite tablir un caractre gnral
fond sur le degr mme de ces quations. Ce caractre est celui-ci : Pour
quune quation primitive soit rsoluble par radicaux, il faut que son degr
soit de la forme p , p tant premier. Et de l suivra immdiatement que,
lorsquon aura rsoudre par radicaux une quation irrductible dont le
degr admettrait des facteurs premiers ingaux, on ne pourra le faire que
par la mthode de dcomposition due M. Gauss ; sinon lquation sera
insoluble.
Pour tablir la proprit gnrale que nous venons dnoncer relativement aux quations primitives quon peut rsoudre par radicaux, nous
pouvons supposer que lquation que lon veut rsoudre soit primitive, mais
cesse de ltre par ladjonction dun simple radical. En dautres termes, nous
pouvons supposer que, n tant premier, le groupe de lquation se partage
en n groupes irrductibles conjugus, mais non primitifs. Car, moins que
le degr de lquation soit premier, un pareil groupe se prsentera toujours
dans la suite des dcompositions.
Soit N le degr de lquation, et supposons quaprs une extraction
de racine de degr premier n, elle devienne non primitive et se partage
en Q quations primitives de degr P, au moyen dune seule quation de
degr Q.
Si nous appelons G le groupe de lquation, ce groupe devra se partager
en n groupes conjugus non primitifs, dans lesquels les lettres se rangeront
en systmes composs de P lettres conjointes chacun. Voyons de combien
de manires cela pourra se faire.
Soit H lun des groupes conjugus non primitifs. Il est ais de voir que,
dans ce groupe, deux lettres quelconques prises volont feront partie dun
1. Voir la Note 1 de la page 34.

 52
certain systme de P lettres conjointes, et ne feront partie que dun seul.
Car, en premier lieu, sil y avait deux lettres qui ne pussent faire partie
dun mme systme de P lettres conjointes, le groupe G, qui est tel que
lune quelconque de ses substitutions transforme les unes dans les autres
toutes les substitutions du groupe H, serait non primitif, ce qui est contre
lhypothse.
En second lieu, si deux lettres faisaient partie de plusieurs systmes
diffrents, il sensuivrait que les groupes qui rpondent aux divers systmes
de P lettres conjointes ne seraient pas primitifs, ce qui est encore contre
lhypothse.
Cela pos, soient
a0 , a1 , a2 , . . . , aP1 ,
b0 , b1 , b2 , . . . , bP1 ,
c0 , c1 , c2 , . . . , cP1

les N lettres : supposons que chaque ligne horizontale reprsente un systme

de lettres conjointes. Soient
a0,0 ,

a0,1 ,

a0,2 , . . . ,

a0,P1

P lettres conjointes toutes situes dans la premire colonne verticale. (Il est

clair que nous pouvons faire quil en soit ainsi, en intervertissant lordre
des lignes horizontales.)
Soient, de mme,
a1,0 ,

a1,1 ,

a1,2 ,

a1,3 , . . . ,

a1,P1

P lettres conjointes toutes situes dans la seconde colonne verticale, en

sorte que
a1,0 ,

a1,1 ,

a1,2 ,

a1,3 , . . . ,

a1,P1

appartiennent respectivement aux mmes lignes horizontales que

a0,0 ,

a0,1 ,

a0,2 ,

a0,3 , . . . ,

a0,P1 ;

 53
soient, de mme, les systmes de lettres conjointes
a2,0 , a2,1 , a2,2 , a2,3 , . . . , a2,P1 ,
a3,0 , a3,1 , a3,2 , a3,3 , . . . , a3,P1 ,
. . . , . . . , . . . , . . . , . . . , . . . . . .,

nous obtiendrons ainsi, en tout, P2 lettres. Si le nombre total des lettres

nest pas puis, on prendra un troisime indice, en sorte que
am,n,0 ,

am,n,1 ,

am,n,2 ,

am,n,3 , . . . ,

am,n,P1

soit, en gnral, un systme de lettres conjointes ; et lon parviendra ainsi

cette conclusion, que N = P , tant un certain nombre gal celui des
indices diffrents dont on aura besoin. La forme gnrale des lettres sera
ak1 ,k2 ,k3 ,...,k ,
k1 , k2 , k3 , . . ., k tant des indices qui peuvent prendre chacun les P valeurs
0, 1, 2, 3, . . ., P 1.

On voit aussi, par la manire dont nous avons procd, que, dans le
groupe H, toutes les substitutions seront de la forme

ak1 ,k2 ,k3 ...k ,


a(k1 ),(k2 ),(k3 )...,(k ) ,

puisque chaque indice correspond un systme de lettres conjointes.

Si P nest pas un nombre premier, on raisonnera sur le groupe de permutations de lun quelconque des systmes de lettres conjointes, comme
sur le groupe G, en remplaant chaque indice par un certain nombre de
nouveaux indices, et lon trouvera P = R , et ainsi de suite ; do enfin
N = p , p tant un nombre premier.
Des quations primitives de degre p2 .
Arrtons-nous un moment pour traiter de suite les quations primitives
dun degr p2 , p tant premier impair. (Le cas de p = 2 a t examin.) Si
une quation du degr p2 est soluble par radicaux, supposons-la dabord
telle, quelle devienne non primitive par une extraction de radical.

 54
Soit donc G un groupe primitif de p2 lettres qui se partage en n groupes
non primitifs conjugus H.
Les lettres devront ncessairement, dans le groupe H, se ranger ainsi :
a0,0 ,
a1,0 ,
a2,0 ,
...,
ap1,0 ,

a0,1 ,
a1,1 ,
a2,1 ,
...,
ap1,1 ,

a0,2 ,
a1,2 ,
a2,2 ,
...,
ap1,2 ,

a0,3 ,
a1,3 ,
a2,3 ,
...,
ap1,3 ,

...,
...,
...,
...,
...,

a0,p1 ,
a1,p1 ,
a2,p1 ,
..... ,
ap1,p1 ,

chaque ligne horizontale et chaque ligne verticale tant un systme de lettres conjointes.
Si lon permute entre elles les lignes horizontales, le groupe que lon
obtiendra, tant primitif et de degr premier, ne devra contenir que des
substitutions de la forme
(ak1 ,k2 , amk1 +n,k2 ),

les indices tant pris relativement au module p.

Il en sera de mme pour les lignes qui ne pourront donner que des
substitutions de la forme
(ak1 ,k2 , ak1 ,qk2 +r ).

Donc enfin toutes les substitutions du groupe H seront de la forme

(ak1 ,k2 , am1 k1 +n1 ,m2 k2 +n2 ).

Si un groupe G se partage en n groupes conjugus celui que nous venons

de dcrire, 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)

(ak1 ,k2 , . . . , ak1 +1 ,k2 +2 , . . . ).

Supposons donc que lune des substitutions du groupe G se forme en remplaant respectivement
k1
k2

par 1 (k1 , k2 ),
par 2 (k1 , k2 ).

 55
Si, dans les fonctions 1 , 2 , on substitue pour k1 et k2 les valeurs k1 + 1 ,
k2 + 2 , il devra venir des rsultats de la forme
1 + 1 ,

2 + 2 ,

et de l il est ais de conclure immdiatement que les substitutions du

groupe G doivent tre toutes comprises dans la formule
(A)

(ak1 ,k2 , am1 k1 +n1 k+1 m2 k1 +n2 k2 +2 ),

Or nous savons, par le no (1 ), que les substitutions du groupe G ne peuvent

embrasser que p2 1 ou p2 p lettres. Ce nest point p2 p, puisque, dans
ce cas, le groupe G serait non primitif. Si donc, dans le groupe G, on
ne considre que les permutations o la lettre a0,0 , par exemple, conserve
toujours la mme place, on naura que des substitutions de lordre p2 1
entre les p2 1 autres lettres.
Mais rappelons-nous ici que cest simplement pour la dmonstration
que nous avons suppos que le groupe primitif G se partaget en groupes
conjugus non primitifs. Comme cette condition nest nullement ncessaire,
les groupes seront souvent beaucoup plus composs.
Il sagit donc de reconnatre dans quel cas ces groupes pourront admettre des substitutions o p2 p lettres seulement varieraient, et cette
recherche va nous retenir quelque temps.
Soit donc G un groupe qui contienne quelque substitution de lordre
2
p p ; je dis dabord que toutes les substitutions de ce groupe seront
linaires, cest--dire de la forme (A).
La chose est reconnue vraie pour les substitutions de lordre p2 1 ; il
suffit donc de la dmontrer pour celles de lordre p2 p. Ne considrons
donc quun groupe o les substitutions seraient toutes m de lordre p2 ou
de lordre p2 p. (Voyez lendroit cit.)
Alors les p lettres qui, dans une substitution de lordre p2 p, ne
varieront pas, devront tre des lettres conjointes.
1. Ce Mmoire faisant suite un travail de Galois que je ne possde pas, il mest
impossible dindiquer le Mmoire cit ici et plus bas.
(A. Ch.)

 56
Supposons que ces lettres conjointes soient
a0,0 ,

a0,1 ,

a0,2 ,

...,

a0,p1 .

Nous pouvons dduire toutes les substitutions o ces p lettres ne changent

pas de place, nous pouvons les dduire de substitutions de la forme
(ak1 ,k2 , ak1 ,k2 )

et de substitutions de lordre p2 p, dont la priode serait de p termes.

(Voyez encore lendroit cit.)
Les premiers doivent ncessairement, pour que le groupe jouisse de la
proprit voulue, se rduire la forme
(ak1 ,k2 , ak1 ,mk2 )

daprs ce quon a vu pour les quations de degr p.

Quant aux substitutions dont la priode serait de p termes, comme
elles sont conjugues aux prcdentes, 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
linaires.
Nous sommes donc arrivs cette conclusion, que le groupe primitif
de permutations de p2 lettres doit ne contenir que des substitutions de la
forme (A).
Maintenant, prenons le groupe total que lon obtient en oprant sur
lexpression
ak1 ,k2

toutes les substitutions linaires possibles, et cherchons quels sont les diviseurs de ce groupe qui peuvent jouir de la proprit voulue pour la rsolubilit des quations.
Quel est dabord le nombre total des substitutions linaires ? Premirement, il est clair que toute transformation de la forme
k1 , k 2 ,

m1 k1 + n1 k2 + 1 , m2 k1 + n2 k2 + 2

 57
ne sera pas pour cela une substitution ; car il faut, dans une substitution,
qu chaque lettre de la premire permutation il ne rponde quune seule
lettre de la seconde, et rciproquement.
Si donc on prend une lettre quelconque al1 ,l2 de la seconde permutation,
et que lon remonte la lettre correspondante dans la premire, on devra
trouver une lettre ak1 ,k2 o les indices k1 , k2 seront parfaitement dtermins.
Il faut donc que, quels que soient l1 et l2 , on ait, par les deux quations
m1 k1 + n1 k2 + 1 = l1 ,

m2 k1 + n2 k2 + 2 = l2 ,

des valeurs de k1 et k2 finies et dtermines. Ainsi la condition pour quune

pareille transformation soit rellement une substitution est que m1 n2 m2 n1
ne soit ni nul ni divisible par le module p, ce qui est la mme chose.
Je dis maintenant que, bien que ce groupe substitutions linaires
nappartienne pas toujours, comme on le verra, des quations solubles par
radicaux, il jouira toutefois de cette proprit, que, si dans une quelconque
de ses substitutions il y a n lettres de fixes, n 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 linaires qui donneront tous
les indices de lune des lettres fixes, au moyen dun certain nombre dentre
eux. Donnant chacun de ces indices, rests arbitraires, p valeurs, on aura
pm systmes de valeurs, m tant un certain nombre. Dans le cas qui nous
occupe, m est ncessairement < 2 et se trouve par consquent tre 0 ou 1.
Donc le nombre des substitutions ne saurait tre plus grand que
p2 (p2 1)(p2 p).

Ne considrons maintenant que les substitutions linaires o la lettre a0,0 ne varie pas ; si, dans ce cas, nous trouvons le nombre total des
permutations du groupe qui contient toutes les substitutions linaires possibles, il nous suffira de multiplier ce nombre par p2 .
Or, premirement, en substituant p lindice k2 , toutes les substitutions
de la forme
(ak1 ,k2 , am1 k1 ,k2 )

 58
donneront en tout p 1 substitutions. On en aura p2 p en ajoutant au
terme k2 le terme m2 k1 , ainsi quil suit :
(m0 )

(k1 , k2 , m1 k1 , m2 k1 + k2 ).

Dun autre ct, il est ais de trouver un groupe linaire de p2 1

permutations, tel que, dans chacune de ses substitutions, toutes les lettres,
lexception de a0,0 , varient. Car, en remplaant le double indice k1 , k2
par lindice simple k1 + ik2 , i tant une racine primitive de
2
xp 1 1 = 0 (mod p),

il est clair que toute substitution de la forme

[ak1 +k2 l , a(m1 +m2 l)(k1 +k2 l) ]

sera une substitution linaire ; mais, dans ces substitutions, aucune lettre
ne reste la mme place, et elles sont au nombre de p2 1.
Nous avons donc un systme de p2 1 permutations tel que, dans chacune de ses substitutions, toutes les lettres varient, lexception de a0,0 .
Combinant ces substitutions avec les p2 p dont il est parl plus haut, nous
aurons
(p2 1)(p2 p) substitutions.
Or, nous avons vu a priori que le nombre des substitutions o a0,0 reste
fixe ne pouvait tre plus grand que (p2 1)(p2 p). Donc il est prcisment
gal (p2 1)(p2 p), et le groupe linaire total aura en tout
p2 (p2 1)(p2 p) permutations.

Il reste chercher les diviseurs de ce groupe, qui peuvent jouir de la

proprit dtre solubles par radicaux. Pour cela, nous allons faire une
transformation qui a pour but dabaisser autant que possible les quations
gnrales de degr p2 dont le groupe serait linaire.
Premirement, comme les substitutions circulaires dun pareil groupe
sont telles, que toute autre substitution du groupe les transforme les unes
dans les autres, on pourra abaisser lquation dun degr et considrer une

 59
quation de degr p2 1 dont le groupe naurait que des substitutions de
la forme
(bk1 ,k2 , bm1 k1 +n1 k2 , m2 k1 +n2 k2 ),

les p2 1 lettres tant

b0,1 , b0,2 ,
b1,0 , b1,1 , b1,2 ,
b2,0 , b2,1 , b2,2 ,
..., ..., ...,

b0,3 ,
b1,3 ,
b2,3 ,
...,

...,
...,
...,
....

Jobserve maintenant que ce groupe est non primitif, en sorte que toutes
les lettres o le rapport des deux indices est le mme sont des lettres
conjointes. Si lon remplace par une seule lettre chaque systme de lettres
conjointes, on aura un groupe dont toutes les substitutions seront de la
forme


b k1 , b m1 k1 +n1 k2 ,
k2

m2 k1 +n2 k2

k1
tant les nouveaux indices. En remplaant ce rapport par un seul ink2
dice k, on voit que les p + 1 lettres seront
b0 ,

b1 ,

b2 ,

b3 ,

...,

bp1 ,

b1 ,
0

et les substitutions seront de la forme


k,


mk + n
.
rk + s

Cherchons combien de lettres, dans chacune de ces substitutions, restent

la mme place ; il faut pour cela rsoudre lquation
(rk + s)k m(mk + n) = 0,

qui aura deux, ou une, ou aucune racine, suivant que (m s)2 + 4nr sera
rsidu quadratique, nul ou non rsidu quadratique. Suivant ces trois cas,
la substitution sera de lordre p 1, ou p, ou p + 1.

 60
On peut prendre pour type des deux premiers cas les substitutions de
la forme
(k, mk + n),

o la seule lettre b 1 ne varie pas, et de l on voit que le nombre total des

0

substitutions du groupe rduit est

(p + 1)p(p 1).

Cest aprs avoir ainsi rduit ce groupe que nous allons le traiter
gnralement. Nous chercherons dabord dans quel cas un diviseur de ce
groupe, qui contiendrait des substitutions de lordre p, pourrait appartenir
une quation soluble par radicaux.
Dans ce cas, lquation serait primitive et elle ne pourrait tre soluble
par radicaux, moins que lon net p + 1 = 2n , n tant un certain nombre.
Nous pouvons supposer que le groupe ne contienne que des substitutions
de lordre p et de lordre p+1. Toutes les substitutions de lordre p+1 seront
par consquent semblables, et leur priode sera de deux termes.
Prenons donc lexpression



mk + n
k,
,
rk + s

et voyons dans quel cas cette substitution peut avoir une priode de deux
termes. Il faut pour cela que la substitution inverse se confonde avec elle.
La substitution inverse est

k,


sk + n
.
rk m

Donc on doit avoir m = s, et toutes les substitutions en question

seront


k,

mk + n
,
km

ou encore
k, m +

N
,
km

 61
N tant un certain nombre qui est le mme pour toutes les substitutions,

puisque ces substitutions doivent tre transformes les unes dans les autres
par toutes les substitutions de lordre p, (k, k + m) ; or ces substitutions
doivent, de plus, tre conjugues les unes des autres. Si donc



N
,
k, m +
km

N
k, n +
km

sont deux pareilles substitutions, il faut que lon ait

n+

N
N
+mn
km

=m+

N
N
+nm
kn

savoir
(m n)2 = 2N.

Donc la diffrence entre deux valeurs de m ne peut acqurir que deux

valeurs diffrentes ; donc m ne peut avoir plus de trois valeurs ; donc enfin p = 3. Ainsi, cest seulement dans ce cas que le groupe rduit pourra
contenir des substitutions de lordre p.
Et, en effet, la rduite sera alors du quatrime degr, et, par consquent,
soluble par radicaux.
Nous savons par l quen gnral, parmi les substitutions de notre
groupe rduit, il ne devra pas se trouver de substitutions de lordre p.
Peut-il y en avoir de lordre p 1 ? Cest ce que je vais rechercher (1 ).

FIN.

1. Jai cherch inutilement dans les papiers de Galois la continuation de ce quon

vient de lire.
(A. Ch.)

TABLE DES MATIRES

Pages.

Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

III

I. ARTICLES PUBLIS PAR GALOIS.

Dmonstration dun thorme sur les fractions continues priodiques . . . . .

Notes sur quelques points dAnalyse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

11

Analyse dun Mmoire sur la rsolution algbrique des quations . . . . . . . . .

13

Note sur la rsolution des quations numriques . . . . . . . . . . . . . . . . . . . . . . . . .

15

Sur la thorie des nombres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

17

II. UVRES POSTHUMES.

Lettre Auguste Chevalier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

26

Mmoire sur les conditions de rsolubilit des quations par radicaux . . . .

34

Des quations primitives qui sont solubles par radicaux (fragment) . . . . . . .

51

FIN DE LA TABLE DES MATIRES.

LICENSE

End of the Project Gutenberg EBook of Oeuvres mathmatiques dvariste Galois, by

variste Galois
*** END OF THIS PROJECT GUTENBERG EBOOK OEUVRES MATHMATIQUES ***
***** This file should be named 40213-pdf.pdf or 40213-pdf.zip *****
This and all associated files of various formats will be found in:
http://www.gutenberg.org/4/0/2/1/40213/
Produced by Andrew D. Hwang, K. F. Greiner, Paul Murray
and the Online Distributed Proofreading Team at
http://www.pgdp.net

Updated editions will replace the previous one--the old editions

will be renamed.
Creating the works from public domain print editions means that no
one owns a United States copyright in these works, so the Foundation
(and you!) can copy and distribute it in the United States without
permission and without paying copyright royalties. Special rules,
set forth in the General Terms of Use part of this license, apply to
copying and distributing Project Gutenberg-tm electronic works to
protect the PROJECT GUTENBERG-tm concept and trademark. Project
Gutenberg is a registered trademark, and may not be used if you
charge for the eBooks, unless you receive specific permission. If you
do not charge anything for copies of this eBook, complying with the
rules is very easy. You may use this eBook for nearly any purpose
such as creation of derivative works, reports, performances and
research. They may be modified and printed and given away--you may do
practically ANYTHING with public domain eBooks. Redistribution is
subject to the trademark license, especially commercial
redistribution.

*** START: FULL LICENSE ***

THE FULL PROJECT GUTENBERG LICENSE
PLEASE READ THIS BEFORE YOU DISTRIBUTE OR USE THIS WORK
To protect the Project Gutenberg-tm mission of promoting the free
distribution of electronic works, by using or distributing this work
(or any other work associated in any way with the phrase "Project
Gutenberg"), you agree to comply with all the terms of the Full Project
Gutenberg-tm License available with this file or online at
www.gutenberg.org/license.

LICENSE

Section 1. General Terms of Use and Redistributing Project Gutenberg-tm

electronic works
1.A. By reading or using any part of this Project Gutenberg-tm
electronic work, you indicate that you have read, understand, agree to
and accept all the terms of this license and intellectual property
(trademark/copyright) agreement. If you do not agree to abide by all
the terms of this agreement, you must cease using and return or destroy
all copies of Project Gutenberg-tm electronic works in your possession.
If you paid a fee for obtaining a copy of or access to a Project
Gutenberg-tm electronic work and you do not agree to be bound by the
terms of this agreement, you may obtain a refund from the person or
entity to whom you paid the fee as set forth in paragraph 1.E.8.
1.B. "Project Gutenberg" is a registered trademark. It may only be
used on or associated in any way with an electronic work by people who
agree to be bound by the terms of this agreement. There are a few
things that you can do with most Project Gutenberg-tm electronic works
even without complying with the full terms of this agreement. See
paragraph 1.C below. There are a lot of things you can do with Project
Gutenberg-tm electronic works if you follow the terms of this agreement
and help preserve free future access to Project Gutenberg-tm electronic
works. See paragraph 1.E below.
1.C. The Project Gutenberg Literary Archive Foundation ("the Foundation"
or PGLAF), owns a compilation copyright in the collection of Project
Gutenberg-tm electronic works. Nearly all the individual works in the
collection are in the public domain in the United States. If an
individual work is in the public domain in the United States and you are
located in the United States, we do not claim a right to prevent you from
copying, distributing, performing, displaying or creating derivative
works based on the work as long as all references to Project Gutenberg
are removed. Of course, we hope that you will support the Project
Gutenberg-tm mission of promoting free access to electronic works by
freely sharing Project Gutenberg-tm works in compliance with the terms of
this agreement for keeping the Project Gutenberg-tm name associated with
the work. You can easily comply with the terms of this agreement by
keeping this work in the same format with its attached full Project
Gutenberg-tm License when you share it without charge with others.
1.D. The copyright laws of the place where you are located also govern
what you can do with this work. Copyright laws in most countries are in
a constant state of change. If you are outside the United States, check
the laws of your country in addition to the terms of this agreement
before downloading, copying, displaying, performing, distributing or

LICENSE
creating derivative works based on this work or any other Project
Gutenberg-tm work. The Foundation makes no representations concerning
the copyright status of any work in any country outside the United
States.
1.E.

Unless you have removed all references to Project Gutenberg:

1.E.1. The following sentence, with active links to, or other immediate
access to, the full Project Gutenberg-tm License must appear prominently
whenever any copy of a Project Gutenberg-tm work (any work on which the
phrase "Project Gutenberg" appears, or with which the phrase "Project
Gutenberg" is associated) is accessed, displayed, performed, viewed,
copied or distributed:
This eBook is for the use of anyone anywhere at no cost and with
almost no restrictions whatsoever. You may copy it, give it away or
re-use it under the terms of the Project Gutenberg License included
with this eBook or online at www.gutenberg.org
1.E.2. If an individual Project Gutenberg-tm electronic work is derived
from the public domain (does not contain a notice indicating that it is
posted with permission of the copyright holder), the work can be copied
and distributed to anyone in the United States without paying any fees
or charges. If you are redistributing or providing access to a work
with the phrase "Project Gutenberg" associated with or appearing on the
work, you must comply either with the requirements of paragraphs 1.E.1
through 1.E.7 or obtain permission for the use of the work and the
Project Gutenberg-tm trademark as set forth in paragraphs 1.E.8 or
1.E.9.
1.E.3. If an individual Project Gutenberg-tm electronic work is posted
with the permission of the copyright holder, your use and distribution
must comply with both paragraphs 1.E.1 through 1.E.7 and any additional
terms imposed by the copyright holder. Additional terms will be linked
to the Project Gutenberg-tm License for all works posted with the
permission of the copyright holder found at the beginning of this work.
1.E.4. Do not unlink or detach or remove the full Project Gutenberg-tm
License terms from this work, or any files containing a part of this
work or any other work associated with Project Gutenberg-tm.
1.E.5. Do not copy, display, perform, distribute or redistribute this
electronic work, or any part of this electronic work, without
prominently displaying the sentence set forth in paragraph 1.E.1 with
active links or immediate access to the full terms of the Project
Gutenberg-tm License.

LICENSE
1.E.6. You may convert to and distribute this work in any binary,
compressed, marked up, nonproprietary or proprietary form, including any
word processing or hypertext form. However, if you provide access to or
distribute copies of a Project Gutenberg-tm work in a format other than
"Plain Vanilla ASCII" or other format used in the official version
posted on the official Project Gutenberg-tm web site (www.gutenberg.org),
you must, at no additional cost, fee or expense to the user, provide a
copy, a means of exporting a copy, or a means of obtaining a copy upon
request, of the work in its original "Plain Vanilla ASCII" or other
form. Any alternate format must include the full Project Gutenberg-tm
License as specified in paragraph 1.E.1.
1.E.7. Do not charge a fee for access to, viewing, displaying,
performing, copying or distributing any Project Gutenberg-tm works
unless you comply with paragraph 1.E.8 or 1.E.9.
1.E.8. You may charge a reasonable fee for copies of or providing
access to or distributing Project Gutenberg-tm electronic works provided
that
- You pay a royalty fee of 20% of the gross profits you derive from
the use of Project Gutenberg-tm works calculated using the method
you already use to calculate your applicable taxes. The fee is
owed to the owner of the Project Gutenberg-tm trademark, but he
has agreed to donate royalties under this paragraph to the
Project Gutenberg Literary Archive Foundation. Royalty payments
must be paid within 60 days following each date on which you
prepare (or are legally required to prepare) your periodic tax
returns. Royalty payments should be clearly marked as such and
sent to the Project Gutenberg Literary Archive Foundation at the
address specified in Section 4, "Information about donations to
the Project Gutenberg Literary Archive Foundation."
- You provide a full refund of any money paid by a user who notifies
you in writing (or by e-mail) within 30 days of receipt that s/he
does not agree to the terms of the full Project Gutenberg-tm
License. You must require such a user to return or
destroy all copies of the works possessed in a physical medium
and discontinue all use of and all access to other copies of
Project Gutenberg-tm works.
- You provide, in accordance with paragraph 1.F.3, a full refund of any
money paid for a work or a replacement copy, if a defect in the
electronic work is discovered and reported to you within 90 days
of receipt of the work.
- You comply with all other terms of this agreement for free

LICENSE
distribution of Project Gutenberg-tm works.
1.E.9. If you wish to charge a fee or distribute a Project Gutenberg-tm
electronic work or group of works on different terms than are set
forth in this agreement, you must obtain permission in writing from
both the Project Gutenberg Literary Archive Foundation and Michael
Hart, the owner of the Project Gutenberg-tm trademark. Contact the
Foundation as set forth in Section 3 below.
1.F.
1.F.1. Project Gutenberg volunteers and employees expend considerable
effort to identify, do copyright research on, transcribe and proofread
public domain works in creating the Project Gutenberg-tm
collection. Despite these efforts, Project Gutenberg-tm electronic
works, and the medium on which they may be stored, may contain
"Defects," such as, but not limited to, incomplete, inaccurate or
corrupt data, transcription errors, a copyright or other intellectual
property infringement, a defective or damaged disk or other medium, a
computer virus, or computer codes that damage or cannot be read by
your equipment.
1.F.2. LIMITED WARRANTY, DISCLAIMER OF DAMAGES - Except for the "Right
of Replacement or Refund" described in paragraph 1.F.3, the Project
Gutenberg Literary Archive Foundation, the owner of the Project
Gutenberg-tm trademark, and any other party distributing a Project
Gutenberg-tm electronic work under this agreement, disclaim all
liability to you for damages, costs and expenses, including legal
fees. YOU AGREE THAT YOU HAVE NO REMEDIES FOR NEGLIGENCE, STRICT
LIABILITY, BREACH OF WARRANTY OR BREACH OF CONTRACT EXCEPT THOSE
PROVIDED IN PARAGRAPH 1.F.3. YOU AGREE THAT THE FOUNDATION, THE
TRADEMARK OWNER, AND ANY DISTRIBUTOR UNDER THIS AGREEMENT WILL NOT BE
LIABLE TO YOU FOR ACTUAL, DIRECT, INDIRECT, CONSEQUENTIAL, PUNITIVE OR
INCIDENTAL DAMAGES EVEN IF YOU GIVE NOTICE OF THE POSSIBILITY OF SUCH
DAMAGE.
1.F.3. LIMITED RIGHT OF REPLACEMENT OR REFUND - If you discover a
defect in this electronic work within 90 days of receiving it, you can
receive a refund of the money (if any) you paid for it by sending a
written explanation to the person you received the work from. If you
received the work on a physical medium, you must return the medium with
your written explanation. The person or entity that provided you with
the defective work may elect to provide a replacement copy in lieu of a
refund. If you received the work electronically, the person or entity
providing it to you may choose to give you a second opportunity to
receive the work electronically in lieu of a refund. If the second copy
is also defective, you may demand a refund in writing without further

LICENSE
opportunities to fix the problem.
1.F.4. Except for the limited right of replacement or refund set forth
in paragraph 1.F.3, this work is provided to you AS-IS, WITH NO OTHER
WARRANTIES OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO
WARRANTIES OF MERCHANTABILITY OR FITNESS FOR ANY PURPOSE.
1.F.5. Some states do not allow disclaimers of certain implied
warranties or the exclusion or limitation of certain types of damages.
If any disclaimer or limitation set forth in this agreement violates the
law of the state applicable to this agreement, the agreement shall be
interpreted to make the maximum disclaimer or limitation permitted by
the applicable state law. The invalidity or unenforceability of any
provision of this agreement shall not void the remaining provisions.
1.F.6. INDEMNITY - You agree to indemnify and hold the Foundation, the
trademark owner, any agent or employee of the Foundation, anyone
providing copies of Project Gutenberg-tm electronic works in accordance
with this agreement, and any volunteers associated with the production,
promotion and distribution of Project Gutenberg-tm electronic works,
harmless from all liability, costs and expenses, including legal fees,
that arise directly or indirectly from any of the following which you do
or cause to occur: (a) distribution of this or any Project Gutenberg-tm
work, (b) alteration, modification, or additions or deletions to any
Project Gutenberg-tm work, and (c) any Defect you cause.

Section

2.

Information about the Mission of Project Gutenberg-tm

Project Gutenberg-tm is synonymous with the free distribution of

electronic works in formats readable by the widest variety of computers
including obsolete, old, middle-aged and new computers. It exists
because of the efforts of hundreds of volunteers and donations from
people in all walks of life.
Volunteers and financial support to provide volunteers with the
assistance they need are critical to reaching Project Gutenberg-tms
goals and ensuring that the Project Gutenberg-tm collection will
remain freely available for generations to come. In 2001, the Project
Gutenberg Literary Archive Foundation was created to provide a secure
and permanent future for Project Gutenberg-tm and future generations.
To learn more about the Project Gutenberg Literary Archive Foundation
and how your efforts and donations can help, see Sections 3 and 4
and the Foundation information page at www.gutenberg.org

Section 3.

Information about the Project Gutenberg Literary Archive

LICENSE
Foundation
The Project Gutenberg Literary Archive Foundation is a non profit
501(c)(3) educational corporation organized under the laws of the
state of Mississippi and granted tax exempt status by the Internal
Revenue Service. The Foundations EIN or federal tax identification
number is 64-6221541. Contributions to the Project Gutenberg
Literary Archive Foundation are tax deductible to the full extent
permitted by U.S. federal laws and your states laws.
The Foundations principal office is located at 4557 Melan Dr. S.
Fairbanks, AK, 99712., but its volunteers and employees are scattered
throughout numerous locations. Its business office is located at 809
North 1500 West, Salt Lake City, UT 84116, (801) 596-1887. Email
contact links and up to date contact information can be found at the
Foundations web site and official page at www.gutenberg.org/contact
For additional contact information:
Dr. Gregory B. Newby
Chief Executive and Director
gbnewby@pglaf.org
Section 4. Information about Donations to the Project Gutenberg
Literary Archive Foundation
Project Gutenberg-tm depends upon and cannot survive without wide
spread public support and donations to carry out its mission of
increasing the number of public domain and licensed works that can be
freely distributed in machine readable form accessible by the widest
array of equipment including outdated equipment. Many small donations
($1 to $5,000) are particularly important to maintaining tax exempt
status with the IRS.
The Foundation is committed to complying with the laws regulating
charities and charitable donations in all 50 states of the United
States. Compliance requirements are not uniform and it takes a
considerable effort, much paperwork and many fees to meet and keep up
with these requirements. We do not solicit donations in locations
where we have not received written confirmation of compliance. To
SEND DONATIONS or determine the status of compliance for any
particular state visit www.gutenberg.org/donate
While we cannot and do not solicit contributions from states where we
have not met the solicitation requirements, we know of no prohibition
against accepting unsolicited donations from donors in such states who
approach us with offers to donate.

LICENSE
International donations are gratefully accepted, but we cannot make
any statements concerning tax treatment of donations received from
outside the United States. U.S. laws alone swamp our small staff.
Please check the Project Gutenberg Web pages for current donation
methods and addresses. Donations are accepted in a number of other
ways including checks, online payments and credit card donations.
To donate, please visit: www.gutenberg.org/donate

Section 5.
works.

General Information About Project Gutenberg-tm electronic

Professor Michael S. Hart was the originator of the Project Gutenberg-tm

concept of a library of electronic works that could be freely shared
with anyone. For forty years, he produced and distributed Project
Gutenberg-tm eBooks with only a loose network of volunteer support.
Project Gutenberg-tm eBooks are often created from several printed
editions, all of which are confirmed as Public Domain in the U.S.
unless a copyright notice is included. Thus, we do not necessarily
keep eBooks in compliance with any particular paper edition.
Most people start at our Web site which has the main PG search facility:
www.gutenberg.org
This Web site includes information about Project Gutenberg-tm,
including how to make donations to the Project Gutenberg Literary
Archive Foundation, how to help produce our new eBooks, and how to
subscribe to our email newsletter to hear about new eBooks.