Are there infinite many primes p such that 2p-1 is also prime?












4












$begingroup$


I did a search online and found a similar notion called Sophie Germain prime, which by definition is a prime $p$ such that $2p+1$ is also prime. Sophie Germain primes are conjectured to be of infinite many. I wonder if anyone has thought of the similar question replacing $2p+1$ by $2p-1$.










share|cite|improve this question











$endgroup$








  • 5




    $begingroup$
    Yes, I'm afraid that many people have thought of this, and it is just as unsolved as the $2p+1$ case (it is widely believed that there are infinitely many). Sophie Germain didn't get primes named after her just for asking the question; those primes are named in honour of their role in her work on Fermat's Last Theorem.
    $endgroup$
    – Erick Wong
    Aug 28 '14 at 5:49












  • $begingroup$
    More generally if you take any natural nymber $K>1$ and any non-zero integer $A$ such that $gcd(K,A)=1,$ and ask whether the set of primes $p,$ such that $Kp+A$ is also prime, is an infinite set, the correct answer is "Nobody knows".
    $endgroup$
    – DanielWainfleet
    Sep 2 '18 at 15:06
















4












$begingroup$


I did a search online and found a similar notion called Sophie Germain prime, which by definition is a prime $p$ such that $2p+1$ is also prime. Sophie Germain primes are conjectured to be of infinite many. I wonder if anyone has thought of the similar question replacing $2p+1$ by $2p-1$.










share|cite|improve this question











$endgroup$








  • 5




    $begingroup$
    Yes, I'm afraid that many people have thought of this, and it is just as unsolved as the $2p+1$ case (it is widely believed that there are infinitely many). Sophie Germain didn't get primes named after her just for asking the question; those primes are named in honour of their role in her work on Fermat's Last Theorem.
    $endgroup$
    – Erick Wong
    Aug 28 '14 at 5:49












  • $begingroup$
    More generally if you take any natural nymber $K>1$ and any non-zero integer $A$ such that $gcd(K,A)=1,$ and ask whether the set of primes $p,$ such that $Kp+A$ is also prime, is an infinite set, the correct answer is "Nobody knows".
    $endgroup$
    – DanielWainfleet
    Sep 2 '18 at 15:06














4












4








4


0



$begingroup$


I did a search online and found a similar notion called Sophie Germain prime, which by definition is a prime $p$ such that $2p+1$ is also prime. Sophie Germain primes are conjectured to be of infinite many. I wonder if anyone has thought of the similar question replacing $2p+1$ by $2p-1$.










share|cite|improve this question











$endgroup$




I did a search online and found a similar notion called Sophie Germain prime, which by definition is a prime $p$ such that $2p+1$ is also prime. Sophie Germain primes are conjectured to be of infinite many. I wonder if anyone has thought of the similar question replacing $2p+1$ by $2p-1$.







number-theory prime-numbers






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 28 '14 at 5:11









Martin Sleziak

44.8k10119273




44.8k10119273










asked Aug 28 '14 at 5:09









Li LiLi Li

241




241








  • 5




    $begingroup$
    Yes, I'm afraid that many people have thought of this, and it is just as unsolved as the $2p+1$ case (it is widely believed that there are infinitely many). Sophie Germain didn't get primes named after her just for asking the question; those primes are named in honour of their role in her work on Fermat's Last Theorem.
    $endgroup$
    – Erick Wong
    Aug 28 '14 at 5:49












  • $begingroup$
    More generally if you take any natural nymber $K>1$ and any non-zero integer $A$ such that $gcd(K,A)=1,$ and ask whether the set of primes $p,$ such that $Kp+A$ is also prime, is an infinite set, the correct answer is "Nobody knows".
    $endgroup$
    – DanielWainfleet
    Sep 2 '18 at 15:06














  • 5




    $begingroup$
    Yes, I'm afraid that many people have thought of this, and it is just as unsolved as the $2p+1$ case (it is widely believed that there are infinitely many). Sophie Germain didn't get primes named after her just for asking the question; those primes are named in honour of their role in her work on Fermat's Last Theorem.
    $endgroup$
    – Erick Wong
    Aug 28 '14 at 5:49












  • $begingroup$
    More generally if you take any natural nymber $K>1$ and any non-zero integer $A$ such that $gcd(K,A)=1,$ and ask whether the set of primes $p,$ such that $Kp+A$ is also prime, is an infinite set, the correct answer is "Nobody knows".
    $endgroup$
    – DanielWainfleet
    Sep 2 '18 at 15:06








5




5




