Dictionary

Fermat's little theorem en · PROPN

Etymology

Named after French lawyer and amateur mathematician Pierre de Fermat (1601–1665), who stated a version of the theorem in a letter in 1640. Called little to distinguish it from Fermat's Last Theorem.

Meanings

1. The theorem that, for any prime number p and integer a, aᵖ-a is an integer multiple of p.
   • 1999, Siguna Müller, On the Combined Fermat/Lucas Probable Prime Test, Michael Walker (editor), Cryptography and Coding: 7th IMA International Conference, Springer, LNCS 1746, page 222, Most of the pseudoprimality tests originate in some sense on Fermat's Little Theorem aⁿ⁻¹ ≡ 1 mod n.
   • Incidentally, the special case of Fermat's little theorem for a = 2 was known to the Chinese as early as 500 B.C. The first proof of Fermat's little theorem was given by Euler in 1736, almost a century after Fermat's announcement. 2007, Thomas Koshy, Elementary Number Theory with Applications, 2nd edition, Elsevier (Academic Press), page 327:
   • 1999, John Stillwell, Translator's introduction, Peter Gustav Lejeune Dirichlet, Richard Dedekind (supplements), Lectures on Number Theory, [1863, P. G. Lejeune Dirichlet, R. Dedekind, Vorlesungen über Zahlentheorie], American Mathematical Society, page xi, When combined with the historical remarks made by Gauss himself, they give a bird's eye view of number theory from approximately 1640 to 1840 - from Fermat's little theorem to L-functions - the period which produced the problems and ideas which are still at the center of the subject.
   • Fermat's little theorem says that if n is prime and gcd(a,n) = 1, then aⁿ⁻¹ ≡ 1 (mod n), so it follows that n must be composite, even though we have not produced a factor. 2008, Lawrence C. Washington, Elliptic Curves: Number Theory and Cryptography, 2nd edition, Taylor & Francis (Chapman & Hall/CRC), page 189:

Forms

Relateds

Euler's totient function

Synonyms

theorem that a p − a is divisible by p (Fermat's theorem)

Translations (4)

it piccolo teorema di Fermat (theorem that ap − a is divisible by p) · ru малая теорема Ферма (theorem that ap − a is divisible by p) · hu kis Fermat-tétel (theorem that ap − a is divisible by p) · fr petit théorème de Fermat (theorem that ap − a is divisible by p)