Torsion point

The point P = ( 2 , 3 ) P=(2,3) on the elliptic curve y 2 = x 3 + 1 y^2=x^3+1 is a torsion point . That is, n P = P + P + + P n times nP = \underbrace{P+P+\cdots+P}_{n \text{ times}} is the identity for some nonzero integer n . n. (Here + + denotes the group law on the curve, and the identity is the point at infinity .)

Find the smallest positive integer n n for which this is true.


The answer is 6.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Patrick Corn
Sep 25, 2017

The tangent line through P P has the equation y = 2 x 1 , y=2x-1, so the other point of intersection is ( 0 , 1 ) . (0,-1). The additive inverse of ( 0 , 1 ) (0,-1) is the point of intersection of the vertical line through ( 0 , 1 ) (0,-1) with the curve, which is Q = ( 0 , 1 ) . Q = (0,1). So 2 P = ( 0 , 1 ) . 2P = (0,1).

Now 3 P = 2 P + P = Q + P 3P = 2P+P = Q+P is computed by looking at the line y = x + 1 y=x+1 through them both, and finding the third point of intersection. This is clearly R = ( 1 , 0 ) . R = (-1,0). Now the additive inverse of R R is R , R, since the vertical line through R R is tangent to the curve there. So 3 P = R = R . 3P = -R = R. Notice that this means that 2 R 2R is the identity, so 6 P = 2 R = O 6P = 2R = O (here O O is not the origin, but the point at infinity, which is the identity element of the group of torsion points.) This shows that P P is a 6 6 -torsion point.

Now Lagrange's theorem implies that the smallest positive integer n n for which P P is an n n -torsion point is 1 , 2 , 3 , 1,2,3, or 6 , 6, and we've seen that it's not 1 , 2 , 1,2, or 3 , 3, so it must be 6. 6.

Alternatively, if you don't want to use group theory, for completeness' sake, we can write down all the multiples of P . P. P = ( 2 , 3 ) 2 P = ( 0 , 1 ) 3 P = ( 1 , 0 ) 4 P = ( 0 , 1 ) 5 P = ( 2 , 3 ) 6 P = O \begin{aligned} P &= (2,3) \\ 2P &= (0,1) \\ 3P &= (-1,0) \\ 4P &= (0,-1) \\ 5P &= (2,-3) \\ 6P &= O \end{aligned}

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...