$begingroup$
Yes, I'm afraid that many people have thought of this, and it is just as unsolved as the $2p+1$ case (it is widely believed that there are infinitely many). Sophie Germain didn't get primes named after her just for asking the question; those primes are named in honour of their role in her work on Fermat's Last Theorem.
$endgroup$
– Erick Wong
Aug 28 '14 at 5:49






$begingroup$
Yes, I'm afraid that many people have thought of this, and it is just as unsolved as the $2p+1$ case (it is widely believed that there are infinitely many). Sophie Germain didn't get primes named after her just for asking the question; those primes are named in honour of their role in her work on Fermat's Last Theorem.
$endgroup$
– Erick Wong
Aug 28 '14 at 5:49














$begingroup$
More generally if you take any natural nymber $K>1$ and any non-zero integer $A$ such that $gcd(K,A)=1,$ and ask whether the set of primes $p,$ such that $Kp+A$ is also prime, is an infinite set, the correct answer is "Nobody knows".
$endgroup$
– DanielWainfleet
Sep 2 '18 at 15:06




$begingroup$
More generally if you take any natural nymber $K>1$ and any non-zero integer $A$ such that $gcd(K,A)=1,$ and ask whether the set of primes $p,$ such that $Kp+A$ is also prime, is an infinite set, the correct answer is "Nobody knows".
$endgroup$
– DanielWainfleet
Sep 2 '18 at 15:06










2 Answers
2






active

oldest

votes


















0












$begingroup$

I have managed to find a proof such that all Sophie Germain primes are of the prime form $6n-1$, but have failed to get further. My proof is:



If the primes created by the formula $2x + 1$ equals the prime type $4y + 1$, the equation of $2x + 1 = 4y + 1$ is created, which simplifies to $x = 2y$. But as $x$ is prime, $x$ cannot equal anything but $2$. Therefore, the Germain safe primes are of the prime type $4y – 1$. This creates the equation $2x + 1 = 4y – 1$, which simplifies to $x = 2y - 1$. That means both $4y – 1$ and $2y – 1$ needs to be prime.



This will never be true of the values of $y$ that are of the formula $3n + 2$, excluding $2$. This is because the first value of $y$ in the equation $2y – 1 (5)$ makes $9$, and each new term in the sequence is the last term $+ 2$. After $3$ places, you add $6$, making a new multiple of $3$.



This leads the terms in the formula $3n$. Let us substitute $y$ for $3n$. $2(3n) – 1$ simplifies to $6n – 1$. For $3n – 1$, the other formula, you produce $6n + 1$.



For hypothetical $6n + 1$ Germain primes, the safe prime would be $12n + 3$. As terms from the formula $12n + 3$ will always divide by three, the only possible Germain prime is where $n = 0$. As the Germain "prime" would be $1$, and as $1$ is not prime, there are no safe primes of the formula $12n + 3$. Therefore, all Germain primes must be from the formula $6n - 1$.






share|cite|improve this answer











$endgroup$









  • 1




    $begingroup$
    Every odd prime is of the form $6npm 1$ except for the prime $3.$ If the prime $p$ is greater than $3$ and $p=6n+1$ then $2p+1=12n+3=3(4n+1),$ which is $>3$ and divisible by $3,$ so is not prime..... On the other hand, $3 $ $is$ a Germain prime.
    $endgroup$
    – DanielWainfleet
    Sep 2 '18 at 15:14



















0












$begingroup$

These primes are tabulated at http://oeis.org/A005382

They don't seem to have a name, though they are related to Cunningham chains.






share|cite|improve this answer











