Math 2.0

statement theorem

Euler's theorem

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 (Z/nZ)×(\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.

Explanations

L1 human

Powers of aa modulo nn repeat in a cycle, and the cycle comes back to 11. Euler's theorem gives one exponent that always brings aa back to 11, namely φ(n)\varphi(n). For n=12n = 12 and a=5a = 5: φ(12)=4\varphi(12) = 4 and 54=625=52⋅12+15^4 = 625 = 52 \cdot 12 + 1.

What this node 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 node is. They do not measure its truth.

What this needs

To read this node, read these 6 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • 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

What depends on this

8 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Euler%27s_theorem, lead section