{"id":23360,"date":"2013-06-20T10:00:28","date_gmt":"2013-06-20T14:00:28","guid":{"rendered":"http:\/\/blogs.ams.org\/mathgradblog\/?p=23360"},"modified":"2014-07-02T10:04:35","modified_gmt":"2014-07-02T15:04:35","slug":"conjecture-marie-sophie-germain","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/mathgradblog\/2013\/06\/20\/conjecture-marie-sophie-germain\/","title":{"rendered":"The Conjecture of Marie-Sophie Germain"},"content":{"rendered":"<p style=\"text-align: left\"><a href=\"http:\/\/blogs.ams.org\/mathgradblog\/files\/2013\/06\/images-11.jpeg\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-23366 alignleft\" src=\"http:\/\/blogs.ams.org\/mathgradblog\/files\/2013\/06\/images-11.jpeg\" alt=\"images-1\" width=\"113\" height=\"161\" \/><\/a>Numbers pervade our lives in many different venues.\u00a0 Prime numbers, in particular, weave their way into the very fabric of our daily existence.\u00a0\u00a0 From surfing the internet to pseudo-random number generators, primes are found ever present behind a multitude of abstractions.\u00a0\u00a0\u00a0 A prime number is a positive integer such that it is only divisible by one and itself.\u00a0 In light of this definition, the number one is not considered a prime.<\/p>\n<p style=\"text-align: left\"><!--more--><\/p>\n<p>Though the properties of prime numbers are well defined, they are still very much mysterious.\u00a0\u00a0\u00a0 For instance, it becomes very ambiguous to calculate where a prime number will occur in a set of very large integers in a sequence.\u00a0 \u00a0Around 300 B.C., Euclid proved that there exists infinitely many prime numbers.\u00a0 This was not intuitive at first, because as numbers become larger, prime numbers become more \u201crare\u201d.\u00a0 His proof is simple.\u00a0 Basically, he assumed that there exists a last prime number <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=P&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"P\" class=\"latex\" \/>. \u00a0\u00a0Then, he further reasoned, that <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=P&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"P\" class=\"latex\" \/> and all of the prime numbers less than <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=P&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"P\" class=\"latex\" \/> multiplied together form a composite number <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=N&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"N\" class=\"latex\" \/>.\u00a0\u00a0 Therefore, he added one to <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=N&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"N\" class=\"latex\" \/>, <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=N%2B1&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"N+1\" class=\"latex\" \/>, to form a new integer that is not divisible by any prime number less than it.\u00a0 Consequently, this shows that <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=N%2B1&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"N+1\" class=\"latex\" \/> is a prime number by definition, which is proof by contradiction that there exist infinitely many primes.<\/p>\n<p>Many famous open problems in Number Theory (a major subfield of mathematics) are related to the nature of prime numbers. \u00a0\u00a0The nineteenth century French mathematician Marie-Sophie Germain was an originator of one such problem.\u00a0 \u00a0\u00a0She postulated a conjecture that was related to a special set of prime numbers that later became known as Sophie-Germain Primes.\u00a0 A Sophie-Germain Prime is a prime number <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=P&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"P\" class=\"latex\" \/> such that <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=2P%2B1&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"2P+1\" class=\"latex\" \/> is also a prime.\u00a0 For example, <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=2&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"2\" class=\"latex\" \/> is a prime and <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=2%282%29%2B1+%3D+5&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"2(2)+1 = 5\" class=\"latex\" \/> \u00a0is also a prime, making <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=2&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"2\" class=\"latex\" \/> a Sophie-Germain Prime.\u00a0 \u00a0\u00a0Like Euclid with the regular prime numbers, the conjecture poses the question: \u00a0Are there infinitely many Sophie-Germain Primes?<\/p>\n<p>A quick search on the internet will yield the current research and computational results related to the conjecture. \u00a0\u00a0\u00a0It would be interesting to see the emergence of a clever elementary proof like the one Euclid provided for the infinitude of regular primes.\u00a0 One could imagine the elegance of such a solution.\u00a0\u00a0How would you approach it?<\/p>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" ><\/div>","protected":false},"excerpt":{"rendered":"<p>Numbers pervade our lives in many different venues.\u00a0 Prime numbers, in particular, weave their way into the very fabric of our daily existence.\u00a0\u00a0 From surfing the internet to pseudo-random number generators, primes are found ever present behind a multitude of &hellip; <a href=\"https:\/\/blogs.ams.org\/mathgradblog\/2013\/06\/20\/conjecture-marie-sophie-germain\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" data-url=https:\/\/blogs.ams.org\/mathgradblog\/2013\/06\/20\/conjecture-marie-sophie-germain\/><\/div>\n","protected":false},"author":60,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[1],"tags":[],"class_list":["post-23360","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p3gbww-64M","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/posts\/23360","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/users\/60"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/comments?post=23360"}],"version-history":[{"count":18,"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/posts\/23360\/revisions"}],"predecessor-version":[{"id":24977,"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/posts\/23360\/revisions\/24977"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/media?parent=23360"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/categories?post=23360"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/tags?post=23360"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}