Is there an elliptic curve mod n with exactly one point?











up vote
3
down vote

favorite
1












I have tried many elliptic curves $y^2 = x^3 + ax +b$ with no success. I know that for prime modules there exists a minimum number of points the elliptic curve has to have, and I couldn't satisfy this for the smallest primes. So I decided to try luck with modules with few quadratic residues such as 8. But again, no luck.










share|cite|improve this question


















  • 1




    Do you know Hensel's lemma?
    – Servaes
    Nov 16 at 18:10






  • 4




    There is an elliptic curve modulo $2$ with just one point defined over the integers modulo $2$. Being of characteristic two, one cannot write its equation as $y^2=x^3+ax+b$.
    – Lord Shark the Unknown
    Nov 16 at 18:14










  • If $p | n, p^2 nmid n$ then let $e_p equiv 1 bmod p, e_p equiv 0 bmod frac{n}{p}$, the map $(x,y) mapsto (e_p x,e_p y)$ is an embedding $E/(mathbb{Z}/pmathbb{Z}) to E/(mathbb{Z}/nmathbb{Z})$, the former being well-understood in term of the characteristic polynomial of the Frobenius.
    – reuns
    Nov 16 at 19:30












  • @LordSharktheUnknown Why not? Is there a way to write it down then?
    – SlowerPhoton
    Nov 16 at 20:31










  • @Servaes No, reading it now.
    – SlowerPhoton
    Nov 16 at 20:31















up vote
3
down vote

favorite
1












I have tried many elliptic curves $y^2 = x^3 + ax +b$ with no success. I know that for prime modules there exists a minimum number of points the elliptic curve has to have, and I couldn't satisfy this for the smallest primes. So I decided to try luck with modules with few quadratic residues such as 8. But again, no luck.










share|cite|improve this question


















  • 1




    Do you know Hensel's lemma?
    – Servaes
    Nov 16 at 18:10






  • 4




    There is an elliptic curve modulo $2$ with just one point defined over the integers modulo $2$. Being of characteristic two, one cannot write its equation as $y^2=x^3+ax+b$.
    – Lord Shark the Unknown
    Nov 16 at 18:14










  • If $p | n, p^2 nmid n$ then let $e_p equiv 1 bmod p, e_p equiv 0 bmod frac{n}{p}$, the map $(x,y) mapsto (e_p x,e_p y)$ is an embedding $E/(mathbb{Z}/pmathbb{Z}) to E/(mathbb{Z}/nmathbb{Z})$, the former being well-understood in term of the characteristic polynomial of the Frobenius.
    – reuns
    Nov 16 at 19:30












  • @LordSharktheUnknown Why not? Is there a way to write it down then?
    – SlowerPhoton
    Nov 16 at 20:31










  • @Servaes No, reading it now.
    – SlowerPhoton
    Nov 16 at 20:31













up vote
3
down vote

favorite
1









up vote
3
down vote

favorite
1






1





I have tried many elliptic curves $y^2 = x^3 + ax +b$ with no success. I know that for prime modules there exists a minimum number of points the elliptic curve has to have, and I couldn't satisfy this for the smallest primes. So I decided to try luck with modules with few quadratic residues such as 8. But again, no luck.










share|cite|improve this question













I have tried many elliptic curves $y^2 = x^3 + ax +b$ with no success. I know that for prime modules there exists a minimum number of points the elliptic curve has to have, and I couldn't satisfy this for the smallest primes. So I decided to try luck with modules with few quadratic residues such as 8. But again, no luck.







elliptic-curves






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Nov 16 at 18:04









SlowerPhoton

386111




