Un número primo p tal que 2p + 1 también es primo; el número 2p + 1 se denomina primo seguro correspondiente.

Principio

La idea organizadora es una relación de primalidad por pares: un primo p se reconoce por la primalidad de la función lineal 2p + 1, formando pares de primos vinculados útiles en argumentos multiplicativos y de residuos.

Demostración

Ejemplo concreto: p = 11 es primo y 2·11 + 1 = 23 es primo, por lo que 11 es un primo de Sophie Germain y 23 el primo seguro correspondiente.

Aplicación incorrecta

Uso incorrecto creíble: suponer que si 2p + 1 es primo entonces p debe ser automáticamente un primo de Sophie Germain sin verificar que p es primo; aplicar la noción a bases compuestas (p. ej. tratar 9 porque 2·9+1=19 es primo) es inválido.

Consecuencia

La identificación correcta ofrece pares de primos empleados en construcciones de grupos cíclicos seguros, restringe órdenes posibles en grupos multiplicativos módulo un primo seguro e informa la elección de parámetros en combinatoria y criptografía.

Inversión

El concepto inverso es un primo q tal que (q−1)/2 es primo (un primo seguro), enfatizando el elemento mayor de la pareja en lugar del menor; no todos los primos seguros tienen necesariamente la mitad entera prima sin verificar.

Límite

Ámbito: p debe ser un entero primo y 2p + 1 debe ser primo. Excluye p compuestos y definiciones sobre dominios no enteros; no afirma nada sobre la densidad o infinitud de dichos primos.

Tensión semántica

Tensión semántica con el término 'primo seguro' (el socio mayor) y otros tipos especiales de primos (primos gemelos, seguros) — hay que distinguir qué miembro de la pareja recibe el nombre y cuál propiedad (p primo vs 2p+1 primo) es prioritaria.

Síntesis

Un primo de Sophie Germain es el miembro menor p de un par de primos enlazados (p, 2p+1) donde ambos son primos; la noción captura una restricción lineal de emparejamiento significativa en contextos algebraicos y aritméticos, condicionada a la primalidad de ambos términos.