Théorème 1Réciprocité quadratique
Théorèmes de Fermat et d'Euler
Pour et , on écrit , et l'on dit que est congru à modulo , lorsque divise , c'est-à-dire lorsque et ont la même classe dans . Les congruences modulo s'additionnent et se multiplient, puisque la projection de sur est un morphisme d'anneaux (Anneau quotient).
Comme au nœud Produits semi-directs, est le groupe des éléments inversibles de l'anneau , et désigne, comme au nœud Groupes cycliques, le nombre d'entiers premiers à .
(i) La classe est inversible dans si et seulement si . Le groupe a donc éléments.
(ii) Euler. Si , alors .
(iii) Fermat. Si est un nombre premier, alors pour tout , et si ne divise pas .
Démonstration
(i) Si , il existe tel que , d'où , et par le théorème de Bézout (PGCD, Bézout, (ii)). Réciproquement, une relation donne .
La condition ne dépend que de la classe de , puisque l'idéal est égal à pour tout .
Comme , les classes sont, à l'ordre près, les éléments de , deux à deux distincts (ℤ/nℤ). Les inversibles sont donc les classes des entiers premiers à , au nombre de .
(ii) Dans un groupe fini , tout élément vérifie (Groupes cycliques, (i)). Pour , d'ordre par (i), et , c'est l'égalité .
(iii) Les seuls diviseurs positifs de étant et , les entiers de premiers à sont , et . Si ne divise pas , le pgcd , diviseur positif de différent de , vaut , et (ii) donne ; en multipliant par , . Si divise , les deux membres de sont congrus à .
□L'exposant est un multiple de l'ordre de , pas toujours cet ordre. Modulo , on a , et est d'ordre exactement ; modulo , où , on a déjà .
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 : n'est pas premier, et pourtant .
Il y a pire : pour , la congruence vaut pour tout premier à . 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.
La preuve passe par le théorème de Lagrange. On peut aussi démontrer par récurrence sur , à partir de , que donne le binôme de Newton en caractéristique (Binôme de Newton, (iv)) ; le cas s'en déduit, puisque .
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 qui porte son nom.