Pierre de Fermat

1608-1665 Paulo Ribenboim

13 Lectures on Fermat's Last Theorem

Springer-Verlag New Y ork Heidelberg Berlin Paulo Ribenboim Department of and Jeff ery Hall Queen's University Kingston Canada K7L 3N6

AMS Subjeet Classifieations (1980): 10-03, 12-03, 12Axx

Library of Congress Cataloguing in Publication Data

Ribenboim, Paulo. 13 leetures on Fermat's last theorem. Inc1udes bibliographies and indexes. I. Fermat's theorem. I. Title. QA244.R5 512'.74 79-14874

All rights reserved.

No part of this book may be translated or reprodueed in any form without written permission from Springer-Verlag.

© 1979 by Springer-Verlag New York Ine. Softtcover reprint ofthe hardcover 1st edition 1979

9 8 7 6 543 2 1

ISBN 978-1-4419-2809-2 ISBN 978-1-4684-9342-9 (eBook) DOI 10.1007/978-1-4684-9342-9 Hommage a Andre Weil pour sa Le<;on: gout, rigueur et penetration. Preface

Fermat's problem, also ealled Fermat's last theorem, has attraeted the attention of mathematieians far more than three eenturies. Many clever methods have been devised to attaek the problem, and many beautiful theories have been ereated with the aim of proving the theorem. Yet, despite all the attempts, the question remains unanswered. The topie is presented in the form of leetures, where I survey the main lines of work on the problem. In the first two leetures, there is a very brief deseription of the early history , as well as a seleetion of a few of the more representative reeent results. In the leetures whieh follow, I examine in sue• eession the main theories eonneeted with the problem. The last two lee tu res are about analogues to Fermat's theorem. Some of these leetures were aetually given, in a shorter version, at the Institut Henri Poineare, in , as well as at Queen's University, in 1977. I endeavoured to produee a text, readable by mathematieians in general, and not only by speeialists in . However, due to a limitation in size, I am aware that eertain points will appear sketehy. Another book on Fermat's theorem, now in preparation, will eontain a eonsiderable amount of the teehnieal developments omitted here. It will serve those who wish to learn these matters in depth and, I hope, it will clarify and eomplement the present volume. It is for me gratifying to aeknowledge the help and encouragement I received in the preparation ofthis book: A. J. Coleman and the Mathematies Department at Queen's University-for providing exeellent working con• ditions; E. M. Wight-for her dilligent and skillful typing ofthe manuscript; G. Cornell-who read the book and helped very mueh in improving the style; The Canada Couneil-for partial support; C. Pisot and J. Oesterle• who arranged for my leetures at the Institut Henri Poineare. viii Preface

It is also my pleasure to report here various suggestions, criticisms and comments from several specialists, whom I consulted on specific points or to whom I have sent an earlier typescript version ofthis book. In alphabetical order: A. Baker, D. Bertrand, K. Inkeri, G. Kreisel, H. W. LenstraJr.,J. M. Masley, M. Mendes-, B. Mazur, T. Metsänkylä, A. Odlyzko, K. Ribet, A. Robert, P. Samuel, A. Schinzel, E. Snapper, C. L. Stewant, G. Terjanian, A. J. van der Poorten, S. S. Wagstaff, M. Waldschmidt, L. C. Washington.

Kingston, March, 1979 Paulo Ribenboim General Bibliography

There have been several editions of Fermat's works. The first printing was supervised by his son Samuel de Fermat.

1670 Diophanti Alexandrini Arithmeticorum libri sex, et de Numeris Multangulis liber unus. Cum commentariis c.G. Bacheti v.c. et observationibus D. P. de Fermat senatoris Tolosani. Accessit Doctrinae Analyticae inventum novum, collectum ex variis ejusdem D. de Fermat, epistolis. B. Bosc, in-folio, Tolosae. 1679 Varia Opera Mathematica D. Petri de Fermat, Senatoris Tolosani. J. Pech, in-folio, Tolosae. Reprinted in 1861, in Berlin, by Friedländer & Sohn, and in 1969, in Brussels, by Culture et Civilisation. 1891/1894/1896/1912/1922 Oeuvres de Fermat, en 4 volumes et un supplement. Publiees par les soins de MM. et Charles Henry. Gauthier-Villars, Paris.

In 1957 the old boys high school of was renamed "Lycee Pierrede Fermat". For the occasion the Toulouse Municipal Library and the Archives of Haute-Garonne organized an exhibit in honor of Fermat. A brochure was published, describing con• siderable "f"ermatiana":

