ExerciceMaths Sup – MPSI, chapitre 12 — Arithmétique dans · Congruences
Exercice 50
Théorème de Wilson. Soit . Montrer que est premier si et seulement si . On pourra, pour premier, regrouper chaque entier de avec son inverse modulo .
Corrigé
Si n'est pas premier, il s'écrit avec . Alors figure dans le produit , donc . Si l'on avait , l'entier , qui divise , diviserait , donc : c'est absurde.
Si est premier. Pour et , on a et . Soit . D'après la proposition 12, chaque admet un inverse modulo , et un seul dans , que l'on note . On a si et seulement si , c'est-à-dire , soit par le lemme d'Euclide. Les entiers de se regroupent donc en paires de produit congru à , et
Pour , les paires sont et , et . ✓
À retenir. Ce critère de primalité est exact mais inutilisable en pratique : calculer modulo demande multiplications, bien plus que les essais de divisions jusqu'à .