Eine Primzahl p derart, dass 2p + 1 ebenfalls prim ist; die Zahl 2p + 1 wird als die zugehörige sichere Primzahl bezeichnet.

Prinzip

Das ordnende Prinzip ist eine paarweise Primalitätsrelation: Die Primzahl p wird durch die Primalität der linearen Abbildung 2p + 1 erkannt, wodurch verbundene Primzahlpaare entstehen, die in multiplikativen und Restklassenargumenten nützlich sind.

Demonstration

Konkretes Beispiel: p = 11 ist prim und 2·11 + 1 = 23 ist prim, also ist 11 eine Sophie Germain-Primzahl und 23 die zugehörige sichere Primzahl.

Fehlanwendung

Glaubhafte Fehlanwendung ist anzunehmen, dass wenn 2p + 1 prim ist, p in jedem Kontext automatisch eine Sophie Germain-Primzahl sei, ohne zu prüfen, ob p selbst prim ist; die Anwendung auf zusammengesetzte Basen (z. B. 9, weil 2·9+1=19 prim) ist ungültig.

Konsequenz

Die korrekte Identifikation liefert gekoppelte Primzahlen, die bei Konstruktionen sicherer zyklischer Gruppen verwendet werden, schränkt mögliche Ordnungen in multiplikativen Gruppen modulo sicherer Primzahlen ein und beeinflusst Parameterwahl in kombinatorischen und kryptographischen Anwendungen.

Umkehrung

Die Umkehrung ist eine Primzahl q, für die (q−1)/2 prim ist (eine sichere Primzahl), wobei das größere Element des Paares statt des kleineren betont wird; nicht jede sichere Primzahl hat ohne Prüfung eine halbierende Primzahl.

Abgrenzung

Geltungsbereich: p muss eine ganze Primzahl sein und 2p + 1 muss prim sein. Ausgeschlossen sind zusammengesetzte p und Definitionen über nicht-integren Ringen; es wird nichts über Dichte oder Unendlichkeit solcher Primzahlen ausgesagt.

Semantische Spannung

Begriffsnahe Spannung besteht gegenüber dem Begriff 'sichere Primzahl' (dem größeren Partner) und anderen Spezialprimzahlen (Zwillingsprimzahlen usw.) — man muss unterscheiden, welches Paarglied benannt wird und welche Eigenschaft (p prim versus 2p+1 prim) zentral ist.

Synthese

Eine Sophie Germain-Primzahl ist das kleinere Element p eines verbundenen Primzahlpaares (p, 2p+1), wobei beide Primzahlen sind; der Begriff fasst eine lineare Kopplungsbedingung zusammen, die arithmetisch und algebraisch relevant, aber strikt an die Primalität beider Terme gebunden ist.