$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Du symbole de Legendre au test de primalité de Solovay-Strassen

Symbole de Legendre

L'équation $y^2=x$, $x$ fixé, n'est pas toujours résoluble dans $\mathbb Z/n\mathbb Z$. Un peu comme on utilise le discriminant pour les équations du second degré sur $\mathbb R$, on cherche un outil qui permette de déterminer si cette équation a des solutions ou non!

Définition : On dit que $x\in\mathbb Z$ est résidu quadratique modulo $n$ s'il existe $y\in\mathbb Z$ tel que $y^2\equiv x\ [n]$. Si $p$ est un entier premier, on définit le symbole de Legendre $\left(\frac xp\right)$ par $$\left(\frac xp\right)=\left\{ \begin{array}{l} 0&\textrm{ si $x$ est divisible par $p$}\\ 1&\textrm{ si $x$ n'est pas divisible par $p$ et $x$ est un résidu quadratique modulo $p$}\\ -1&\textrm{ si $x$ n'est pas un résidu quadratique modulo $p$.} \end{array} \right.$$

Pour calculer, le symbole de Legendre, on dispose des 4 propriétés suivantes, valables pour $p$ et $q$ deux premiers impairs distincts :

  • $\left(\frac{xy}p\right)=\left(\frac xp\right)\left(\frac yp\right).$
  • $\left(\frac{-1}p\right)=(-1)^{\frac{p-1}2}.$
  • $\left(\frac{2}p\right)=(-1)^{\frac{p^2-1}8}.$
  • $\left(\frac pq\right)\left(\frac qp\right)=(-1)^{\frac{(p-1)(q-1)}{4}}$.

La dernière propriété s'appelle la loi de réciprocité quadratique. Elle fut longtemps un problème ouvert avant que Gauss ne la démontre, et en donne d'ailleurs plusieurs preuves différentes.

Exemple : $x^2=219$ admet-elle une solution modulo $383$? On calcule le symbole de Legendre grâce aux propriétés précédentes : \begin{eqnarray*} \left(\frac{219}{383}\right)&=&\left(\frac{3}{383}\right)\left(\frac{73}{383}\right)\\ &=&-\left(\frac{3}{383}\right)\left(\frac{383}{73}\right)\\ &=&-\left(\frac{-1}{3}\right)\left(\frac{18}{73}\right)\\ &=&\left(\frac{2}{73}\right)=1. \end{eqnarray*} Donc la réponse est : oui!

Théorème (critère d'Euler) : Soit $p$ un nombre premier différent de $2$ et $a$ un entier premier avec $p$. Alors $$a^{\frac{p-1}2}\equiv \left(\frac a p\right)\ (\textrm{mod}\ p).$$
Symbole de Jacobi

Le symbole de Jacobi est une extension du symbole de Legendre. On donne désormais un sens à $\left(\frac{x}{n}\right)$ même lorsque $n$ n'est pas premier. Pour cela, on pose, pour $n=p_1^{\alpha_1}\cdots p_r^{\alpha_r}$, $$\left(\frac{x}{n}\right)= \left\{ \begin{array}{ll} \Big(\frac{x}{p_1^{\alpha_1}}\Big)\cdots \Big(\frac{x}{p_r^{\alpha_r}}\Big)&\textrm{ si }x\wedge n=1\\ 0&\textrm{sinon.} \end{array} \right. $$ Le symbole de Jacobi ne permet plus de tester si $x$ est un résidu quadratique modulo $n$. En revanche, on peut toujours le calculer en utilisant la loi de réciprocité quadratique, valable pour tous les entiers impairs premiers entre eux. L'intérêt du symbole de Jacobi consiste essentiellement en le...


Test de primalité de Solovay-Strassen

On choisit un entier premier avec $n$. On calcule $a^{(n-1)/2}\ [n]$, puis le symbole de Jacobi $\left(\frac an\right)$. L'entier $n$ satisfait au test si $$a^{(n-1)/2}\equiv \left(\frac an\right)\ [n].$$

D'après un théorème d'Euler, si $n$ est premier, il satisfait au test de Solovay-Strassen pour tout entier $a$. S'il n'est pas premier, on prouve qu'il existe au moins un entier premier avec $n$ sur deux pour lequel $n$ ne satisfait pas le test. Si on effectue $k$ tests successifs, avec des entiers $a$ différents chaque fois choisis au hasard, la probabilité pour que $n$ soit premier s'il satisfait à chacun des tests est de l'ordre de $1-1/2^k$. On utilise ce type de test pour fabriquer les grands nombres premiers nécessaires dans les algorithmes de cryptographie comme le RSA.

Consulter aussi...
Recherche alphabétique
Recherche thématique