Math 2.0

Number theory Congruences Theorem

Euler's theorem

Builds on Euler's totient functionCongruence modulo nCoprime integers

Statement

Let nn be a positive integer and let aa be an integer coprime to nn. Then aφ(n)≡1(modn)a^{\varphi(n)} \equiv 1 \pmod n, where φ\varphi is Euler's totient function.

Remarks

When n=pn = p is prime, φ(p)=p−1\varphi(p) = p - 1, and the result is Fermat's little theorem. A proof uses Lagrange's theorem: the group (ℤ/nℤ)×(\mathbb{Z}/n\mathbb{Z})^\times has order φ(n)\varphi(n), by the number of invertible residues modulo n. The result lets us reduce exponents. If gcd⁡(a,n)=1\gcd(a, n) = 1 and k≡l(modφ(n))k \equiv l \pmod{\varphi(n)}, then ak≡al(modn)a^k \equiv a^l \pmod n. For example, φ(10)=4\varphi(10) = 4, so 74≡1(mod10)7^{4} \equiv 1 \pmod{10}, and the last digit of 72227^{222} is the last digit of 72=497^2 = 49, that is, 99.

History

Euler proved the theorem in 1763.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Divisibility definition
  2. Congruence modulo n definition
  3. Greatest common divisor definition
  4. Coprime integers definition
  5. Euler's totient function definition
  6. Euler's theorem statement

Where this leads

9 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Euler%27s_theorem, lead section
About this page
Tag0VC4DVE7DQ
URIm2://0VC4DVE7DQ
Aliasesfermat-euler-theorem, euler-totient-theorem
Kindstatement, theorem
WritingW1 stated
MSC11A07
StatusThis copy of the site has no build data. Run m2 status 0VC4DVE7DQ.
UsesEuler's totient function, Congruence modulo n, Coprime integers
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge about out: the concepts that the statement is about (0 of 1)
  • edge proves in: at least one proof node (0 of 1)
  • edge instance_of or illustrates in: one example that shows the statement at work (0 of 1)
  • explanation L2 (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by