The Top Twenty--a Prime Page Collection

Sophie Germain (p)

This page : Definition(s) | Records | References | Related Pages | RSS 2.0 Feed
  View this page in:   language help
The Prime Pages keeps a list of the 5000 largest known primes, plus a few each of certain selected archivable forms and classes. These forms are defined in this collection's home page. This page is about one of those forms. Comments and suggestions requested.

(up) Definitions and Notes

If both p and 2p+1 are prime, then p is a Sophie Germain prime. The first few Sophie Germain primes are 2, 3, 5, 11, 23, 29, 41, 53, 83, 89, 113, and 131. Around 1825 Sophie Germain proved that the first case of Fermat's Last Theorem is true for such primes. Soon after Legendre began to generalize this by showing the first case of FLT also holds for odd primes p such that kp+1 is prime, k=4, 8, 10, 14 and 16. In 1991 Fee and Granville [FG91] extended this to k<100, k not a multiple of three. Many similar results were also shown, but now that Fermat's Last Theorem has been proven by Wiles, they are of less interest.

Are there infinitely many Sophie Germain primes? Ribenboim indicates that the sieve method's of Brun (see the twin primes page) can be used to estimate that the number of primes p < x for which kp+a is prime is bounded above by C x/(log x)2 (so they have density zero among the primes). Heuristically, it seems reasonable to conjecture that there is a lower bound of this form as well. More specifically (see a simple heuristic), it is conjectured that the number of Sophie Germain primes less than N is asympototic to

where C2 is the twin prime constant (estimated by Wrench and others to be approximately 0.6601618158...). This estimate works suprisingly well! For example:

The number of Sophie Germain
primes less than N
Nactualestimate
1,00037 39
100,0001171 1166
10,000,00056032 56128
100,000,000423140 423295
1,000,000,0003308859 3307888
10,000,000,00026569515 26568824

Euler and Lagrange proved that if we also have p = 3 (mod 4) and p > 3, then 2p+1 is prime (and p is a Sophie Germain prime) if and only if 2p+1 divides the Mersenne Mp.

(Thanks to Chip Kerchner for the last two entries in the table above.)

(up) Record Primes of this Type

rankprime digitswhowhencomment
148047305725 · 2172403-1 51910 L99 Jan 2007 Sophie Germain (p)
2137211941292195 · 2171960-1 51780 x24 May 2006 Sophie Germain (p)
37068555 · 2121301-1 36523 L100 Jan 2005 Sophie Germain (p)
42540041185 · 2114729-1 34547 g294 Jan 2003 Sophie Germain (p)
51124044292325 · 2107999-1 32523 L99 Dec 2006 Sophie Germain (p)
6112886032245 · 2108000-1 32523 L99 Dec 2006 Sophie Germain (p)
718912879 · 298395-1 29628 p94 Nov 2002 Sophie Germain (p)
810495740081 · 283125-1 25034 L99 Feb 2006 Sophie Germain (p)
961078155 · 282002-1 24693 L99 Feb 2006 Sophie Germain (p)
101213822389 · 281131-1 24432 g250 Aug 2002 Sophie Germain (p)
112566851867 · 270001-1 21082 L109 Jun 2007 Sophie Germain (p)
121040131975 · 266458+1 20015 g258 Feb 2007 Sophie Germain (p)
13109433307 · 266452-1 20013 g205 Feb 2001 Sophie Germain (p)
14984798015 · 266444-1 20011 g205 Mar 2001 Sophie Germain (p)
153714089895285 · 260000-1 18075 IJW Mar 2000 Sophie Germain (p)
163379174665 · 258502-1 17621 L402 Jan 2008 Sophie Germain (p)
17909004827 · 256789-1 17105 g336 Mar 2005 Sophie Germain (p)
181162665081 · 255649-1 16762 L6 May 2004 Sophie Germain (p)
19790717071 · 254254-1 16341 L25 Jan 2007 Sophie Germain (p)
204127632557 · 250001-1 15062 L109 Jun 2007 Sophie Germain (p)

(up) Related Pages

(up) References

Dubner96
H. Dubner, "Large Sophie Germain primes," Math. Comp., 65:213 (1996) 393--396.  MR 96d:11008 (Abstract available)
Ribenboim95
P. Ribenboim, The new book of prime number records, 3rd edition, Springer-Verlag, New York, NY, pp. xxiv+541, ISBN 0-387-94457-5. 1995.  MR 96k:11112 [An excellent resource for those with some college mathematics. Basically a Guinness Book of World Records for primes with much of the relevant mathematics. The extensive bibliography is seventy-five pages.]
Chris Caldwell © 1996-2008 (all rights reserved)