1957 Un Mathematicien de Genie: (1601-1665). Lycee Pierre de Fermat, Toulouse, 1957.

Many books, surveys and articles have been devoted totally or in part to a historical or mathematical study of Fermat's work, and more specially, to . The following selection is based on their interest and availability to the modern reader:

1883 Tannery, P. Sur la date des principales decouvertes de Fermat. Bull. Sei. Math., ser. 2, 7, 1883, 116-128. Reprinted in Sphinx-Oedipe, 3,1908,169-182. x General Bibliography

1860 Smith, H. J. S. Report on the Theory of Numbers, part 11, art. 61, Report of the British Asso• ciation, 1860, Collected M athematical Works, Clarendon Press, Oxford, 1894, 131-137. Reprinted by Chelsea Pub!. Co., New York, 1965. 1910 Bachmann, P. Niedere Zahlentheorie. Teubner, Leipzig, 1910. Reprinted by Chelsea Pub!. Co., New York, 1966. 1910 Lind, B. Uber das letzte Fermatsche Theorem, Teubner, Leipzig, 1910. 1917 Dickson,L.E. Fermat's Last Theorem and the Origin and Nature of the Theory of Aigebraic Numbers. Annals 01 Math., 18, 1917, 161-187. 1919 Bachmann, P. Das Fermatproblem in seiner bisherigen Entwicklung, Walter de Gruyter, Berlin, 1919. Reprinted by Springer-Verlag, Berlin, 1976. 1920 Dickson, L. E. History 01 the Theory 01 Numbers, 11, Carnegie Institution, Washington, 1920. Reprinted by Chelsea Pub!. Co., New York, 1971. 1921 MordelI, L. J. Three Lectures on Fermat's Last Theorem, Cambridge University Press, Cam• bridge, 1921. Reprinted by Chelsea Pub!. Co., New York, 1962, and by VEB Deutscher Verlag d. Wiss. Berlin, 1972. 1925 Ore, (),>. Fermats Teorem. Norske Mat. Tidtskrift7, 1925, 1-10. 1927 Khinchine, A. 1. Velikai Teorema Ferma (The Great Theorem 01 Fermat). State Editor, Moskow• Leningrad, 1927. 1928 Vandiver, H. S. and Wahlin, G. E. Algebraic Numbers, II. Bull. Nat. Research Council, 62, 1928. Reprinted by Chelsea Pub!. Co., New York, 1967. t1934 Monishima, T. Fermat's Problem (in Japanese), Iwanami Shoten, Tokyo, 1934,54 pages. 1948 Got, T. Une enigme mathematique. Le dernier theoreme de Fermat. (A chapter in Les Grands Courants de la Pensee Mathematique, edited by F. Le Lionnais). Cahiers du Sud., Marseille, 1948. Reprinted by A. Blanchard, Paris, 1962. 1961 Bell, E. T. The Last Problem, Simon and Schuster, New York, 1961. 1966 Nogues, R. Theoreme de Fermat, son Histoire, A. Blanchard, Paris, 1966. 1970 Smadja, R. Le Theoreme de Fermat (These de 3e cycle), Universite de Paris VI, 1970. 1973 Besenfelder , H. J. Das Fermat-Problem. Diplomarbeit, Universität Karlsruhe, 61 pages, 1973. 1973 Fournier, J. C. Sur le Dernier Theoreme de Fermat (These de 3e cycle), Universite de Paris VI, 1973. 1973 Mahoney, M. S. The Mathematical Career 01 Pierre de Fermat, Princeton University Press, Prince• ton, 1973. General Bibliography Xl

1974/5 Ferguson, R. P. On Fermat's Last Theorem, I, 11, III. J. Undergrad. Math., 6,1974, 1-14,85-98 and 7, 1975,35-45.

1977 Edwards, H. M. Fermat's Last Theorem. A Genetic lntroduction to Aigebraic Number Theory. Springer-Verlag, New York, 1977.

For the basic facts about , the reader may consult:

1966 Borevich, Z. I. and Shafarevich, I. R. Number Theory, Academic Press, New Y ork, 1966. 1972 Ribenboim, P. Aigebraic Numbers, Wiley-Interscience, New York, 1972.

This last book will be quoted as [Ri].

The sign t in front of a bibliography entry indicates that I was unable to examine the item in question. All the information gathered in this book sterns direct1y from the original sources. Contents

