ATLAS Ouvrir dans l'atlas →

Théorème 1Réciprocité quadratique

Théorèmes de Fermat et d'Euler

Pour n⩾1n \geqslant 1 et a,b∈ℤa, b \in {\mathbb Z}, on écrit a≡b(modn)a \equiv b \pmod n, et l'on dit que aa est congru à bb modulo nn, lorsque nn divise a−ba - b, c'est-à-dire lorsque aa et bb ont la même classe dans ℤ/nℤ{\mathbb Z/n\mathbb Z}. Les congruences modulo nn s'additionnent et se multiplient, puisque la projection de ℤ\mathbb Z sur ℤ/nℤ\mathbb Z/n\mathbb Z est un morphisme d'anneaux (Anneau quotient).

Comme au nœud Produits semi-directs, (ℤ/nℤ)×(\mathbb Z/n\mathbb Z)^\times est le groupe des éléments inversibles de l'anneau ℤ/nℤ\mathbb Z/n\mathbb Z, et φ(n)\varphi(n) désigne, comme au nœud Groupes cycliques, le nombre d'entiers k∈{1,…,n}k \in \{1, \dots, n\} premiers à nn.

Énoncé

(i) La classe aˉ\bar a est inversible dans ℤ/nℤ\mathbb Z/n\mathbb Z si et seulement si a∧n=1a \wedge n = 1. Le groupe (ℤ/nℤ)×(\mathbb Z/n\mathbb Z)^\times a donc φ(n)\varphi(n) éléments.

(ii) Euler. Si a∧n=1a \wedge n = 1, alors aφ(n)≡1(modn)a^{\varphi(n)} \equiv 1 \pmod n.

(iii) Fermat. Si pp est un nombre premier, alors ap≡a(modp)a^p \equiv a \pmod p pour tout a∈ℤa \in \mathbb Z, et ap−1≡1(modp)a^{p-1} \equiv 1 \pmod p si pp ne divise pas aa.

Démonstration

(i) Si aˉuˉ=1ˉ\bar a\bar u = \bar 1, il existe v∈ℤv \in \mathbb Z tel que au−1=nvau - 1 = nv, d'où au+n(−v)=1au + n(-v) = 1, et a∧n=1a \wedge n = 1 par le théorème de Bézout (PGCD, Bézout, (ii)). Réciproquement, une relation au+nv=1au + nv = 1 donne aˉuˉ=1ˉ\bar a\bar u = \bar 1.

La condition a∧n=1a \wedge n = 1 ne dépend que de la classe de aa, puisque l'idéal (a+kn)ℤ+nℤ(a + kn)\mathbb Z + n\mathbb Z est égal à aℤ+nℤa\mathbb Z + n\mathbb Z pour tout k∈ℤk \in \mathbb Z.

Comme nˉ=0ˉ\bar n = \bar 0, les classes 1ˉ,…,nˉ\bar 1, \dots, \bar n sont, à l'ordre près, les nn éléments 0ˉ,…,n−1‾\bar 0, \dots, \overline{n - 1} de ℤ/nℤ\mathbb Z/n\mathbb Z, deux à deux distincts (ℤ/nℤ). Les inversibles sont donc les classes des entiers k∈{1,…,n}k \in \{1, \dots, n\} premiers à nn, au nombre de φ(n)\varphi(n).

(ii) Dans un groupe fini GG, tout élément xx vérifie x∣G∣=ex^{|G|} = e (Groupes cycliques, (i)). Pour G=(ℤ/nℤ)×G = (\mathbb Z/n\mathbb Z)^\times, d'ordre φ(n)\varphi(n) par (i), et x=aˉx = \bar a, c'est l'égalité aˉφ(n)=1ˉ\bar a^{\varphi(n)} = \bar 1.

(iii) Les seuls diviseurs positifs de pp étant 11 et pp, les entiers de {1,…,p}\{1, \dots, p\} premiers à pp sont 1,…,p−11, \dots, p - 1, et φ(p)=p−1\varphi(p) = p - 1. Si pp ne divise pas aa, le pgcd a∧pa \wedge p, diviseur positif de pp différent de pp, vaut 11, et (ii) donne ap−1≡1a^{p-1} \equiv 1 ; en multipliant par aa, ap≡aa^p \equiv a. Si pp divise aa, les deux membres de ap≡aa^p \equiv a sont congrus à 00.

□
Remarque

L'exposant φ(n)\varphi(n) est un multiple de l'ordre de aˉ\bar a, pas toujours cet ordre. Modulo 1111, on a 210=1024=93⋅11+12^{10} = 1024 = 93 \cdot 11 + 1, et 22 est d'ordre exactement 1010 ; modulo 1212, où φ(12)=4\varphi(12) = 4, on a déjà 52=25=2⋅12+15^2 = 25 = 2 \cdot 12 + 1.

Remarque

L'erreur la plus répandue est de lire le théorème de Fermat comme un critère de primalité. La réciproque est fausse : 341=11⋅31341 = 11 \cdot 31 n'est pas premier, et pourtant 2340≡1(mod341)2^{340} \equiv 1 \pmod{341}.

Il y a pire : pour 561=3⋅11⋅17561 = 3 \cdot 11 \cdot 17, la congruence a560≡1(mod561)a^{560} \equiv 1 \pmod{561} vaut pour tout aa premier à 561561. Le théorème de Wilson, lui, caractérise exactement les nombres premiers par une congruence, comme l'établira le nœud voisin (Wilson, (ii)), mais il est inutilisable en pratique.

Remarque

La preuve passe par le théorème de Lagrange. On peut aussi démontrer ap≡aa^p \equiv a par récurrence sur a⩾0a \geqslant 0, à partir de (a+1)p≡ap+1(modp)(a + 1)^p \equiv a^p + 1 \pmod p, que donne le binôme de Newton en caractéristique pp (Binôme de Newton, (iv)) ; le cas a<0a < 0 s'en déduit, puisque ap≡(a+kp)pa^p \equiv (a + kp)^p.

Remarque

Fermat énonce le théorème, sans démonstration, dans une lettre à Frénicle de Bessy du 18 octobre 1640 ; Euler en rédige en 1736 la première démonstration, publiée en 1741, et l'étend plus tard aux modules quelconques par la fonction φ\varphi qui porte son nom.

Ouvrir dans l'atlas interactif →