×

Fermat quotients for composite moduli. (English) Zbl 0884.11003

Let \(a\) and \(m \geq 2\) be relatively prime integers. The authors call the integer \[ q(a,m)=(a^{\varphi (m)}-1)/m \] the Euler quotient of \(m\) with base \(a\). If \(m\) is a prime, this reduces to the widely studied Fermat quotient. Some basic properties of \(q(a,m)\) were observed by M. Lerch [C. R. Acad. Sci., Paris 142, 35-38 (1906; JFM 37.0225.02)]. The present paper constitutes a systematic study of this number. As in the case of the Fermat quotient, there are many connections to Bernoulli polynomials and numbers. Of special interest are the Wieferich numbers \(m\) with base \(a\), that is, the numbers \(m\) satisfying \(a^{\varphi (m)} \equiv 1 \pmod {m^2}\). The authors completely characterize these in terms of the primes \(p\) with \(a^{p-1} \equiv 1 \pmod {p^2}\) (the Wieferich primes). Also included are numerical examples and tables of Wieferich numbers.

MSC:

11A15 Power residues, reciprocity
11B68 Bernoulli and Euler numbers and polynomials

Citations:

JFM 37.0225.02
Full Text: DOI

References:

[1] Abramowitz, M.; Stegun, I. A., Handbook of Mathematical Functions (1964), National Bureau of Standards: National Bureau of Standards Washington · Zbl 0515.33001
[2] T. Agoh, K. Dilcher, L. Skula, Wilson quotients for composite moduli, Math. Comp.; T. Agoh, K. Dilcher, L. Skula, Wilson quotients for composite moduli, Math. Comp. · Zbl 1024.11003
[3] Baker, H. F., Remark on the Eisenstein-Sylvester extension of Fermat’s theorem, Proc. London Math. Soc. (2), 4, 131-135 (1906) · JFM 37.0224.01
[4] Crandall, R. E.; Dilcher, K.; Pomerance, C., A search for Wieferich and Wilson primes, Math. Comp., 66, 433-449 (1997) · Zbl 0854.11002
[5] Dickson, L. E., History of the Theory of Numbers. Vol 1. Divisibility and Primality (1962), Chelsea: Chelsea New York
[6] Franco, Z.; Pomerance, C., On a conjecture of Crandall concerning theqx, Math. Comp., 64, 1333-1336 (1995) · Zbl 0833.11003
[7] Keller, W., New prime solutions \(pa^p\)≡1 (mod \(p^2\), AMS Abstracts, 9, 503 (1988)
[8] Lerch, M., Zur Theorie des Fermatschen Quotienten \((a^p\)−1)/\(pqa\), Math. Ann., 60, 471-490 (1905) · JFM 36.0266.03
[9] Lerch, M., Sur les théorèmes de Sylvester concernant le quotient de Fermat, C. R. Acad. Sci. Paris, 142, 35-38 (1906) · JFM 37.0225.02
[10] Lehmer, D. H., On Fermat’s quotient, base two, Math. Comp., 36, 289-290 (1981) · Zbl 0452.10001
[11] Lehmer, E., On congruences involving Bernoulli numbers and the quotients of Fermat and Wilson, Ann. of Math., 39, 350-360 (1938) · JFM 64.0095.04
[12] Montgomery, P. L., New solutions of \(a^p\)≡1 (mod \(p^2\), Math. Comp., 61, 361-363 (1993) · Zbl 0788.11002
[13] Ribenboim, P., The Book of Prime Number Records (1988), Springer-Verlag: Springer-Verlag New York · Zbl 0642.10001
[14] Ribenboim, P., The Little Book of Big Primes (1991), Springer-Verlag: Springer-Verlag New York · Zbl 0734.11001
[15] J. Sauerberg, L. Shu, 1995, Fermat quotients over function fields; J. Sauerberg, L. Shu, 1995, Fermat quotients over function fields
[16] Sylvester, J. J., Sur une propriété des nombres premiers qui se rattache au théorème de Fermat, C. R. Acad. Sci. Paris, 52, 161-163 (1861)
[17] Wieferich, A., Zum letzten Fermat’schen Theorem, J. Reine Angew. Math., 136, 293-302 (1909) · JFM 40.0256.03
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.