$endgroup$













    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "69"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f911690%2fare-there-infinite-many-primes-p-such-that-2p-1-is-also-prime%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    0












    $begingroup$

    I have managed to find a proof such that all Sophie Germain primes are of the prime form $6n-1$, but have failed to get further. My proof is:



    If the primes created by the formula $2x + 1$ equals the prime type $4y + 1$, the equation of $2x + 1 = 4y + 1$ is created, which simplifies to $x = 2y$. But as $x$ is prime, $x$ cannot equal anything but $2$. Therefore, the Germain safe primes are of the prime type $4y – 1$. This creates the equation $2x + 1 = 4y – 1$, which simplifies to $x = 2y - 1$. That means both $4y – 1$ and $2y – 1$ needs to be prime.



    This will never be true of the values of $y$ that are of the formula $3n + 2$, excluding $2$. This is because the first value of $y$ in the equation $2y – 1 (5)$ makes $9$, and each new term in the sequence is the last term $+ 2$. After $3$ places, you add $6$, making a new multiple of $3$.



    This leads the terms in the formula $3n$. Let us substitute $y$ for $3n$. $2(3n) – 1$ simplifies to $6n – 1$. For $3n – 1$, the other formula, you produce $6n + 1$.



    For hypothetical $6n + 1$ Germain primes, the safe prime would be $12n + 3$. As terms from the formula $12n + 3$ will always divide by three, the only possible Germain prime is where $n = 0$. As the Germain "prime" would be $1$, and as $1$ is not prime, there are no safe primes of the formula $12n + 3$. Therefore, all Germain primes must be from the formula $6n - 1$.






    share|cite|improve this answer











    $endgroup$









    • 1




      $begingroup$
      Every odd prime is of the form $6npm 1$ except for the prime $3.$ If the prime $p$ is greater than $3$ and $p=6n+1$ then $2p+1=12n+3=3(4n+1),$ which is $>3$ and divisible by $3,$ so is not prime..... On the other hand, $3 $ $is$ a Germain prime.
      $endgroup$
      – DanielWainfleet
      Sep 2 '18 at 15:14
















    0












    $begingroup$

    I have managed to find a proof such that all Sophie Germain primes are of the prime form $6n-1$, but have failed to get further. My proof is:



    If the primes created by the formula $2x + 1$ equals the prime type $4y + 1$, the equation of $2x + 1 = 4y + 1$ is created, which simplifies to $x = 2y$. But as $x$ is prime, $x$ cannot equal anything but $2$. Therefore, the Germain safe primes are of the prime type $4y – 1$. This creates the equation $2x + 1 = 4y – 1$, which simplifies to $x = 2y - 1$. That means both $4y – 1$ and $2y – 1$ needs to be prime.



    This will never be true of the values of $y$ that are of the formula $3n + 2$, excluding $2$. This is because the first value of $y$ in the equation $2y – 1 (5)$ makes $9$, and each new term in the sequence is the last term $+ 2$. After $3$ places, you add $6$, making a new multiple of $3$.



    This leads the terms in the formula $3n$. Let us substitute $y$ for $3n$. $2(3n) – 1$ simplifies to $6n – 1$. For $3n – 1$, the other formula, you produce $6n + 1$.



    For hypothetical $6n + 1$ Germain primes, the safe prime would be $12n + 3$. As terms from the formula $12n + 3$ will always divide by three, the only possible Germain prime is where $n = 0$. As the Germain "prime" would be $1$, and as $1$ is not prime, there are no safe primes of the formula $12n + 3$. Therefore, all Germain primes must be from the formula $6n - 1$.






    share|cite|improve this answer











    $endgroup$









    • 1




      $begingroup$
      Every odd prime is of the form $6npm 1$ except for the prime $3.$ If the prime $p$ is greater than $3$ and $p=6n+1$ then $2p+1=12n+3=3(4n+1),$ which is $>3$ and divisible by $3,$ so is not prime..... On the other hand, $3 $ $is$ a Germain prime.
      $endgroup$
      – DanielWainfleet
      Sep 2 '18 at 15:14














    0












    0








    0





    $begingroup$

    I have managed to find a proof such that all Sophie Germain primes are of the prime form $6n-1$, but have failed to get further. My proof is:



    If the primes created by the formula $2x + 1$ equals the prime type $4y + 1$, the equation of $2x + 1 = 4y + 1$ is created, which simplifies to $x = 2y$. But as $x$ is prime, $x$ cannot equal anything but $2$. Therefore, the Germain safe primes are of the prime type $4y – 1$. This creates the equation $2x + 1 = 4y – 1$, which simplifies to $x = 2y - 1$. That means both $4y – 1$ and $2y – 1$ needs to be prime.



    This will never be true of the values of $y$ that are of the formula $3n + 2$, excluding $2$. This is because the first value of $y$ in the equation $2y – 1 (5)$ makes $9$, and each new term in the sequence is the last term $+ 2$. After $3$ places, you add $6$, making a new multiple of $3$.



    This leads the terms in the formula $3n$. Let us substitute $y$ for $3n$. $2(3n) – 1$ simplifies to $6n – 1$. For $3n – 1$, the other formula, you produce $6n + 1$.



    For hypothetical $6n + 1$ Germain primes, the safe prime would be $12n + 3$. As terms from the formula $12n + 3$ will always divide by three, the only possible Germain prime is where $n = 0$. As the Germain "prime" would be $1$, and as $1$ is not prime, there are no safe primes of the formula $12n + 3$. Therefore, all Germain primes must be from the formula $6n - 1$.






    share|cite|improve this answer











    $endgroup$



    I have managed to find a proof such that all Sophie Germain primes are of the prime form $6n-1$, but have failed to get further. My proof is:



    If the primes created by the formula $2x + 1$ equals the prime type $4y + 1$, the equation of $2x + 1 = 4y + 1$ is created, which simplifies to $x = 2y$. But as $x$ is prime, $x$ cannot equal anything but $2$. Therefore, the Germain safe primes are of the prime type $4y – 1$. This creates the equation $2x + 1 = 4y – 1$, which simplifies to $x = 2y - 1$. That means both $4y – 1$ and $2y – 1$ needs to be prime.



    This will never be true of the values of $y$ that are of the formula $3n + 2$, excluding $2$. This is because the first value of $y$ in the equation $2y – 1 (5)$ makes $9$, and each new term in the sequence is the last term $+ 2$. After $3$ places, you add $6$, making a new multiple of $3$.



    This leads the terms in the formula $3n$. Let us substitute $y$ for $3n$. $2(3n) – 1$ simplifies to $6n – 1$. For $3n – 1$, the other formula, you produce $6n + 1$.



    For hypothetical $6n + 1$ Germain primes, the safe prime would be $12n + 3$. As terms from the formula $12n + 3$ will always divide by three, the only possible Germain prime is where $n = 0$. As the Germain "prime" would be $1$, and as $1$ is not prime, there are no safe primes of the formula $12n + 3$. Therefore, all Germain primes must be from the formula $6n - 1$.







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    edited Aug 31 '18 at 10:59









    Björn Friedrich

    2,68461831




    2,68461831










    answered Aug 31 '18 at 10:05









    mngimngi

    94




    94








    • 1




      $begingroup$
      Every odd prime is of the form $6npm 1$ except for the prime $3.$ If the prime $p$ is greater than $3$ and $p=6n+1$ then $2p+1=12n+3=3(4n+1),$ which is $>3$ and divisible by $3,$ so is not prime..... On the other hand, $3 $ $is$ a Germain prime.
      $endgroup$
      – DanielWainfleet
      Sep 2 '18 at 15:14














    • 1




      $begingroup$
      Every odd prime is of the form $6npm 1$ except for the prime $3.$ If the prime $p$ is greater than $3$ and $p=6n+1$ then $2p+1=12n+3=3(4n+1),$ which is $>3$ and divisible by $3,$ so is not prime..... On the other hand, $3 $ $is$ a Germain prime.
      $endgroup$
      – DanielWainfleet
      Sep 2 '18 at 15:14








    1




    1




    $begingroup$
    Every odd prime is of the form $6npm 1$ except for the prime $3.$ If the prime $p$ is greater than $3$ and $p=6n+1$ then $2p+1=12n+3=3(4n+1),$ which is $>3$ and divisible by $3,$ so is not prime..... On the other hand, $3 $ $is$ a Germain prime.
    $endgroup$
    – DanielWainfleet
    Sep 2 '18 at 15:14




    $begingroup$
    Every odd prime is of the form $6npm 1$ except for the prime $3.$ If the prime $p$ is greater than $3$ and $p=6n+1$ then $2p+1=12n+3=3(4n+1),$ which is $>3$ and divisible by $3,$ so is not prime..... On the other hand, $3 $ $is$ a Germain prime.
    $endgroup$
    – DanielWainfleet
    Sep 2 '18 at 15:14











    0












    $begingroup$

    These primes are tabulated at http://oeis.org/A005382

    They don't seem to have a name, though they are related to Cunningham chains.






    share|cite|improve this answer











    $endgroup$


















      0












      $begingroup$

      These primes are tabulated at http://oeis.org/A005382

      They don't seem to have a name, though they are related to Cunningham chains.






      share|cite|improve this answer











      $endgroup$
















        0












        0








        0





        $begingroup$

        These primes are tabulated at http://oeis.org/A005382

        They don't seem to have a name, though they are related to Cunningham chains.






        share|cite|improve this answer











        $endgroup$



        These primes are tabulated at http://oeis.org/A005382

        They don't seem to have a name, though they are related to Cunningham chains.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Sep 2 '18 at 7:44

























        answered Aug 31 '18 at 10:15









        Gerry MyersonGerry Myerson

        147k8149302




        147k8149302






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f911690%2fare-there-infinite-many-primes-p-such-that-2p-1-is-also-prime%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            MongoDB - Not Authorized To Execute Command

            How to fix TextFormField cause rebuild widget in Flutter

            in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith