Un nombre premier p tel que 2p + 1 est lui aussi premier ; le nombre 2p + 1 est appelé le premier sûr correspondant.

Principe

L'idée organisatrice est une relation de primalité par paires : un premier p est caractérisé par la primalité de la fonction linéaire 2p + 1, formant des paires de premiers liées utiles pour les arguments multiplicatifs et de résidus.

Démonstration

Exemple concret : p = 11 est premier et 2·11 + 1 = 23 est premier ; ainsi 11 est un nombre premier de Sophie Germain et 23 le premier sûr correspondant.

Mauvaise application

Usage erroné crédible : supposer que si 2p + 1 est premier alors p est automatiquement un nombre premier de Sophie Germain sans vérifier que p est lui-même premier ; appliquer la notion à des bases composées (par ex. traiter 9 parce que 2·9+1=19 est premier) est invalide.

Conséquence

Une identification correcte fournit des paires de premiers employées dans la construction de groupes cycliques sûrs, contraint les ordres possibles dans les groupes multiplicatifs modulo un premier sûr, et informe le choix de paramètres en combinatoire et cryptographie.

Inversion

Le concept inverse est un premier q tel que (q−1)/2 est premier (un premier sûr), mettant l'accent sur l'élément supérieur de la paire plutôt que sur l'élément inférieur ; tous les premiers sûrs n'ont pas nécessairement un quotient entier premier sans vérification.

Limite

Portée : p doit être un entier premier et 2p + 1 doit être premier. Exclut les p composés et les définitions sur des domaines non entiers ; n'affirme rien sur la densité ou l'infinitude de ces nombres.

Tension sémantique

Tension sémantique avec le terme « premier sûr » (le partenaire supérieur) et d'autres types spéciaux de premiers (jumeaux, sûrs) — il faut distinguer quel élément de la paire est nommé et quelle propriété (p premier vs 2p+1 premier) est prioritaire.

Synthèse

Un nombre premier de Sophie Germain est le plus petit membre p d'une paire de premiers liés (p, 2p+1) où les deux sont premiers ; la notion capture une contrainte linéaire de mise en paire ayant une signification algébrique et arithmétique tout en restant conditionnelle à la primalité des deux termes.