Racine primitive modulo n

Si n est un entier strictement positif, les nombres premiers avec n, pris modulo n, forment un groupe pour la multiplication, noté (Z/nZ)^× ou Z_n^×. Ce groupe est cyclique si et seulement si n est égal à 4 ou p^k ou 2p^k pour un nombre premier p ≥ 3 et k ≥ 0^[2]. Un générateur de ce groupe cyclique est appelé une racine primitive modulo n, ou un élément primitif^[3] de Z_n^×. Une racine primitive modulo n est donc un entier g tel que tout inversible dans Z/nZ est une puissance de g modulo n.

Prenons par exemple n = 14. Les éléments de (Z/14Z)^× sont les classes de congruence 1, 3, 5, 9, 11 et 13. Donc 3 est une racine primitive modulo 14, et l'on a 3² ≡ 9, 3³ ≡ 13, 3⁴ ≡ 11, 3⁵ ≡ 5 et 3⁶ ≡ 1 (modulo 14). La seule autre racine primitive modulo 14 est 5.

Voici une table contenant les plus petites racines primitives pour quelques valeurs de n (suite A046145 de l'OEIS) :

Voici une table donnant les plus petites racines primitives r modulo les nombres premiers p inférieurs à 1 000 (suite A001918 de l'OEIS)^[4] :

On ne connaît aucune formule générale simple pour calculer les racines primitives modulo n. Il existe cependant une méthode pour tester si un entier m est racine primitive mod n — c'est-à-dire si son ordre multiplicatif modulo n est égal à φ(n) (l'ordre de Z_n^×) — qui est plus rapide qu'un simple calcul mod n de toutes ses puissances successives jusqu'à l'exposant φ(n) :

On a au préalable calculé φ(n) et déterminé ses diviseurs premiers, soit p₁,...,p_k. On vérifie qu'aucun ne divise m. Ensuite, on calcule ${\displaystyle m^{\varphi (n)/p_{i}}\mod n\qquad {\mbox{ pour }}i=1,\ldots ,k}$ en utilisant par exemple la méthode d'exponentiation rapide. L'entier m est une racine primitive si et seulement si ces k résultats sont tous différents de 1.