I want to find a generator set of the $l$-torsion points of an elliptic curve defined over a finite field $F_q$

I want to find a generator set of the

$l$ -torsion points of an elliptic curve defined over a finite field

$F_q$

asked 3 years ago

M.Tawfik
21 ●1 ●5

updated 3 years ago

FrédéricC

5426 ●4 ●44 ●121

I have the elliptic curve $E: y^2=x^3+x$ defined over a field $F_q$ with $q=p^2$ for a certain prime $p$ , and want to calculate the $l$ -torsion points, or in other words $E[l]$ , for an integer $l$ (probably a prime different from $p$ .)

Comments

Welcome to Ask Sage. Thank you for your question.

slelievre ( 3 years ago )

Ideally, provide a minimal concrete example, with code to define the objects, that can be copied and pasted in a fresh Sage session, leaving only the final step to answer.

slelievre ( 3 years ago )

p=18446744073709551667E = EllipticCurve(GF(p^2),[1,0]) E is an Elliptic Curve defined by y^2 = x^3 + x over Finite Field in z2 of size 18446744073709551667^2 and I want to find generators $P$ and $Q$ for $E[4999]$ , but I can't find a suitable code.

M.Tawfik ( 3 years ago )

use sage: p=E.torsion_polynomial(4999) maybe ?

FrédéricC ( 3 years ago )

add a comment

answered 3 years ago

M.Tawfik
21 ●1 ●5

updated 3 years ago

An answer could be as follows: 'p=18446744073709551667' then define the field 'K . < a >=GF(p^2)' over which we define the curve 'E = EllipticCurve(K,[1,0])'. Now use the code 'E.cardinality().factor()' to get the cardinality of $E$ , which is $2^4 * 4999^2 * 922521708027083^2$ . Use the code 'pts = E.gens()' to find the generators which turn out to be ${(3967812587828368975a + 7437411822947458617 : 16672546567636985011a + 14299206839437184441 : 1), (8681109523785822829a + 7072963597633280041 : 15515941078240688329a + 11174851755365315891 : 1)}$.

Let $P_1$ be the first point, that is 'P1=E(13308581970510900443a + 15361864644717267429, 12035351063104026383a + 6630581890190451124)' and use the code 'P1.order().factor()' to get the order of $P_1$ , which is $2^2 * 4999 * 922521708027083$ . Now, let 'Q1=2^2 * 922521708027083 * P1', then $Q_1$ is of the required order. We can repeat this with the other point.

link

Comments

To display blocks of code or error messages in Ask Sage, skip a line above and below, and do one of the following (all give the same result):

indent all code lines with 4 spaces
select all code lines and click the "code" button (the icon with '101 010')
select all code lines and hit ctrl-K

For instance, typing

If we define `f` by

    def f(x, y, z):
        return x * y * z

then `f(2, 3, 5)` returns `30` but `f(2*3*5)` gives:

    TypeError: f() takes exactly 3 arguments (1 given)

produces:

If we define f by

def f(x, y, z):
    return x * y * z

then f(2, 3, 5) returns 30 but f(2*3*5) gives:

TypeError: f() takes exactly 3 arguments (1 given)

You can edit your answer to do that.

slelievre ( 3 years ago )

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

I want to find a generator set of the $l$ -torsion points of an elliptic curve defined over a finite field $F_q$

Comments

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

I want to find a generator set of the ll-torsion points of an elliptic curve defined over a finite field FqF_q savecancel

Comments

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

I want to find a generator set of the $l$ -torsion points of an elliptic curve defined over a finite field $F_q$