The First Case of Fermat's Last Theorem is True for all Prime Exponents up to 714,591,416,091,389

DOI10.2307/2000841zbMath0645.10018OpenAlexW4244008611MaRDI QIDQ3788083

Andrew Granville, Michael B. Monagan

Publication date: 1988

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2000841

zbMATH Keywords

Gunderson's functionfirst case of Fermat's last theoremKummer-Mirimanoff congruencesPollaczek's work

Mathematics Subject Classification ID

Higher degree equations; Fermat's equation (11D41)

Related Items (11)

On the generalized Wieferich criteria ⋮ Remarks on exponential congruences and powerful numbers ⋮ Wieferich's criterion and the abc-conjecture ⋮ Lucas non-Wieferich primes in arithmetic progressions ⋮ Prime divisors of \(\ell\)-Genocchi numbers and the ubiquity of Ramanujan-style congruences of level \(\ell\) ⋮ Number crunching vs. number theory: computers and FLT, from Kummer to SWAC (1850--1960), and beyond ⋮ The Orders of Solutions of the Kummer System of Congruences ⋮ The continuing search for Wieferich primes ⋮ Improved lower bounds for possible solutions in the second case of the Fermat last theorem and in the Catalan equation ⋮ Wieferich pairs and Barker sequences ⋮ On the Jacobi sums modulo \(P^ n\)

This page was built for publication: The First Case of Fermat's Last Theorem is True for all Prime Exponents up to 714,591,416,091,389