Lecture I The Early History of Fermat's Last Theorem 1 The Problem 1 2 Early Attempts 4 3 Kummer's Monumental Theorem 6 4 Regular Primes 9 5 Kummer's Work on Irregular Prime Exponents 10 6 Other Relevant Results 12 7 The Golden Medal and the Wolfskehl Prize 13 Bibliography 16

Lecture II Recent Results 19 1 Stating the Results 19 2 Explanations 21 Bibliography 29

Lecture III B.K. = Before Kummer 35 1 The Pythagorean Equation 36 2 The Biquadratic Equation 37 3 The Cubic Equation 39 4 The Quintic Equation 45 5 Fermat's Equation of Degree Seven 46 Bibliography 47 XlV Contents

Lecture IV The NaIve Approach 51 1 The Relations of Barlow and Abel 51 2 54 3 Congruences 57 4 Wendt's Theorem 61 5 Abel's 63 6 Fermat's Equation with Even Exponent 65 7 Odds and Ends 69 Bibliography 70

Lecture V Kummer's Monument 75 1 A Justification of Kummer's Method 75 2 Basic Facts about the Arithmetic of Cyclotomic Fields 77 3 Kummer's Main Theorem 82 Bibliography 90

Lecture VI Regular Primes 93 I The Class Number of Cyclotomic Fields 93 2 Bernoulli Numbers and Kummer's Regularity Criterion 99 3 Various Arithmetic Properties of Bernoulli Numbers 103 4 The Abundance of Irregular Primes 106 5 Computation of Irregular Primes 107 Bibliography 111

Lecture VII Kummer Exits 115 1 The Periods of the Cyclotomic Equation 115 2 The Jacobi Cyclotomic Function 117 3 On the Generation of the Class Group of the Cyclotomic Field 119 4 Kummer's Congruences 120 5 Kummer's Theorem for a CI ass of Irregular Primes 126 6 Computations of the Class Number 130 Bibliography 134

Lecture VIII After Kummer, a New Light 139 I The Congruences of Mirimanoff 139 2 The Theorem of Krasner 148 3 The Theorems of Wieferich and Mirimanoff 151 4 Fermat's Theorem and the Mersenne Primes 154 5 Summation Criteria 155 6 Fermat Q)lotient Criteria 159 Bibliography \6\ Contents xv

Lecture IX The Power of Class Field Theory 165 I The Power Residue Symbol 165 2 Kummer Extensions 167 3 The Main Theorems of Furtwängler 168 4 The Method of Singular Integers 170 5 Hasse 172 6 The p-Rank of the Class Group of the Cyc1otomic Field 178 7 Criteria of p-Divisibility of the Class Number 184 8 Properly and lmproperly lrregular Cyc1otomic Fields 188 Bibliography 193

Lecture X Fresh Efforts 199 I Fermat's Last Theorem Is True for Every Prime Exponent Less Than 125000 199 2 Euler Numbers and Fermat's Theorem 202 3 The First Case ls True for lnfinilely Many Pairwise Relatively Prime Exponents 205 4 Connections between Elliptic Curves and Fermat's Theorem 207 5 Iwasawa's Theory 209 6 The Fermat Function Field 211 7 Mordell's Conjecture 214 8 The Logicians 216 Bibliography 218

Lecture XI Estimates 225 I Elementary (and Not So Elementary) Estimates 225 2 Estimates Based on the Criteria Involving Fermat Quotients 229 3 Thue, Roth, Siegel and Baker 232 4 Applications of the New Methods 237 Bibliography 241

Lecture XII Fermat's Congruence 245 I Fermat's Theorem over Prime Fields 245 2 The Local Fermat's Theorem 251 3 The Problem Modulo a Prime-Power 253 Bibliography 260

Lecture XIII Variations and Fugue on a Theme 263 I Variation I (ln the Tone of Polynomial Functions) 263 2 Variation 1I (ln the Tone of Entire Functions) 265 XVi Contents

3 Variation III (In the Theta Tone) 266 4 Variation IV (In the Tone of Differential Equations) 270 5 Variation V (Giocoso) 271 6 Variation VI (In the Negative Tone) 272 7 Variation VII (In the Ordinal Tone) 273 8 Variation VIII (In a Nonassociative Tone) 273 9 Variation IX (In the Matrix Tone) 275 10 Fugue (In the Quadratic Tone) 277 Bibliography 286

Epi10gue 291

Index of Names 293

Subject Index 299