ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 7 — PGCD · Pour aller plus loin

Exercice 34

Démonstration

Soit n⩾2n\geqslant 2 un entier. On dit qu'un entier aa admet un inverse modulo nn s'il existe un entier xx tel que ax≡1  [n]ax\equiv 1\;[n]. Montrer que nn est premier si et seulement si tout élément de {1,…,n−1}\{1,\dots,n-1\} admet un inverse modulo nn.

Source : poly « Mathématiques : du lycée aux CPGE scientifiques » (LLG / H4), n° 510

Corrigé

• Si nn est premier. Soit a∈{1,…,n−1}a\in\{1,\dots,n-1\}. Les seuls diviseurs positifs de nn sont 11 et nn, et nn ne divise pas aa puisque 0<a<n0<a<n. Donc PGCD(a,n)=1\mathrm{PGCD}(a,n)=1, et le théorème de Bézout fournit uu, vv entiers tels que au+nv=1au+nv=1. Ainsi au≡1  [n]au\equiv 1\;[n] : uu est un inverse de aa modulo nn.

• Si nn n'est pas premier. On écrit n=rsn=rs avec 1<r<n1<r<n, de sorte que r∈{1,…,n−1}r\in\{1,\dots,n-1\}. Supposons que rx≡1  [n]rx\equiv 1\;[n] pour un entier xx. Alors nn divise rx−1rx-1, donc rr aussi ; comme rr divise rxrx, il divise rx−(rx−1)=1rx-(rx-1)=1, ce qui contredit r>1r>1. L'entier rr n'a donc pas d'inverse modulo nn.

n est premier  ⟺  tout eˊleˊment de {1,…,n−1} admet un inverse modulo n\boxed{n \text{ est premier} \iff \text{tout élément de } \{1,\dots,n-1\} \text{ admet un inverse modulo } n} Par exemple, modulo 2626, l'entier 1313 n'a pas d'inverse : c'est la question 3c de l'exercice 13.

Ouvrir dans l'atlas interactif →