LLMpediaThe first transparent, open encyclopedia generated by LLMs

Euler's theorem

Generated by GPT-5-mini
Note: This article was automatically generated by a large language model (LLM) from purely parametric knowledge (no retrieval). It may contain inaccuracies or hallucinations. This encyclopedia is part of a research project currently under review.
Article Genealogy
Parent: Euler phi function Hop 4
Expansion Funnel Raw 67 → Dedup 0 → NER 0 → Enqueued 0
1. Extracted67
2. After dedup0 (None)
3. After NER0 ()
4. Enqueued0 ()
Euler's theorem
NameEuler's theorem
FieldNumber theory
Introduced18th century
MathematicianLeonhard Euler
RelatedFermat's little theorem, Euler's totient function

Euler's theorem is a result in number theory that relates powers of integers to the Euler totient function when taken modulo a positive integer. It generalizes Fermat's little theorem and underpins algorithms in cryptography, especially the RSA protocol, while connecting to work by Gauss, Leonhard Euler, and later contributors such as Robert Carmichael and φ(n)-related studies. The theorem is central to modular arithmetic results used in constructions by Diffie–Hellman-era cryptographers and influences computational treatments by researchers at institutions like Bell Labs, MIT, and RSA Security.

Statement

For integers a and n with gcd(a, n) = 1, Euler's theorem asserts that a^{φ(n)} ≡ 1 (mod n), where φ(n) denotes the Euler totient function. The statement generalizes the special case for prime moduli proved by Fermat—commonly phrased as Fermat's little theorem—and complements results such as the Carmichael function λ(n) which gives the exponent of the multiplicative group of integers modulo n. The theorem is formulated within the structure of the multiplicative group (Z/nZ)^× studied by Gauss, and it implies order divisibility properties used in the theory of primitive roots and cyclic groups.

Proofs

Standard proofs use group-theoretic or counting arguments first developed by Leonhard Euler and later streamlined by Gauss. One proof views the residue classes coprime to n as forming the finite abelian group (Z/nZ)^× of order φ(n); by Lagrange's theorem in group theory—as formalized in works by Galois and Cauchy—the order of any element divides the group order, yielding a^{φ(n)} ≡ 1 (mod n). An elementary combinatorial proof constructs a reduced residue system modulo n—used in expositions by Dirichlet and Legendre—and shows multiplication by a permutes that system, giving the congruence after cancelation. Alternate proofs employ properties of the Möbius function and multiplicative functions as treated by Ramanujan and Davenport, or use ring-theoretic perspectives from Noether-influenced algebraic frameworks.

Examples and applications

Applications appear across computational and theoretical work. In RSA encryption and signature schemes designed by Rivest, Shamir, and Adleman, Euler's theorem justifies choosing exponents satisfying ed ≡ 1 (mod φ(n)) to enable decryption. In primality testing, methods related to Fermat primality test and enhancements by Miller and Rabin use congruential properties stemming from Euler's theorem; further deterministic refinements draw on work by Agrawal, Agrawal and colleagues. Computational number theorists at University of Cambridge and Princeton University exploit the theorem in algorithms for modular exponentiation and fast exponentiation routines influenced by implementations at GNU Project and software like Mathematica and SageMath. In algebraic number theory, relations with multiplicative order inform studies by Hecke and Artin on L-functions and reciprocity laws relevant to Hilbert class field constructions.

Several extensions refine or broaden Euler's theorem. The Carmichael function λ(n) often yields the smallest exponent for which a^{λ(n)} ≡ 1 (mod n) holds for all a coprime to n; this refinement appears in analyses by Carmichael and later researchers like Korselt. The theorem fits into group-theoretic generalizations such as exponent computations in finite abelian groups studied by Burnside and Sylow. Extensions to units of residue rings of algebraic integers relate to results by Dedekind and Leopoldt; cohomological formulations connect to the work of Tate and Grothendieck in algebraic geometry. Analogs in function fields and finite fields engage researchers like Artin and Hasse; multiplicative order and primitive element theorems for finite fields were developed in correspondence with studies by Lidl and Niederreiter.

History and attribution

Early forms of the result trace to calculations and congruences used by Fermat and were systematically formalized by Leonhard Euler in the 18th century, with formulations appearing in his correspondence and publications. Gauss later synthesized congruential number theory in his Disquisitiones Arithmeticae, building on Euler's work and establishing modern perspectives for multiplicative residues; subsequent clarifications and refinements were provided by mathematicians such as Dirichlet, Legendre, and Cauchy. In the 19th and 20th centuries, contributions by Carmichael, Korselt, and Ramanujan extended understanding and motivated applications in cryptography developed by Rivest, Shamir, and Adleman in the 1970s and 1980s. The theorem remains a foundational element taught in courses at institutions like Harvard University, Stanford University, and École Normale Supérieure.

Category:Number theory