386111








  • 1




    Do you know Hensel's lemma?
    – Servaes
    Nov 16 at 18:10






  • 4




    There is an elliptic curve modulo $2$ with just one point defined over the integers modulo $2$. Being of characteristic two, one cannot write its equation as $y^2=x^3+ax+b$.
    – Lord Shark the Unknown
    Nov 16 at 18:14










  • If $p | n, p^2 nmid n$ then let $e_p equiv 1 bmod p, e_p equiv 0 bmod frac{n}{p}$, the map $(x,y) mapsto (e_p x,e_p y)$ is an embedding $E/(mathbb{Z}/pmathbb{Z}) to E/(mathbb{Z}/nmathbb{Z})$, the former being well-understood in term of the characteristic polynomial of the Frobenius.
    – reuns
    Nov 16 at 19:30












  • @LordSharktheUnknown Why not? Is there a way to write it down then?
    – SlowerPhoton
    Nov 16 at 20:31










  • @Servaes No, reading it now.
    – SlowerPhoton
    Nov 16 at 20:31














  • 1




    Do you know Hensel's lemma?
    – Servaes
    Nov 16 at 18:10






  • 4




    There is an elliptic curve modulo $2$ with just one point defined over the integers modulo $2$. Being of characteristic two, one cannot write its equation as $y^2=x^3+ax+b$.
    – Lord Shark the Unknown
    Nov 16 at 18:14










  • If $p | n, p^2 nmid n$ then let $e_p equiv 1 bmod p, e_p equiv 0 bmod frac{n}{p}$, the map $(x,y) mapsto (e_p x,e_p y)$ is an embedding $E/(mathbb{Z}/pmathbb{Z}) to E/(mathbb{Z}/nmathbb{Z})$, the former being well-understood in term of the characteristic polynomial of the Frobenius.
    – reuns
    Nov 16 at 19:30












  • @LordSharktheUnknown Why not? Is there a way to write it down then?
    – SlowerPhoton
    Nov 16 at 20:31










  • @Servaes No, reading it now.
    – SlowerPhoton
    Nov 16 at 20:31








1




1




Do you know Hensel's lemma?
– Servaes
Nov 16 at 18:10




Do you know Hensel's lemma?
– Servaes
Nov 16 at 18:10




4




4




There is an elliptic curve modulo $2$ with just one point defined over the integers modulo $2$. Being of characteristic two, one cannot write its equation as $y^2=x^3+ax+b$.
– Lord Shark the Unknown
Nov 16 at 18:14




There is an elliptic curve modulo $2$ with just one point defined over the integers modulo $2$. Being of characteristic two, one cannot write its equation as $y^2=x^3+ax+b$.
– Lord Shark the Unknown
Nov 16 at 18:14












If $p | n, p^2 nmid n$ then let $e_p equiv 1 bmod p, e_p equiv 0 bmod frac{n}{p}$, the map $(x,y) mapsto (e_p x,e_p y)$ is an embedding $E/(mathbb{Z}/pmathbb{Z}) to E/(mathbb{Z}/nmathbb{Z})$, the former being well-understood in term of the characteristic polynomial of the Frobenius.
– reuns
Nov 16 at 19:30






If $p | n, p^2 nmid n$ then let $e_p equiv 1 bmod p, e_p equiv 0 bmod frac{n}{p}$, the map $(x,y) mapsto (e_p x,e_p y)$ is an embedding $E/(mathbb{Z}/pmathbb{Z}) to E/(mathbb{Z}/nmathbb{Z})$, the former being well-understood in term of the characteristic polynomial of the Frobenius.
– reuns
Nov 16 at 19:30














@LordSharktheUnknown Why not? Is there a way to write it down then?
– SlowerPhoton
Nov 16 at 20:31




@LordSharktheUnknown Why not? Is there a way to write it down then?
– SlowerPhoton
Nov 16 at 20:31












@Servaes No, reading it now.
– SlowerPhoton
Nov 16 at 20:31




@Servaes No, reading it now.
– SlowerPhoton
Nov 16 at 20:31










2 Answers
2






active

oldest

votes

















up vote
2
down vote



accepted










The answer is: $y^2 + y = x^3 + x +1 pmod{2}$. The only element here is the point in infinity: the neutral element.






