Évariste Galois

Évariste Galois
A portrait of Évariste Galois at the age of about 15
Born	25 October 1811 Bourg-la-Reine, French Empire
Died	31 May 1832 (aged 20) Paris, Kingdom of France
Nationality	French
Fields	Mathematics
Alma mater	École préparatoire (no degree)
Known for	Work on the theory of equations and Abelian integrals
Signature

Évariste Galois (French: [evaʁist ɡaˈlwa]; 25 October 1811 – 31 May 1832) was a French mathematician born in Bourg-la-Reine. While still in his teens, he was able to determine a necessary and sufficient condition for a polynomial to be solvable by radicals, thereby solving a problem standing for 350 years. His work laid the foundations for Galois theory and group theory, two major branches of abstract algebra, and the subfield of Galois connections. He died at age 20 from wounds suffered in a duel.

Life

Early life

Galois was born on 25 October 1811 to Nicolas-Gabriel Galois and Adélaïde-Marie (born Demante).^[1] His father was a Republican and was head of Bourg-la-Reine's liberal party. His father became mayor of the village after Louis XVIII returned to the throne in 1814. His mother, the daughter of a jurist, was a fluent reader of Latin and classical literature and was responsible for her son's education for his first twelve years. At the age of 10, Galois was offered a place at the college of Reims, but his mother preferred to keep him at home.

The Cour d'honneur of the Lycée Louis-le-Grand, which Galois attended as a boy.

In October 1823, he entered the Lycée Louis-le-Grand, and despite some turmoil in the school at the beginning of the term (when about a hundred students were expelled), Galois managed to perform well for the first two years, obtaining the first prize in Latin. He soon became bored with his studies and, at the age of 14, he began to take a serious interest in mathematics.

He found a copy of Adrien Marie Legendre's Éléments de Géométrie, which, it is said, he read "like a novel" and mastered at the first reading. At 15, he was reading the original papers of Joseph Louis Lagrange, such as the Réflexions sur la résolution algébrique des équations which likely motivated his later work on equation theory, and Leçons sur le calcul des fonctions, work intended for professional mathematicians, yet his classwork remained uninspired, and his teachers accused him of affecting ambition and originality in a negative way.^[1]

Budding mathematician

In 1828, he attempted the entrance examination for the École Polytechnique, the most prestigious institution for mathematics in France at the time, without the usual preparation in mathematics, and failed for lack of explanations on the oral examination. In that same year, he entered the École Normale (then known as l'École préparatoire), a far inferior institution for mathematical studies at that time, where he found some professors sympathetic to him.

Augustin Louis Cauchy reviewed Galois' early mathematical papers.

In the following year Galois' first paper, on continued fractions,^[2] was published. It was at around the same time that he began making fundamental discoveries in the theory of polynomial equations. He submitted two papers on this topic to the Academy of Sciences. Augustin Louis Cauchy refereed these papers, but refused to accept them for publication for reasons that still remain unclear. However, in spite of many claims to the contrary, it is widely held that Cauchy recognized the importance of Galois' work, and that he merely suggested combining the two papers into one in order to enter it in the competition for the Academy's Grand Prize in Mathematics. Cauchy, an eminent mathematician of the time though with political views that were at the opposite end from Galois', considered Galois' work to be a likely winner.^[3]

On 28 July 1829 Galois' father committed suicide after a bitter political dispute with the village priest. A couple of days later, Galois made his second and last attempt to enter the Polytechnique, and failed yet again. It is undisputed that Galois was more than qualified; however, accounts differ on why he failed. More plausible accounts state that Galois made too many logical leaps and baffled the incompetent examiner, which enraged Galois. The recent death of his father may have also influenced his behavior.^[1]

Having been denied admission to the Polytechnique, Galois took the Baccalaureate examinations in order to enter the École Normale. He passed, receiving his degree on 29 December 1829. His examiner in mathematics reported, "This pupil is sometimes obscure in expressing his ideas, but he is intelligent and shows a remarkable spirit of research."

He submitted his memoir on equation theory several times, but it was never published in his lifetime due to various events. As noted before, his first attempt was refused by Cauchy, but in February 1830 following Cauchy's suggestion he submitted it to the Academy's secretary Joseph Fourier, to be considered for the Grand Prix of the Academy. Unfortunately, Fourier died soon after, and the memoir was lost. The prize would be awarded that year to Niels Henrik Abel posthumously and also to Carl Gustav Jacob Jacobi. Despite the lost memoir, Galois published three papers that year, one of which laid the foundations for Galois theory.^[4] The second one was about the numerical resolution of equations (root finding in modern terminology).^[5] The third was an important one in number theory, in which the concept of a finite field was first articulated.^[6]

Political firebrand

Galois, as a staunch republican, would have wanted to participate in the July Revolution of 1830 but was prevented by the director of the École Normale.

Galois lived during a time of political turmoil in France. Charles X had succeeded Louis XVIII in 1824, but in 1827 his party suffered a major electoral setback and by 1830 the opposition liberal party became the majority. Charles, faced with abdication, staged a coup d'état, and issued his notorious July Ordinances, touching off the July Revolution which ended with Louis-Philippe becoming king. While their counterparts at the Polytechnique were making history in the streets during les Trois Glorieuses, Galois and all the other students at the École Normale were locked in by the school's director. Galois was incensed and wrote a blistering letter criticizing the director, which he submitted to the Gazette des Écoles, signing the letter with his full name. Although the Gazette's editor omitted the signature for publication, Galois was expelled.^[7]

Although his expulsion would have formally taken effect on 4 January 1831, Galois quit school immediately and joined the staunchly Republican artillery unit of the National Guard. He divided his time between his mathematical work and his political affiliations. Due to controversy surrounding the unit, soon after Galois became a member, on 31 December 1830, the artillery of the National Guard was disbanded out of fear that they might destabilize the government. At around the same time, nineteen officers of Galois' former unit were arrested and charged with conspiracy to overthrow the government.

In April 1831, the officers were acquitted of all charges, and on 9 May 1831, a banquet was held in their honor, with many illustrious people present, such as Alexandre Dumas. The proceedings grew riotous, and Galois proposed a toast to King Louis Philippe with a dagger above his cup, which was interpreted as a threat against the king's life. He was arrested the following day but was acquitted on 15 June 1831.^[7][8]

On the following Bastille Day (14 July 1831), Galois was at the head of a protest, wearing the uniform of the disbanded artillery, and came heavily armed with several pistols, a rifle, and a dagger. He was again arrested. On 23 October he was sentenced to six months in prison for illegally wearing a uniform.^[9][10] He was released on 29 April 1832. During his imprisonment, he continued developing his mathematical ideas.

Final days

Siméon Poisson reviewed Galois' paper on equation theory and declared it "incomprehensible".

Galois returned to mathematics after his expulsion from the École Normale, although he continued to spend time in political activities. After his expulsion became official in January 1831, he attempted to start a private class in advanced algebra which attracted some interest, but this waned, as it seemed that his political activism had priority.^[1][3] Siméon Poisson asked him to submit his work on the theory of equations, which he did on 17 January 1831. Around 4 July 1831, Poisson declared Galois' work "incomprehensible", declaring that "[Galois'] argument is neither sufficiently clear nor sufficiently developed to allow us to judge its rigor"; however, the rejection report ends on an encouraging note: "We would then suggest that the author should publish the whole of his work in order to form a definitive opinion."^[11] While Poisson's report was made before Galois' July 14 arrest, it took until October to reach Galois in prison. It is unsurprising, in the light of his character and situation at the time, that Galois reacted violently to the rejection letter, and decided to abandon publishing his papers through the Academy and instead publish them privately through his friend Auguste Chevalier. Apparently, however, Galois did not ignore Poisson's advice, as he began collecting all his mathematical manuscripts while still in prison, and continued polishing his ideas until his release on 29 April 1832.^[7]

Galois' fatal duel took place on 30 May. The true motives behind the duel are obscure. There has been much speculation as to the reasons behind it. What is known is that five days before his death, he wrote a letter to Chevalier which clearly alludes to a broken love affair.^[3]

Some archival investigation on the original letters suggests that the woman of romantic interest was a Mademoiselle Stéphanie-Félicie Poterin du Motel,^[12] the daughter of the physician at the hostel where Galois stayed during the last months of his life. Fragments of letters from her, copied by Galois himself (with many portions, such as her name, either obliterated or deliberately omitted), are available.^[13] The letters hint that Mlle. du Motel had confided some of her troubles to Galois, and this might have prompted him to provoke the duel himself on her behalf. This conjecture is also supported by other letters Galois later wrote to his friends the night before he died. Galois' cousin, Gabriel Demante, when asked if he knew the cause of the duel, mentioned that Galois "found himself in the presence of a supposed uncle and a supposed fiancé, each of whom provoked the duel." Galois himself famously exclaimed: "I am the victim of an infamous coquette and her two dupes."^[7]

Much more detailed speculation based on these scant historical details has been interpolated by many of Galois' biographers (most notably by Eric Temple Bell in Men of Mathematics), such as the frequently repeated speculation that the entire incident was stage-managed by the police and royalist factions to eliminate a political enemy.^[9]

As to his opponent in the duel, Alexandre Dumas names Pescheux d'Herbinville,^[8] who was actually one of the nineteen artillery officers whose acquittal was celebrated at the banquet that occasioned Galois' first arrest.^[14] However, Dumas is alone in this assertion, and if he were correct it is unclear why d'Herbinville would have been involved. It has been speculated that he might have been du Motel's "supposed fiancé" at the time (she ultimately married someone else), but no clear evidence has been found supporting this conjecture. On the other hand, extant newspaper clippings from only a few days after the duel give a description of his opponent (identified by the initials "L.D.") that appear to more accurately apply to one of Galois' Republican friends, most probably Ernest Duchatelet, who was imprisoned with Galois on the same charges.^[15] Given the conflicting information available, the true identity of his killer may well be lost to history.

Whatever the reasons behind the duel, Galois was so convinced of his impending death that he stayed up all night writing letters to his Republican friends and composing what would become his mathematical testament, the famous letter to Auguste Chevalier outlining his ideas, and three attached manuscripts.^[16] Mathematician Hermann Weyl said of this testament, "This letter, if judged by the novelty and profundity of ideas it contains, is perhaps the most substantial piece of writing in the whole literature of mankind." However, the legend of Galois pouring his mathematical thoughts onto paper the night before he died seems to have been exaggerated.^[3] In these final papers, he outlined the rough edges of some work he had been doing in analysis and annotated a copy of the manuscript submitted to the Academy and other papers.

The Galois memorial in the cemetery of Bourg-la-Reine. Évariste Galois was buried in a common grave and the exact location is still unknown.

Early in the morning of 30 May 1832, he was shot in the abdomen, abandoned by his opponents and seconds, and was found by a passing farmer. He expired the following morning at ten o'clock in the Cochin hospital (probably of peritonitis), after refusing the offices of a priest. There were plans to initiate an uprising during his funeral, but during the same time frame the leaders heard of General Jean Maximilien Lamarque's death, and the rising was postponed without any uprising occurring until 5 June. Only Galois' younger brother was notified of the events prior to Galois' death.^[17] He was 20 years old. His last words to his younger brother Alfred were:

