Compléments d’arithmétique sur Z
Dans ce chapitre nous alons exposer des résultats classiques mais plus spécialisés qui seront utiles
dans les applications cryptographiques que nous étudierons par la suite.
Théorème 1 Petit théorème de Fermat. Soit pun nombre premier alors tout entier nvéri…e
npn[p]
Démonstration. Vue en exercice. C’est un raisonnement par récurrence sur n(p…xé) en
utilisant la formule (a+b)pap+bp[p].
Proposition 2 Soit nun entier et soit _x2(Z=nZ)on a
_x'(n)=_
1
Démonstration. Considérons l’ensemble des puissances de _x:X=_
1;_x; _x2; : : :comme Xest
…ni (car inclus dans Z=nZ) il existe deux entiers pet qtels que _xp= _xqet donc il existe un entier
mtel que _xm=_
1(si p>qon peut prendre m=pq) car _xest inversible. Soit dl’entier minimal
pour lequel on a _xd=_
1. (ds’appelle l’ordre de x). alors Xs’écrit _
1;_x; _x2;:::; _xd1et Xcontient
déléments distincts.
Si X= (Z=nZ)alors ils ont le même nombre d’éléments et d='(n)ce qui donne le résultat.
Sinon il existe _y =2X, on note _yX =_y; _y_x; _y_x2;:::; _y_xd1. Tout d’abord notons que _yX
contient déléments distincts, en e¤et si _y_xr= _y_xsalors _xr= _xs(car _yest inversible) ce qui est faux
par dé…nition de X. D’autre part _yX \X=?, en e¤et si il existait ret stels que _y_xr= _xsalors
on aurait _y= _xsret donc _yappartiendrait à X.
Si (Z=nZ)=X[_yX alors '(n) = 2det donc _x'(n)= _x2d=_xd2=_
12=_
1.
Sinon on prend un élément _zde ceux qui restent et on montre de même que X[_yX [_zX contient
3déléments distincts et ainsi de suite jusqu’à ce que l’on ait pris tous les élément de (Z=nZ)et donc
il existe un entier mtel que '(n) = md et donc _x'(n)= _xmd =_xdm=_
1m=_
1.
Remarque 3 Cette proposition est un cas particulier du résultat suivant :
Si (G; )est un groupe …ni de cardinal égal à nalors pour tout gde Gon a
gn= 1
La preuve de ce résultat peut s’obtenir de façon similaire à la preuve ci-dessus.
En fait, on même démontré un résultat plus fort. On appelle l’ordre de gle plus petit entier ktel
que gk= 1. On vient de voir que l’ordre de gdivise le cardinal du groupe.
Remarque 4 L’hypothèse que _xsoit inversible est importante, si on prend _
3dans Z=9Zpar exemple.
On a _
32=_
0donc _
3'(9) =_
0.
1