share|cite|improve this answer




























    up vote
    2
    down vote













    You can also construct an answer mod 3 (which is in short weierstrass form) as follows:



    For all $x in mathbf Z/3mathbf Z$ we know by Fermat's little theorem that $x^3 = x$, therefore the polynomial $x^3 - x + 2$ always takes the value $2$ on elements of $mathbf Z/3 mathbf Z$, as 2 is not a square in this ring the curve



    $$y^2= x^3 - x + 2$$



    has no non-infinite points.






    share|cite|improve this answer





















      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',
      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%2f3001457%2fis-there-an-elliptic-curve-mod-n-with-exactly-one-point%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








      up vote
      2
      down vote



      accepted










      The answer is: $y^2 + y = x^3 + x +1 pmod{2}$. The only element here is the point in infinity: the neutral element.






      share|cite|improve this answer

























        up vote
        2
        down vote



        accepted










        The answer is: $y^2 + y = x^3 + x +1 pmod{2}$. The only element here is the point in infinity: the neutral element.






        share|cite|improve this answer























          up vote
          2
          down vote



          accepted







          up vote
          2
          down vote



          accepted






          The answer is: $y^2 + y = x^3 + x +1 pmod{2}$. The only element here is the point in infinity: the neutral element.






          share|cite|improve this answer












          The answer is: $y^2 + y = x^3 + x +1 pmod{2}$. The only element here is the point in infinity: the neutral element.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Nov 18 at 19:32









          SlowerPhoton

          386111




          386111






















              up vote
              2
              down vote













              You can also construct an answer mod 3 (which is in short weierstrass form) as follows:



              For all $x in mathbf Z/3mathbf Z$ we know by Fermat's little theorem that $x^3 = x$, therefore the polynomial $x^3 - x + 2$ always takes the value $2$ on elements of $mathbf Z/3 mathbf Z$, as 2 is not a square in this ring the curve



              $$y^2= x^3 - x + 2$$



              has no non-infinite points.






              share|cite|improve this answer

























                up vote
                2
                down vote













                You can also construct an answer mod 3 (which is in short weierstrass form) as follows:



                For all $x in mathbf Z/3mathbf Z$ we know by Fermat's little theorem that $x^3 = x$, therefore the polynomial $x^3 - x + 2$ always takes the value $2$ on elements of $mathbf Z/3 mathbf Z$, as 2 is not a square in this ring the curve



                $$y^2= x^3 - x + 2$$



                has no non-infinite points.






                share|cite|improve this answer























                  up vote
                  2
                  down vote










                  up vote
                  2
                  down vote









                  You can also construct an answer mod 3 (which is in short weierstrass form) as follows:



                  For all $x in mathbf Z/3mathbf Z$ we know by Fermat's little theorem that $x^3 = x$, therefore the polynomial $x^3 - x + 2$ always takes the value $2$ on elements of $mathbf Z/3 mathbf Z$, as 2 is not a square in this ring the curve



                  $$y^2= x^3 - x + 2$$



                  has no non-infinite points.






                  share|cite|improve this answer












                  You can also construct an answer mod 3 (which is in short weierstrass form) as follows:



                  For all $x in mathbf Z/3mathbf Z$ we know by Fermat's little theorem that $x^3 = x$, therefore the polynomial $x^3 - x + 2$ always takes the value $2$ on elements of $mathbf Z/3 mathbf Z$, as 2 is not a square in this ring the curve



                  $$y^2= x^3 - x + 2$$



                  has no non-infinite points.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Nov 22 at 14:08









                  Alex J Best

                  1,89711222




                  1,89711222






























                      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.





                      Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                      Please pay close attention to the following guidance:


                      • 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.


                      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%2f3001457%2fis-there-an-elliptic-curve-mod-n-with-exactly-one-point%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

                      How to change which sound is reproduced for terminal bell?

                      Can I use Tabulator js library in my java Spring + Thymeleaf project?

                      Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents