Elements de correction
Partie 1
Si p ne divise pas a, alors
semble être congru à 1 modulo p.
Partie 2
Si
et admet donc une unique décomposition en produit de facteurs
premiers.
Supposons que p divise
: p fait nécessairement partie de la décomposition en
produit de facteurs premiers de l'un au moins des entiers compris entre 2 et
, ce qui
est impossible car p est plus grand que chacun.
Donc p ne divise pas
Puisque p est premier, ses seuls diviseurs positifs sont 1 et lui même.
Or p ne divise pas
, donc le seul diviseur positif commun est 1 : p est premier
avec
Partie 3
1a) Les restes sont compris entre 0 et
: il peut donc y en avoir p.
b) Supposons qu'un des restes soit nul, correspondant à un élément de A.
Il existe donc un k compris entre 1 et p-1 tel que p divise
Puisque p ne divise pas a, d'après le théorème de Gauss, p divise k.
Mais puisque
, on aboutit à une contradiction.
Aucun des éléments de L n'est donc nul.
c) Soient deux éléments de A
.
On suppose qu'ils ont le même reste dans la division euclidienne par p :
On a alors
(mod p)
Par différence, on a nécessairement :
.
p étant premier avec a, le théorème de Gauss assure que p divise
.
Le seul multiple de p strictement compris entre -p et p étant 0, on obtient
.
On a montré par l'absurde que ka et k'a ne pouvaient pas avoir le même reste.
d) L comporte p-1 éléments (autant que A) compris entre 1 et p-1 (d'après a et b), et
distincts (d'après c) : on en déduit que L est composée de tous les nombres compris
entre 1 et p-1.
Chaque élément de A étant congru à un des élements de L modulo p, on a par
produit que
N=a×2a×…×
(
p−1
)
a=
(
p−1
)
!×ap−1
(mod p)
En utilisant le 1), on obtient que :
(mod p),
et donc par différence :
(mod p).
On conclut que p divise
d'après 1), on en déduit (Gauss) que p divise