 
 
 
 
 
   
William Stein
Date: Math 124  HARVARD UNIVERSITY
 HARVARD UNIVERSITY  Fall 2001
 Fall 2001
 over
 over 
 .
Find a linear change of variables that transforms this curve into
a curve of the form
.
Find a linear change of variables that transforms this curve into
a curve of the form 
 for rational numbers
 for rational numbers  and
 and  .
.
 be the elliptic curve over the finite 
field
 be the elliptic curve over the finite 
field 
 defined by the equation
 defined by the equation 
 
 elements of
 elements of  .
.
 , as a product of cyclic groups?
, as a product of cyclic groups?
 be an elliptic curve over
 be an elliptic curve over 
 .  
Define a binary operation
.  
Define a binary operation  on
 on  as follows:
 as follows:
 
 of
 of  and
 and  is the third
point of intersection of the line through
 is the third
point of intersection of the line through  and
 and  with
 
with  .
.  
 equipped with this binary operation.
(The group axioms are ``identity'', ``inverses'', and ``associativity''.)
 equipped with this binary operation.
(The group axioms are ``identity'', ``inverses'', and ``associativity''.)
 does this binary operation 
define a group structure on
 does this binary operation 
define a group structure on 
 ? (E.g., when
? (E.g., when 
 this binary operation does define a group.)
this binary operation does define a group.)
 be a quartic polynomial with distinct (complex) roots,
and let
 be a quartic polynomial with distinct (complex) roots,
and let  be a root of
 be a root of  .  Let
.  Let 
 be any number.
 be any number.
 
 and the curve
and the curve  , where
, where  is the cubic polynomial
 is the cubic polynomial
 
 has distinct (complex) roots, then
 has distinct (complex) roots, then  also
has distinct roots, and so
 also
has distinct roots, and so 
 is an elliptic curve.
 is an elliptic curve.
 , and let
, and let  be the ellipse
 be the ellipse
 
 is given 
by the integral
 is given 
by the integral
 
 depending on
 depending on  and
and  .
.
 in (i) by verifying that when
 in (i) by verifying that when 
 ,
the integral  yields the correct value for the arc length of a circle.
,
the integral  yields the correct value for the arc length of a circle.
 
 is not a circle, then the equation
 is not a circle, then the equation
 
 
 .
.
 is a point on the cubic curve
 is a point on the cubic curve
 
 coordinate of the point
 coordinate of the point  is given by the duplication formula
 
is given by the duplication formula
 
 coordinate of
 coordinate of  in terms of
in terms of  and
 and  .
.
 whose roots are the
 whose roots are the  -coordinates
of the points
-coordinates
of the points  satisfying
 satisfying 
 . [Hint: The
relation
. [Hint: The
relation 
 can also be written
 can also be written  .]
.]
 , solve the equation
in (iii) to find all of the points satisfying
, solve the equation
in (iii) to find all of the points satisfying 
 .
Note that you will have to use complex numbers.
.
Note that you will have to use complex numbers.
 
 
 
 
