Fermat premier par premier :
Exercice de TD · niveau 2 · mathématiques MPSI, chapitre 7 — Arithmétique dans l'ensemble des entiers relatifs · E. Congruences
Énoncé
a) Montrer que divise pour tout .
b) Montrer que divise pour tout . Expliquer pourquoi ce sont exactement les nombres premiers tels que divise qui apparaissent.
c) Vérifier que , et sont premiers entre eux dans leur ensemble mais pas deux à deux, et que chacun divise sans que leur produit le divise. Pourquoi le recollement du a) exige-t-il « deux à deux » ?
Corrigé
La stratégie. Le petit théorème de Fermat travaille modulo chaque nombre premier séparément ; la proposition « si et sont premiers entre eux et divisent , alors divise » recolle les morceaux — à condition que les modules soient premiers entre eux deux à deux.
Un lemme. Soit premier et tel que divise . Alors pour tout entier . En effet, écrivons . Si , les deux membres sont congrus à . Sinon, par le petit théorème de Fermat, , donc .
a) Le cas de . Pour , est divisible par pour (), () et (). Le lemme donne modulo , modulo et modulo : chacun de ces trois premiers divise . Recollons : et sont premiers entre eux et divisent , donc le divise ; et sont premiers entre eux et le divisent, donc le divise. pour tout .
b) Le cas de . Pour , , dont les diviseurs sont ; les premiers tels que soit l'un d'eux sont — et , , sont bien premiers, tandis que ne l'est pas. Par le lemme, chacun de divise ; ils sont premiers entre eux deux à deux (premiers distincts), et le recollement, appliqué quatre fois, donne . Le nombre est exactement le produit des premiers tels que ; de même est le produit des premiers tels que , à savoir , , . (Un premier qui ne vérifie pas cette condition ne divise pas pour tout ; par exemple .)
c) Deux à deux, ou dans leur ensemble. , , : aucun couple n'est premier entre eux. Mais : ils sont premiers entre eux dans leur ensemble. Chacun divise , et pourtant ne divise pas .
Pourquoi. Le recollement du a) enchaîne « , , donc », puis « , , donc » : à chaque étape il faut que le produit déjà formé soit premier avec le module suivant, ce qui est garanti si les modules sont premiers entre eux deux à deux (le cours : et entraînent ). Avec , la première étape échoue déjà : , et de fait . En termes de valuations : ce qui divise , c'est le PPCM des modules, dont la valuation en est le maximum des valuations ; le PPCM égale le produit si et seulement si aucun premier n'apparaît dans deux modules — c'est-à-dire si et seulement si les modules sont premiers entre eux deux à deux.
Ce que l'exercice installe. Fermat ne parle que d'un nombre premier à la fois ; pour un module composé, on factorise, on travaille premier par premier, on recolle — et le recollement a une condition précise, « deux à deux », qu'il faut vérifier et non supposer. C'est le principe qui justifie le chiffrement RSA : Fermat modulo , Fermat modulo , recollement modulo .
Les autres exercices de ce chapitre Le cours du chapitre
Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.