On the $p$-divisibility of Fermat quotients
HTML articles powered by AMS MathViewer
- by R. Ernvall and T. Metsänkylä PDF
- Math. Comp. 66 (1997), 1353-1365 Request permission
Abstract:
The authors carried out a numerical search for Fermat quotients $Q_{a} = (a^{p-1}-1)/p$ vanishing mod $p$, for $1 \le a \le p-1$, up to $p < 10^{6}$. This article reports on the results and surveys the associated theoretical properties of $Q_{a}$. The approach of fixing the prime $p$ rather than the base $a$ leads to some aspects of the theory apparently not published before.References
- M. Aaltonen and K. Inkeri, Catalan’s equation $x^p-y^q=1$ and related congruences, Math. Comp. 56 (1991), no. 193, 359–370. MR 1052082, DOI 10.1090/S0025-5718-1991-1052082-7
- J. Buhler, R. Crandall, R. Ernvall, and T. Metsänkylä, Irregular primes and cyclotomic invariants to four million, Math. Comp. 61 (1993), no. 203, 151–153. MR 1197511, DOI 10.1090/S0025-5718-1993-1197511-5
- J. Brillhart, J. Tonascia, and P. Weinberger, On the Fermat quotient, Computers in number theory (Proc. Sci. Res. Council Atlas Sympos. No. 2, Oxford, 1969) Academic Press, London, 1971, pp. 213–222. MR 0314736
- Don Coppersmith, Fermat’s last theorem (case $1$) and the Wieferich criterion, Math. Comp. 54 (1990), no. 190, 895–902. MR 1010598, DOI 10.1090/S0025-5718-1990-1010598-2
- R. Crandall, K. Dilcher and C. Pomerance, A search for Wieferich and Wilson primes, Math. Comp. 66 (1997), 433–449.
- L. E. Dickson, History of the Theory of Numbers, I-II, Carnegie Institution of Washington, Washington, 1919-1920; reprint, Chelsea, New York, 1952.
- R. Ernvall and T. Metsänkylä, Cyclotomic invariants for primes between $125\,000$ and $150\,000$, Math. Comp. 56 (1991), no. 194, 851–858. MR 1068819, DOI 10.1090/S0025-5718-1991-1068819-7
- W. L. Fouché, On the Kummer-Mirimanoff congruences, Quart. J. Math. Oxford Ser. (2) 37 (1986), no. 147, 257–261. MR 854625, DOI 10.1093/qmath/37.3.257
- Andrew J. Granville, Refining the conditions on the Fermat quotient, Math. Proc. Cambridge Philos. Soc. 98 (1985), no. 1, 5–8. MR 789713, DOI 10.1017/S0305004100063180
- A. Granville, Diophantine Equations with Varying Exponents (doctoral thesis), Queen’s University, Kingston, Ontario, Canada, 1987.
- Andrew Granville, Some conjectures related to Fermat’s last theorem, Number theory (Banff, AB, 1988) de Gruyter, Berlin, 1990, pp. 177–192. MR 1106660
- Helmut Hasse, Number theory, Akademie-Verlag, Berlin, 1979. Translated from the third German edition of 1969 by Horst Günter Zimmer. MR 544018
- R. Heath-Brown, An estimate for Heilbronn’s exponential sum, Analytic Number Theory: Proc. Conference in honor of Heini Halberstam, Birkhäuser, Boston, to appear in 1996.
- C. Helou, Norm residue symbol and cyclotomic units, Acta Arith. 73 (1995), 147-188.
- Wells Johnson, On the nonvanishing of Fermat quotients $(\textrm {mod}$ $p)$, J. Reine Angew. Math. 292 (1977), 196–200. MR 450193, DOI 10.1515/crll.1977.292.196
- Wells Johnson, On the $p$-divisibility of the Fermat quotients, Math. Comp. 32 (1978), no. 141, 297–301. MR 463091, DOI 10.1090/S0025-5718-1978-0463091-4
- W. Keller, New prime solutions $p$ of $a^{p-1} \equiv 1 \pmod {p^{2}}$ (preliminary report), Abstracts Amer. Math. Soc. 9 (1988), 503.
- E. Lehmer, On congruences involving Bernoulli numbers and the quotients of Fermat and Wilson, Ann. of Math. (2) 39 (1938), 350–360.
- H. W. Lenstra Jr., Miller’s primality test, Inform. Process. Lett. 8 (1979), no. 2, 86–88. MR 520273, DOI 10.1016/0020-0190(79)90149-2
- M. Lerch, Zur Theorie des Fermatschen Quotienten $\frac {a^{p-1}-1}{p} = q(a)$, Math. Annalen 60 (1905), 471–490.
- M. Mignotte and Y. Roy, l’Equation de Catalan, Prépubl. l’Inst. Rech. Math. Avancée 513/P-299 (1992), 1–44.
- M. Mignotte and Y. Roy, Catalan’s equation has no new solution with either exponent less than $10651$, Experiment. Math. 4 (1995), 259–268.
- Peter L. Montgomery, New solutions of $a^{p-1}\equiv 1\pmod {p^2}$, Math. Comp. 61 (1993), no. 203, 361–363. MR 1182246, DOI 10.1090/S0025-5718-1993-1182246-5
- P. Ribenboim, The New Book of Prime Number Records, 3rd ed., Springer, New York, 1996.
- Paulo Ribenboim, Catalan’s conjecture, Academic Press, Inc., Boston, MA, 1994. Are $8$ and $9$ the only consecutive powers?. MR 1259738
- Hans Riesel, Note on the congruence $a^{p-1}=1$ $(\textrm {mod}$ $p^{2})$, Math. Comp. 18 (1964), 149–150. MR 157928, DOI 10.1090/S0025-5718-1964-0157928-6
- Wolfgang Schwarz, A note on Catalan’s equation, Acta Arith. 72 (1995), no. 3, 277–279. MR 1347490, DOI 10.4064/aa-72-3-277-279
- Jiro Suzuki, On the generalized Wieferich criteria, Proc. Japan Acad. Ser. A Math. Sci. 70 (1994), no. 7, 230–234. MR 1303569
- R. Tijdeman, On the equation of Catalan, Acta Arith. 29 (1976), no. 2, 197–209. MR 404137, DOI 10.4064/aa-29-2-197-209
- N. Tzanakis, Solution to problem E 2956, Amer. Math. Monthly 93 (1986), 569.
- H. S. Vandiver, An aspect of the linear congruence with applications to the theory of Fermat’s quotient, Bull. Amer. Math. Soc. 22 (1915), 61–67.
Additional Information
- R. Ernvall
- Affiliation: Forssa Institute of Technology, Saksankatu 46, FIN-30100 Forssa, Finland
- T. Metsänkylä
- Affiliation: Department of Mathematics, University of Turku, FIN-20014 Turku, Finland
- Email: taumets@sara.cc.utu.fi
- Received by editor(s): March 4, 1996
- Received by editor(s) in revised form: May 22, 1996
- © Copyright 1997 American Mathematical Society
- Journal: Math. Comp. 66 (1997), 1353-1365
- MSC (1991): Primary 11A15, 11Y70; Secondary 11D41, 11R18
- DOI: https://doi.org/10.1090/S0025-5718-97-00843-0
- MathSciNet review: 1408373