“Ne pleure pas, Alfred ! J'ai besoin de tout mon courage pour mourir à vingt ans !”
(Don't cry, Alfred! I need all my courage to die at twenty.)

On 2 June, Évariste Galois was buried in a common grave of the Montparnasse cemetery whose exact location is unknown.^[10] In the cemetery of his native town – Bourg-la-Reine – a cenotaph in his honour was erected beside the graves of his relatives.^[18]

Galois' mathematical contributions were published in full in 1843 when Liouville reviewed his manuscript and declared it sound. It was finally published in the October–November 1846 issue of the Journal de Mathématiques Pures et Appliquées.^[19][20] The most famous contribution of this manuscript was a novel proof that there is no quintic formula – that is, that fifth and higher degree equations are not generally solvable by radicals. Although Abel had already proved the impossibility of a "quintic formula" by radicals in 1824 and Ruffini had published a solution in 1799 that turned out to be flawed, Galois' methods led to deeper research in what is now called Galois theory. For example, one can use it to determine, for any polynomial equation, whether it has a solution by radicals.

Contributions to mathematics

The final page of Galois' mathematical testament, in his own hand. The phrase "to decipher all this mess" ("déchiffrer tout ce gâchis") is on the second to the last line.

From the closing lines of a letter from Galois to his friend Auguste Chevalier, dated May 29, 1832, two days before Galois' death:^[16]

Tu prieras publiquement Jacobi ou Gauss de donner leur avis, non sur la vérité, mais sur l'importance des théorèmes.

Après cela, il y aura, j'espère, des gens qui trouveront leur profit à déchiffrer tout ce gâchis.

(Ask Jacobi or Gauss publicly to give their opinion, not as to the truth, but as to the importance of these theorems. Later there will be, I hope, some people who will find it to their advantage to decipher all this mess.)

Within the 60 or so pages of Galois' collected works are many important ideas that have had far-reaching consequences for nearly all branches of mathematics.^[21][22] His work has been compared to that of Niels Henrik Abel, another mathematician who died at a very young age, and much of their work had significant overlap.

Algebra

While many mathematicians before Galois gave consideration to what are now known as groups, it was Galois who was the first to use the word group (in French groupe) in a sense close to the technical sense that is understood today, making him among the founders of the branch of algebra known as group theory. He developed the concept that is today known as a normal subgroup. He called the decomposition of a group into its left and right cosets a proper decomposition if the left and right cosets coincide, which is what today is known as a normal subgroup.^[16] He also introduced the concept of a finite field (also known as a Galois field in his honor), in essentially the same form as it is understood today.^[6]

In his last letter to Chevalier^[16] and attached manuscripts, the second of three, he made basic studies of linear groups over finite fields:

• He constructed the general linear group over a prime field, GL(ν, p) and computed its order, in studying the Galois group of the general equation of degree p^ν.^[23]
• He constructed the projective special linear group PSL(2,p). Galois constructed them as fractional linear transforms, and observed that they were simple except if p was 2 or 3.^[24] These were the second family of finite simple groups, after the alternating groups.^[25]
• He noted the exceptional fact that PSL(2,p) is simple and acts on p points if and only if p is 5, 7, or 11.^[26][27]

Galois theory

Galois' most significant contribution to mathematics is his development of Galois theory. He realized that the algebraic solution to a polynomial equation is related to the structure of a group of permutations associated with the roots of the polynomial, the Galois group of the polynomial. He found that an equation could be solved in radicals if one can find a series of subgroups of its Galois group, each one normal in its successor with abelian quotient, or its Galois group is solvable. This proved to be a fertile approach, which later mathematicians adapted to many other fields of mathematics besides the theory of equations to which Galois originally applied it.^[21]

Analysis

Galois also made some contributions to the theory of Abelian integrals and continued fractions.

As written in his last letter,^[16] Galois passed from the study of elliptic functions to consideration of the integrals of the most general algebraic differentials, today called Abelian integrals. He classified these integrals into three categories.

Continued fractions

In his first paper in 1828,^[2] Galois proved that the regular continued fraction which represents a quadratic surd ζ is purely periodic if and only if ζ is a reduced surd, that is, $\zeta >1$ and its conjugate $\eta$ satisfies $-1<\eta <0$.

In fact, Galois showed more than this. He also proved that if ζ is a reduced quadratic surd and η is its conjugate, then the continued fractions for ζ and for (−1/η) are both purely periodic, and the repeating block in one of those continued fractions is the mirror image of the repeating block in the other. In symbols we have

${\begin{aligned}\zeta &=[\overline {a_{0};a_{1},a_{2},\dots ,a_{{m-1}}}]\\[3pt]{\frac {-1}{\eta }}&=[\overline {a_{{m-1}};a_{{m-2}},a_{{m-3}},\dots ,a_{0}}]\,\end{aligned}}$

where ζ is any reduced quadratic surd, and η is its conjugate.

From these two theorems of Galois a result already known to Lagrange can be deduced. If r > 1 is a rational number that is not a perfect square, then

${\sqrt {r}}=[a_{0};\overline {a_{1},a_{2},\dots ,a_{2},a_{1},2a_{0}}].\,$

In particular, if n is any non-square positive integer, the regular continued fraction expansion of √n contains a repeating block of length m, in which the first m − 1 partial denominators form a palindromic string.

See also

• Group theory
• List of things named after Évariste Galois

Notes

1. Stewart, Ian (1973). Galois Theory. London: Chapman and Hall. pp. xvii–xxii. ISBN 0-412-10800-3.
2. Galois, Évariste (1828). "Démonstration d'un théorème sur les fractions continues périodiques". Annales de Mathématiques. XIX: 294.
3. Rothman, Tony (1982). "Genius and Biographers: The Fictionalization of Evariste Galois". Amer. Math. Monthly. 89 (2): 84–106. doi:10.2307/2320923. JSTOR 2320923. Retrieved 2015-01-31.
4. Galois, Évariste (1830). "Analyse d'un Mémoire sur la résolution algébrique des équations". Bulletin des Sciences mathématiques. XIII: 271.
5. Galois, Évariste (1830). "Note sur la résolution des équations numériques". Bulletin des Sciences mathématiques. XIII: 413.
6. Galois, Évariste (1830). "Sur la théorie des nombres". Bulletin des Sciences mathématiques. XIII: 428.
7. Dupuy, Paul (1896). "La vie d'Évariste Galois". Annales de l'École Normale. 13: 197–266.
8. Dumas (père), Alexandre. "CCIV". Mes Mémoires. ISBN 1-4371-5595-2. Retrieved 2010-04-13.
9. Bell, Eric Temple (1986). Men of Mathematics. New York: Simon and Schuster. ISBN 0-671-62818-6.
10. Escofier, Jean-Pierre (2001). Galois Theory. Springer. pp. 222–224. ISBN 0-387-98765-7.
11. Taton, R. (1947). "Les relations d'Évariste Galois avec les mathématiciens de son temps". Revue d'histoire des sciences et de leurs applications. 1 (2): 114–130. doi:10.3406/rhs.1947.2607.
12. Infantozzi, Carlos Alberti (1968). "Sur la mort d'Évariste Galois". Revue d'histoire des sciences et de leurs applications. 21: 157.
13. Bourgne, R.; J.-P. Azra (1962). Écrits et mémoires mathématiques d'Évariste Galois. Paris: Gauthier-Villars.
14. Blanc, Louis (1844). The History of Ten Years, 1830-1840, Volume 1. London: Chapman and Hall. p. 431.
15. Dalmas, Andre (1956). Évariste Galois: Révolutionnaire et Géomètre. Paris: Fasquelle.
16. Galois, Évariste (1846). "Lettre de Galois à M. Auguste Chevalier". Journal de Mathématiques Pures et Appliquées. XI: 408–415. Retrieved 2009-02-04.
17. Coutinho, S.C. (1999). The Mathematics of Ciphers. Natick: A K Peters, Ltd. pp. 127–128. ISBN 1-56881-082-2.
18. Rigatelli, Laura Toti (1996). Evariste Galois, 1811–1832 (Vita mathematica, 11). Birkhäuser. p. 114. ISBN 3-7643-5410-0.
19. Galois, Évariste (1846). "OEuvres mathématiques d'Évariste Galois.". Journal des mathématiques pures et appliquées. XI: 381–444. Retrieved 2009-02-04.
20. Pierpont, James (1899). "Review: Oeuvres mathématiques d'Evariste Galois; publiées sous les auspices de la Société Mathématique de France, avec une introduction par M. EMILE PICARD. Paris, Gauthier-Villars et Fils, 1897. 8vo, x + 63 pp." (PDF). Bull. Amer. Math. Soc. 5 (6): 296–300. doi:10.1090/S0002-9904-1899-00599-8. In 1897 the French Mathematical Society reprinted the 1846 publication.
21. Lie, Sophus (1895). "Influence de Galois sur le Développement des Mathématiques". Le centenaire de l'École Normale 1795–1895. Hachette.
22. See also: Sophus Lie, "Influence de Galois sur le développement des mathématiques" in: Évariste Galois, Oeuvres Mathématiques publiées en 1846 dans le Journal de Liouville (Sceaux, France: Éditions Jacques Gabay, 1989), appendix pages 1–9.
23. Letter, p. 410
24. Letter, p. 411
25. Wilson, Robert A. (2009). "Chapter 1: Introduction". The finite simple groups. Graduate Texts in Mathematics 251. 251. Berlin, New York: Springer-Verlag. doi:10.1007/978-1-84800-988-2. ISBN 978-1-84800-987-5. Zbl 05622792, 2007 preprint
26. Letter, pp. 411–412
27. Galois' last letter, translated

References

• Artin, Emil (1998), Galois Theory, Dover Publications, Inc., ISBN 0-486-62342-4 – Reprinting of second revised edition of 1944, The University of Notre Dame Press.
• Astruc, Alexandre (1994), Évariste Galois, Grandes Biographies (in French), Flammarion, ISBN 2-08-066675-4
• Bell, E.T. (1937), "Galois", Men of Mathematics, 2. Still in print.
• Désérable, François-Henri (2015), Évariste (in French), Gallimard, ISBN 9782070147045
• Edwards, Harold M. (May 1984), Galois Theory, Graduate Texts in Mathematics 101, Springer-Verlag, ISBN 0-387-90980-X – This textbook explains Galois Theory with historical development and includes an English translation of Galois' memoir.
• Ehrhardt, Caroline (2011), Évariste Galois, la fabrication d'une icône mathématique, En temps et lieux (in French), Editions de l'Ecole Pratiques de Hautes Etudes en Sciences Sociales, ISBN 978-2-7132-2317-4
• Infeld, Leopold (1948), Whom the Gods Love: The Story of Evariste Galois, Classics in Mathematics Education Series, Reston, Va: National Council of Teachers of Mathematics, ISBN 0-87353-125-6 – Classic fictionalized biography by physicist Infeld.
• Livio, Mario (2006), The Equation That Couldn't Be Solved: How Mathematical Genius Discovered the Language of Symmetry, Souvenir Press, ISBN 0-285-63743-6
• Rigatelli, Laura Toti (1996), Évariste Galois, Birkhauser, ISBN 3-7643-5410-0 – This biography challenges the common myth concerning Galois' duel and death.
• Stewart, Ian (1973), Galois Theory, Chapman and Hall, ISBN 0-412-10800-3 – This comprehensive text on Galois Theory includes a brief biography of Galois himself.
• Tignol, Jean-Pierre (2001), Galois' theory of algebraic equations, Singapore: World Scientific, ISBN 981-02-4541-6 – Historical development of Galois theory.

External links

• Works by Évariste Galois at Project Gutenberg
• Works by or about Évariste Galois at Internet Archive
• O'Connor, John J.; Robertson, Edmund F., "Évariste Galois", MacTutor History of Mathematics archive, University of St Andrews.
• The Galois Archive (biography, letters and texts in various languages)
• Two Galois articles, online and analyzed on BibNum : "Mémoire sur les conditions de résolubilité des équations par radicaux" (1830) (link)[for English analysis, click 'A télécharger']; "Démonstration d’un théorème sur les fractions continues périodiques" (1829) (link) [for English analysis, click 'A télécharger']
• Genius and Biographers: The Fictionalization of Evariste Galois by Tony Rothman
• La vie d'Évariste Galois by Paul Dupuy The first and still one of the most extensive biographies, referred to by every other serious biographer of Galois
• Œuvres Mathématiques published in 1846 in the Journal de Liouville, converted to Djvu format by Prof. Antoine Chambert-Loir at the University of Rennes.
• Alexandre Dumas, Mes Mémoires, the relevant chapter of Alexandre Dumas' memoires where he mentions Galois and the banquet.
• Évariste Galois at the Mathematics Genealogy Project
• Theatrical trailer of University College Utrecht's "Évariste – En Garde"
• A piece of music dedicated to Evariste Galois on YouTube