Wiles's Proof Of Fermat's Last Theorem
   HOME

TheInfoList



OR:

Wiles's proof of Fermat's Last Theorem is a proof by British mathematician Sir Andrew Wiles of a special case of the modularity theorem for elliptic curves. Together with Ribet's theorem, it provides a proof for
Fermat's Last Theorem In number theory, Fermat's Last Theorem (sometimes called Fermat's conjecture, especially in older texts) states that no three positive number, positive integers , , and satisfy the equation for any integer value of greater than . The cases ...
. Both Fermat's Last Theorem and the modularity theorem were believed to be impossible to prove using previous knowledge by almost all living mathematicians at the time. Wiles first announced his proof on 23 June 1993 at a lecture in
Cambridge Cambridge ( ) is a List of cities in the United Kingdom, city and non-metropolitan district in the county of Cambridgeshire, England. It is the county town of Cambridgeshire and is located on the River Cam, north of London. As of the 2021 Unit ...
entitled "Modular Forms, Elliptic Curves and Galois Representations". However, in September 1993 the proof was found to contain an error. One year later on 19 September 1994, in what he would call "the most important moment of isworking life", Wiles stumbled upon a revelation that allowed him to correct the proof to the satisfaction of the mathematical community. The corrected proof was published in 1995. Wiles's proof uses many techniques from
algebraic geometry Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; th ...
and
number theory Number theory is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic functions. Number theorists study prime numbers as well as the properties of mathematical objects constructed from integers (for example ...
and has many ramifications in these branches of mathematics. It also uses standard constructions of modern algebraic geometry such as the category of schemes, significant number theoretic ideas from Iwasawa theory, and other 20th-century techniques which were not available to Fermat. The proof's method of identification of a deformation ring with a Hecke algebra (now referred to as an ''R=T theorem'') to prove modularity lifting theorems has been an influential development in
algebraic number theory Algebraic number theory is a branch of number theory that uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Number-theoretic questions are expressed in terms of properties of algebraic ob ...
. Together, the two papers which contain the proof are 129 pages long and consumed more than seven years of Wiles's research time. John Coates described the proof as one of the highest achievements of number theory, and John Conway called it "the proof of the 0thcentury." Wiles's path to proving Fermat's Last Theorem, by way of proving the modularity theorem for the special case of semistable elliptic curves, established powerful modularity lifting techniques and opened up entire new approaches to numerous other problems. For proving Fermat's Last Theorem, he was knighted, and received other honours such as the 2016 Abel Prize. When announcing that Wiles had won the Abel Prize, the Norwegian Academy of Science and Letters described his achievement as a "stunning proof".


Precursors to Wiles's proof


Fermat's Last Theorem and progress prior to 1980

Fermat's Last Theorem In number theory, Fermat's Last Theorem (sometimes called Fermat's conjecture, especially in older texts) states that no three positive number, positive integers , , and satisfy the equation for any integer value of greater than . The cases ...
, formulated in 1637, states that no three positive integers ''a'', ''b'', and ''c'' can satisfy the equation : a^n + b^n=c^n if ''n'' is an integer greater than two (''n'' > 2). Over time, this simple assertion became one of the most famous unproved claims in mathematics. Between its publication and Andrew Wiles's eventual solution more than 350 years later, many mathematicians and amateurs attempted to prove this statement, either for all values of ''n'' > 2, or for specific cases. It spurred the development of entire new areas within
number theory Number theory is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic functions. Number theorists study prime numbers as well as the properties of mathematical objects constructed from integers (for example ...
. Proofs were eventually found for all values of ''n'' up to around 4 million, first by hand, and later by computer. However, no general proof was found that would be valid for all possible values of ''n'', nor even a hint how such a proof could be undertaken.


The Taniyama–Shimura–Weil conjecture

Separately from anything related to Fermat's Last Theorem, in the 1950s and 1960s Japanese mathematician Goro Shimura, drawing on ideas posed by Yutaka Taniyama, conjectured that a connection might exist between elliptic curves and
modular form In mathematics, a modular form is a holomorphic function on the complex upper half-plane, \mathcal, that roughly satisfies a functional equation with respect to the group action of the modular group and a growth condition. The theory of modul ...
s. These were mathematical objects with no known connection between them. Taniyama and Shimura posed the question whether, unknown to mathematicians, the two kinds of object were actually identical mathematical objects, just seen in different ways. They conjectured that every rational elliptic curve is also modular. This became known as the Taniyama–Shimura conjecture. In the West, this conjecture became well known through a 1967 paper by André Weil, who gave conceptual evidence for it; thus, it is sometimes called the Taniyama–Shimura–Weil conjecture. By around 1980, much evidence had been accumulated to form conjectures about elliptic curves, and many papers had been written which examined the consequences if the conjecture were true, but the actual conjecture itself was unproven and generally considered inaccessible—meaning that mathematicians believed a proof of the conjecture was probably impossible using current knowledge. For decades, the conjecture remained an important but unsolved problem in mathematics. Around 50 years after first being proposed, the conjecture was finally proven and renamed the modularity theorem, largely as a result of Andrew Wiles's work described below.


Frey's curve

On yet another separate branch of development, in the late 1960s, Yves Hellegouarch came up with the idea of associating hypothetical solutions (''a'', ''b'', ''c'') of Fermat's equation with a completely different mathematical object: an elliptic curve. The curve consists of all points in the plane whose coordinates (''x'', ''y'') satisfy the relation : y^2 = x(x-a^n)(x+b^n). Such an elliptic curve would enjoy very special properties due to the appearance of high powers of integers in its equation and the fact that ''a''''n'' + ''b''''n'' = ''c''''n'' would be an ''n''th power as well. In 1982–1985, Gerhard Frey called attention to the unusual properties of this same curve, now called a Frey curve. He showed that it was likely that the curve could link Fermat and Taniyama, since any counterexample to Fermat's Last Theorem would probably also imply that an elliptic curve existed that was not modular. Frey showed that there were good reasons to believe that any set of numbers (''a'', ''b'', ''c'', ''n'') capable of disproving Fermat's Last Theorem could also probably be used to disprove the Taniyama–Shimura–Weil conjecture. Therefore, if the Taniyama–Shimura–Weil conjecture were true, no set of numbers capable of disproving Fermat could exist, so Fermat's Last Theorem would have to be true as well. The conjecture says that each elliptic curve with rational coefficients can be constructed in an entirely different way, not by giving its equation but by using modular functions to parametrise coordinates ''x'' and ''y'' of the points on it. Thus, according to the conjecture, any elliptic curve over Q would have to be a modular elliptic curve, yet if a solution to Fermat's equation with non-zero ''a'', ''b'', ''c'' and ''n'' greater than 2 existed, the corresponding curve would not be modular, resulting in a contradiction. If the link identified by Frey could be proven, then in turn, it would mean that a disproof of Fermat's Last Theorem would disprove the Taniyama–Shimura–Weil conjecture, or by contraposition, a proof of the latter would prove the former as well.


Ribet's theorem

To complete this link, it was necessary to show that Frey's intuition was correct: that a Frey curve, if it existed, could not be modular. In 1985, Jean-Pierre Serre provided a partial proof that a Frey curve could not be modular. Serre did not provide a complete proof of his proposal; the missing part (which Serre had noticed early on) became known as the epsilon conjecture (sometimes written ε-conjecture; now known as Ribet's theorem). Serre's main interest was in an even more ambitious conjecture, Serre's conjecture on modular Galois representations, which would imply the Taniyama–Shimura–Weil conjecture. However his partial proof came close to confirming the link between Fermat and Taniyama. In the summer of 1986, Ken Ribet succeeded in proving the epsilon conjecture, now known as Ribet's theorem. His article was published in 1990. In doing so, Ribet finally proved the link between the two theorems by confirming, as Frey had suggested, that a proof of the Taniyama–Shimura–Weil conjecture for the kinds of elliptic curves Frey had identified, together with Ribet's theorem, would also prove Fermat's Last Theorem. In mathematical terms, Ribet's theorem showed that if the Galois representation associated with an elliptic curve has certain properties (which Frey's curve has), then that curve cannot be modular, in the sense that there cannot exist a modular form which gives rise to the same Galois representation.


Situation prior to Wiles's proof

Following the developments related to the Frey curve, and its link to both Fermat and Taniyama, a proof of Fermat's Last Theorem would follow from a proof of the Taniyama–Shimura–Weil conjecture—or at least a proof of the conjecture for the kinds of elliptic curves that included Frey's equation (known as semistable elliptic curves). :* From Ribet's Theorem and the Frey curve, any 4 numbers able to be used to disprove Fermat's Last Theorem could also be used to make a semistable elliptic curve ("Frey's curve") that could never be modular; :* But if the Taniyama–Shimura–Weil conjecture were also true for semistable elliptic curves, then by definition every Frey's curve that existed must be modular. :* The contradiction could have only one answer: if Ribet's theorem and the Taniyama–Shimura–Weil conjecture for semistable curves were both true, then it would mean there could not be any solutions to Fermat's equation—because then there would be no Frey curves at all, meaning no contradictions would exist. This would finally prove Fermat's Last Theorem. However, despite the progress made by Serre and Ribet, this approach to Fermat was widely considered unusable as well, since almost all mathematicians saw the Taniyama–Shimura–Weil conjecture itself as completely inaccessible to proof with current knowledge. For example, Wiles's ex-supervisor John Coates stated that it seemed "impossible to actually prove", and Ken Ribet considered himself "one of the vast majority of people who believed twas completely inaccessible".


Andrew Wiles

Hearing of Ribet's 1986 proof of the epsilon conjecture, English mathematician Andrew Wiles, who had studied elliptic curves and had a childhood fascination with Fermat, decided to begin working in secret towards a proof of the Taniyama–Shimura–Weil conjecture, since it was now professionally justifiable, as well as because of the enticing goal of proving such a long-standing problem. Ribet later commented that "Andrew Wiles was probably one of the few people on earth who had the audacity to dream that you can actually go and prove t"


Announcement and subsequent developments

Wiles initially presented his proof in 1993. It was finally accepted as correct, and published, in 1995, following the correction of a subtle error in one part of his original paper. His work was extended to a full proof of the modularity theorem over the following six years by others, who built on Wiles's work.


Announcement and final proof (1993–1995)

During 21–23 June 1993, Wiles announced and presented his proof of the Taniyama–Shimura conjecture for semistable elliptic curves, and hence of Fermat's Last Theorem, over the course of three lectures delivered at the Isaac Newton Institute for Mathematical Sciences in Cambridge, England. There was a relatively large amount of press coverage afterwards. After the announcement, Nick Katz was appointed as one of the referees to
review A review is an evaluation of a publication, product, service, or company or a critical take on current affairs in literature, politics or culture. In addition to a critical evaluation, the review's author may assign the work a content rating, ...
Wiles's manuscript. In the course of his review, he asked Wiles a series of clarifying questions that led Wiles to recognise that the proof contained a gap. There was an error in one critical portion of the proof which gave a bound for the order of a particular group: the Euler system used to extend Kolyvagin and Flach's method was incomplete. The error would not have rendered his work worthless—each part of Wiles's work was highly significant and innovative by itself, as were the many developments and techniques he had created in the course of his work, and only one part was affected.Fermat's Last Theorem, Simon Singh, 1997, Without this part proved, however, there was no actual proof of Fermat's Last Theorem. Wiles spent almost a year trying to repair his proof, initially by himself and then in collaboration with his former student Richard Taylor, without success.Singh, pp. 269–277. By the end of 1993, rumours had spread that under scrutiny, Wiles's proof had failed, but how seriously was not known. Mathematicians were beginning to pressure Wiles to disclose his work whether or not complete, so that the wider community could explore and use whatever he had managed to accomplish. Instead of being fixed, the problem, which had originally seemed minor, now seemed very significant, far more serious, and less easy to resolve. Wiles states that on the morning of 19 September 1994, he was on the verge of giving up and was almost resigned to accepting that he had failed, and to publishing his work so that others could build on it and find the error. He states that he was having a final look to try to understand the fundamental reasons why his approach could not be made to work, when he had a sudden insight that the specific reason why the Kolyvagin–Flach approach would not work directly also meant that his original attempt using Iwasawa theory could be made to work if he strengthened it using experience gained from the Kolyvagin–Flach approach since then. Each was inadequate by itself, but fixing one approach with tools from the other would resolve the issue and produce a class number formula (CNF) valid for all cases that were not already proven by his refereed paper: On 6 October Wiles asked three colleagues (including Gerd Faltings) to review his new proof, and on 24 October 1994 Wiles submitted two manuscripts, "Modular elliptic curves and Fermat's Last Theorem" and "Ring theoretic properties of certain Hecke algebras", the second of which Wiles had written with Taylor and proved that certain conditions were met which were needed to justify the corrected step in the main paper. The two papers were vetted and finally published as the entirety of the May 1995 issue of the ''
Annals of Mathematics The ''Annals of Mathematics'' is a mathematical journal published every two months by Princeton University and the Institute for Advanced Study. History The journal was established as ''The Analyst'' in 1874 and with Joel E. Hendricks as t ...
''. The new proof was widely analysed and became accepted as likely correct in its major components. These papers established the modularity theorem for semistable elliptic curves, the last step in proving Fermat's Last Theorem, 358 years after it was conjectured.


Subsequent developments

Fermat claimed to "... have discovered a truly marvelous proof of this, which this margin is too narrow to contain". Wiles's proof is very complex, and incorporates the work of so many other specialists that it was suggested in 1994 that only a small number of people were capable of fully understanding at that time all the details of what he had done. The complexity of Wiles's proof motivated a 10-day conference at
Boston University Boston University (BU) is a Private university, private research university in Boston, Massachusetts, United States. BU was founded in 1839 by a group of Boston Methodism, Methodists with its original campus in Newbury (town), Vermont, Newbur ...
; the resulting book of conference proceedings aimed to make the full range of required topics accessible to graduate students in number theory. As noted above, Wiles proved the Taniyama–Shimura–Weil conjecture for the special case of semistable elliptic curves, rather than for all elliptic curves. Over the following years, Christophe Breuil, Brian Conrad, Fred Diamond, and Richard Taylor (sometimes abbreviated as "BCDT") carried the work further, ultimately proving the Taniyama–Shimura–Weil conjecture for all elliptic curves in a 2001 paper. Now proven, the conjecture became known as the modularity theorem. In 2005, Dutch
computer scientist A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...
Jan Bergstra posed the problem of formalizing Wiles's proof in such a way that it could be verified by computer.


Summary of Wiles's proof

Wiles proved the modularity theorem for semistable elliptic curves, from which Fermat’s last theorem follows using
proof by contradiction In logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical pr ...
. In this proof method, one assumes the opposite of what is to be proved, and shows if that were true, it would create a contradiction. The contradiction shows that the assumption (that the conclusion is wrong) must have been incorrect, requiring the conclusion to hold. The proof falls roughly in two parts: In the first part, Wiles proves a general result about " lifts", known as the "modularity lifting theorem". This first part allows him to prove results about elliptic curves by converting them to problems about Galois representations of elliptic curves. He then uses this result to prove that all semistable curves are modular, by proving that the ''Galois representations'' of these curves are modular.


Mathematical detail of Wiles's proof


Overview

Wiles opted to attempt to match elliptic curves to a
countable In mathematics, a Set (mathematics), set is countable if either it is finite set, finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is ''countable'' if there exists an injective function fro ...
set of modular forms. He found that this direct approach was not working, so he transformed the problem by instead matching the Galois representations of the elliptic curves to modular forms. Wiles denotes this matching (or mapping) that, more specifically, is a ring homomorphism: : R_n \rightarrow \mathbf_n. R is a deformation ring and \mathbf is a Hecke ring. Wiles had the insight that in many cases this ring
homomorphism In algebra, a homomorphism is a morphism, structure-preserving map (mathematics), map between two algebraic structures of the same type (such as two group (mathematics), groups, two ring (mathematics), rings, or two vector spaces). The word ''homo ...
could be a ring
isomorphism In mathematics, an isomorphism is a structure-preserving mapping or morphism between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between the ...
(Conjecture 2.16 in Chapter 2, §3 of the 1995 paper). He realised that the map between R and \mathbf is an isomorphism if and only if two abelian groups occurring in the theory are finite and have the same
cardinality The thumb is the first digit of the hand, next to the index finger. When a person is standing in the medical anatomical position (where the palm is facing to the front), the thumb is the outermost digit. The Medical Latin English noun for thum ...
. This is sometimes referred to as the "numerical criterion". Given this result, Fermat's Last Theorem is reduced to the statement that two groups have the same order. Much of the text of the proof leads into topics and theorems related to ring theory and commutation theory. Wiles's goal was to verify that the map R \rightarrow \mathbf is an isomorphism and ultimately that R = \mathbf. In treating deformations, Wiles defined four cases, with the flat deformation case requiring more effort to prove and treated in a separate article in the same volume entitled "Ring-theoretic properties of certain Hecke algebras". Gerd Faltings, in his bulletin, gives the following
commutative diagram 350px, The commutative diagram used in the proof of the five lemma In mathematics, and especially in category theory, a commutative diagram is a diagram such that all directed paths in the diagram with the same start and endpoints lead to the s ...
(p. 745): : or ultimately that R = \mathbf, indicating a
complete intersection In mathematics, an algebraic variety ''V'' in projective space is a complete intersection if the ideal of ''V'' is generated by exactly ''codim V'' elements. That is, if ''V'' has dimension ''m'' and lies in projective space ''P'n'', there s ...
. Since Wiles could not show that R = \mathbf directly, he did so through \mathbf_3, \mathbf_3 and \mathbf/\mathfrak via lifts. In order to perform this matching, Wiles had to create a class number formula (CNF). He first attempted to use horizontal Iwasawa theory but that part of his work had an unresolved issue such that he could not create a CNF. At the end of the summer of 1991, he learned about an Euler system recently developed by Victor Kolyvagin and Matthias Flach that seemed "tailor made" for the inductive part of his proof, which could be used to create a CNF, and so Wiles set his Iwasawa work aside and began working to extend Kolyvagin and Flach's work instead, in order to create the CNF his proof would require. By the spring of 1993, his work had covered all but a few families of elliptic curves, and in early 1993, Wiles was confident enough of his nearing success to let one trusted colleague into his secret. Since his work relied extensively on using the Kolyvagin–Flach approach, which was new to mathematics and to Wiles, and which he had also extended, in January 1993 he asked his Princeton colleague, Nick Katz, to help him review his work for subtle errors. Their conclusion at the time was that the techniques Wiles used seemed to work correctly. Wiles's use of Kolyvagin–Flach would later be found to be the point of failure in the original proof submission, and he eventually had to revert to Iwasawa theory and a collaboration with Richard Taylor to fix it. In May 1993, while reading a paper by Mazur, Wiles had the insight that the 3/5 switch would resolve the final issues and would then cover all elliptic curves.


General approach and strategy

Given an elliptic curve E over the field \Q of rational numbers, for every prime power \ell^n, there exists a
homomorphism In algebra, a homomorphism is a morphism, structure-preserving map (mathematics), map between two algebraic structures of the same type (such as two group (mathematics), groups, two ring (mathematics), rings, or two vector spaces). The word ''homo ...
from the absolute Galois group : \operatorname(\bar/\Q) to : \operatorname_2(\Z/\ell^n \Z), the group of
invertible In mathematics, the concept of an inverse element generalises the concepts of opposite () and reciprocal () of numbers. Given an operation denoted here , and an identity element denoted , if , one says that is a left inverse of , and that ...
2 by 2 matrices whose entries are integers modulo \ell^n. This is because E(\bar), the points of E over \bar, form an abelian group on which \operatorname(\bar/\Q) acts; the subgroup of elements x such that \ell^n x = 0 is just (\Z/\ell^n \Z)^2, and an
automorphism In mathematics, an automorphism is an isomorphism from a mathematical object to itself. It is, in some sense, a symmetry of the object, and a way of mapping the object to itself while preserving all of its structure. The set of all automorphism ...
of this group is a matrix of the type described. Less obvious is that given a modular form of a certain special type, a Hecke eigenform with eigenvalues in \Q , one also gets a homomorphism :\operatorname(\bar/\Q) \rightarrow \operatorname_2(\Z/ \ell^n \Z). This goes back to Eichler and Shimura. The idea is that the Galois group acts first on the modular curve on which the modular form is defined, thence on the Jacobian variety of the curve, and finally on the points of \ell^n power order on that Jacobian. The resulting representation is not usually 2-dimensional, but the Hecke operators cut out a 2-dimensional piece. It is easy to demonstrate that these representations come from some elliptic curve but the converse is the difficult part to prove. Instead of trying to go directly from the elliptic curve to the modular form, one can first pass to the \bmod representation for some \ell and n , and from that to the modular form. In the case where \ell = 3 and n = 1 , results of the Langlands–Tunnell theorem show that the \bmod 3 representation of any elliptic curve over \Q comes from a modular form. The basic strategy is to use induction on n to show that this is true for \ell = 3 and any n , that ultimately there is a single modular form that works for all ''n''. To do this, one uses a counting argument, comparing the number of ways in which one can lift a mod \ell^n Galois representation to one mod \ell^ and the number of ways in which one can lift a mod \ell^n modular form. An essential point is to impose a sufficient set of conditions on the Galois representation; otherwise, there will be too many lifts and most will not be modular. These conditions should be satisfied for the representations coming from modular forms and those coming from elliptic curves.


3–5 trick

If the original (\mathrm \, 3) representation has an image which is too small, one runs into trouble with the lifting argument, and in this case, there is a final trick which has since been studied in greater generality in the subsequent work on the Serre modularity conjecture. The idea involves the interplay between the (\mathrm \, 3) and (\mathrm \, 5) representations. In particular, if the mod-5 Galois representation \overline_ associated to an semistable elliptic curve ''E'' over Q is irreducible, then there is another semistable elliptic curve E' over Q such that its associated mod-5 Galois representation \overline_ is isomorphic to \overline_ ''and'' such that its associated mod-3 Galois representation \overline_ is irreducible (and therefore modular by Langlands–Tunnell).


Structure of Wiles's proof

In his 108-page article published in 1995, Wiles divides the subject matter up into the following chapters (preceded here by page numbers): :Introduction ::443 :Chapter 1 ::455 1. Deformations of Galois representations ::472 2. Some computations of cohomology groups ::475 3. Some results on subgroups of GL2(k) :Chapter 2 ::479 1. The Gorenstein property ::489 2. Congruences between Hecke rings ::503 3. The main conjectures :Chapter 3 ::517 Estimates for the Selmer group :Chapter 4 ::525 1. The ordinary CM case ::533 2. Calculation of ''η'' :Chapter 5 ::541 Application to elliptic curves :Appendix ::545 Gorenstein rings and local complete intersections Gerd Faltings subsequently provided some simplifications to the 1995 proof, primarily in switching from geometric constructions to rather simpler algebraic ones. The book of the Cornell conference also contained simplifications to the original proof.


Overviews available in the literature

Wiles's paper is more than 100 pages long and often uses the specialised symbols and notations of
group theory In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field ( ...
,
algebraic geometry Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; th ...
,
commutative algebra Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideal (ring theory), ideals, and module (mathematics), modules over such rings. Both algebraic geometry and algebraic number theo ...
, and
Galois theory In mathematics, Galois theory, originally introduced by Évariste Galois, provides a connection between field (mathematics), field theory and group theory. This connection, the fundamental theorem of Galois theory, allows reducing certain problems ...
. The mathematicians who helped to lay the groundwork for Wiles often created new specialised concepts and technical
jargon Jargon, or technical language, is the specialized terminology associated with a particular field or area of activity. Jargon is normally employed in a particular Context (language use), communicative context and may not be well understood outside ...
. Among the introductory presentations are an email which Ribet sent in 1993; Hesselink's quick review of top-level issues, which gives just the elementary algebra and avoids abstract algebra; or Daney's web page, which provides a set of his own notes and lists the current books available on the subject. Weston attempts to provide a handy map of some of the relationships between the subjects. F. Q. Gouvêa's 1994 article "A Marvelous Proof", which reviews some of the required topics, won a Lester R. Ford award from the
Mathematical Association of America The Mathematical Association of America (MAA) is a professional society that focuses on mathematics accessible at the undergraduate level. Members include university A university () is an educational institution, institution of tertiary edu ...
. Faltings' 5-page technical bulletin on the matter is a quick and technical review of the proof for the non-specialist. For those in search of a commercially available book to guide them, he recommended that those familiar with abstract algebra read Hellegouarch, then read the Cornell book,G. Cornell, J. H. Silverman and G. Stevens, ''Modular forms and Fermat's Last Theorem'', which is claimed to be accessible to "a graduate student in number theory". The Cornell book does not cover the entirety of the Wiles proof.


See also

*
Abstract algebra In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures, which are set (mathematics), sets with specific operation (mathematics), operations acting on their elements. Algebraic structur ...
* p-adic number * Semistable curves


References


Bibliography

* * * (Cornell, et al.) * * * * * Se
review
* See also * * * * * * Simon Singh Edited version of ~2,000-word essay published in Prometheus magazine, describing Andrew Wiles's successful journey. * *


External links

* * The title of one edition of the PBS television series ''NOVA'' discusses Andrew Wiles's effort to prove Fermat's Last Theorem that broadcast on BBC ''Horizon'' and UTV/Documentary a
''Fermat's Last Theorem''
( Adobe Flash)
Wiles, Ribet, Shimura–Taniyama–Weil and Fermat's Last TheoremAre mathematicians finally satisfied with Andrew Wiles's proof of Fermat's Last Theorem? Why has this theorem been so difficult to prove?
''
Scientific American ''Scientific American'', informally abbreviated ''SciAm'' or sometimes ''SA'', is an American popular science magazine. Many scientists, including Albert Einstein and Nikola Tesla, have contributed articles to it, with more than 150 Nobel Pri ...
'', 21 October 1999 *


Explanations of the proof (varying levels)


Overview of Wiles proof, accessible to non-experts, by Henri Darmon



140 page students work-through of the proof, with exercises, by Nigel Boston
{{Pierre de Fermat Mathematics articles needing expert attention Galois theory Fermat's Last Theorem 1995 in science Mathematical proofs