ON TORSION POINTS ON AN ELLIPTIC CURVES VIA DIVISION POLYNOMIALS

Similar documents
ON A FAMILY OF ELLIPTIC CURVES

ON THE FAMILY OF ELLIPTIC CURVES y 2 = x 3 m 2 x+p 2

ELLIPTIC CURVES OVER FINITE FIELDS

Algebraic Geometry: Elliptic Curves and 2 Theorems

Projects on elliptic curves and modular forms

On the Torsion Subgroup of an Elliptic Curve

1. Introduction. Let P and Q be non-zero relatively prime integers, α and β (α > β) be the zeros of x 2 P x + Q, and, for n 0, let

CONSTRUCTION OF HIGH-RANK ELLIPTIC CURVES WITH A NONTRIVIAL TORSION POINT

Some new families of positive-rank elliptic curves arising from Pythagorean triples

Elliptic Curves and Mordell s Theorem

On a Problem of Steinhaus

On attaching coordinates of Gaussian prime torsion points of y 2 = x 3 + x to Q(i)

Arithmetic Progressions Over Quadratic Fields

LECTURE 2 FRANZ LEMMERMEYER

On the Rank of the Elliptic Curve y 2 = x 3 nx

CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA

Points of Finite Order

arxiv: v2 [math.nt] 23 Sep 2011

CONGRUENT NUMBERS AND ELLIPTIC CURVES

x 9 or x > 10 Name: Class: Date: 1 How many natural numbers are between 1.5 and 4.5 on the number line?

On the Diophantine Equation x 4 +y 4 +z 4 +t 4 = w 2

Outline of the Seminar Topics on elliptic curves Saarbrücken,

LECTURE 15, WEDNESDAY

A Diophantine System Concerning Sums of Cubes

Schoof s Algorithm for Counting Points on E(F q )

Elliptic Curves, Factorization, and Cryptography

Elliptic Curves. Akhil Mathew (Department of Mathematics Drew UniversityElliptic MathCurves 155, Professor Alan Candiotti) 10 Dec.

Math 101 Study Session Spring 2016 Test 4 Chapter 10, Chapter 11 Chapter 12 Section 1, and Chapter 12 Section 2

Torsion Points of Elliptic Curves Over Number Fields

LINEAR FORMS IN LOGARITHMS

The Congruent Number Problem and the Birch and Swinnerton-Dyer Conjecture. Florence Walton MMathPhil

Elliptic Nets and Points on Elliptic Curves

LECTURE 22, WEDNESDAY in lowest terms by H(x) = max{ p, q } and proved. Last time, we defined the height of a rational number x = p q

Introduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013

Congruent Number Problem and Elliptic curves

On a class of quartic Diophantine equations of at least five variables

Katherine Stange. Pairing, Tokyo, Japan, 2007

Number Fields Generated by Torsion Points on Elliptic Curves

Straight Line Programs and Torsion Points on Elliptic Curves

Elliptic divisibility sequences

ODD OR EVEN: UNCOVERING PARITY OF RANK IN A FAMILY OF RATIONAL ELLIPTIC CURVES

On some congruence properties of elliptic curves

Fourth Power Diophantine Equations in Gaussian Integers

ARITHMETIC PROGRESSIONS OF SQUARES, CUBES AND n-th POWERS

THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11

Grade 11/12 Math Circles Rational Points on an Elliptic Curves Dr. Carmen Bruni November 11, Lest We Forget

Arithmetic Progressions over Quadratic Fields

SEMI-MAGIC SQUARES AND ELLIPTIC CURVES

arxiv: v1 [math.nt] 31 Dec 2011

Elliptic Curves over Q

Elliptic Curves: An Introduction

Algorithm for Concordant Forms

On symmetric square values of quadratic polynomials

SEARCH FOR GOOD EXAMPLES OF HALL S CONJECTURE. 1. Introduction. x 3 y 2 = k

Elliptic curves and Hilbert s Tenth Problem

Undecidability of C(T 0,T 1 )

Parameterization of Edwards curves on the rational field Q with given torsion subgroups. Linh Tung Vo

COUNTING POINTS ON ELLIPTIC CURVES OVER F q

RAMIFIED PRIMES IN THE FIELD OF DEFINITION FOR THE MORDELL-WEIL GROUP OF AN ELLIPTIC SURFACE

Fall 2004 Homework 7 Solutions

SOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM

ON HYPERSURFACES IN P 3 WITH FAT POINTS IN GENERAL POSITION

Dip. Matem. & Fisica. Notations. Università Roma Tre. Fields of characteristics 0. 1 Z is the ring of integers. 2 Q is the field of rational numbers

Introduction to Elliptic Curves

SOME STABILITY RESULTS FOR THE SEMI-AFFINE VARIATIONAL INEQUALITY PROBLEM. 1. Introduction

ON A THEOREM OF TARTAKOWSKY

Global Attractivity of a Higher-Order Nonlinear Difference Equation

A Note on Scalar Multiplication Using Division Polynomials

Katherine Stange. ECC 2007, Dublin, Ireland

A NEW PROOF OF A THEOREM CONCERNING DECOMPOSABLE GROUPS. Wojciech Chojnacki, Warszawa, Poland and Adelaide, Australia

Arithmetic Properties of Partition k-tuples with Odd Parts Distinct

ON THE DIOPHANTINE EQUATION IN THE FORM THAT A SUM OF CUBES EQUALS A SUM OF QUINTICS

Scalar multiplication in compressed coordinates in the trace-zero subgroup

CORRESPONDENCE BETWEEN ELLIPTIC CURVES IN EDWARDS-BERNSTEIN AND WEIERSTRASS FORMS

On the size of Kakeya sets in finite vector spaces

#A20 INTEGERS 11 (2011) ON CONGRUENT NUMBERS WITH THREE PRIME FACTORS. Lindsey Reinholz

Irrationality of 2 and Arakelov Geometry

ON `-TH ORDER GAP BALANCING NUMBERS

arxiv: v1 [math.nt] 11 Aug 2016

Diophantine Equations

The Arithmetic of Elliptic Curves

HERON TRIANGLES, DIOPHANTINE PROBLEMS AND ELLIPTIC CURVES

Elliptic Curves: Theory and Application

ABC Triples in Families

Integral points of a modular curve of level 11. by René Schoof and Nikos Tzanakis

Elementary Number Theory and Cryptography, 2014

THE ABSOLUTE MORDELL-LANG CONJECTURE IN POSITIVE CHARACTERISTIC. 1. Introduction

arxiv: v1 [math.nt] 26 Mar 2009

CERIAS Tech Report

Minimal Polynomials of Algebraic Cosine Values at Rational Multiples of π

PERIODICITY OF SOME RECURRENCE SEQUENCES MODULO M

Notes on Continued Fractions for Math 4400

On the polynomial x(x + 1)(x + 2)(x + 3)

The 8 th International Conference on Science and Mathematical Education in Developing Countries

arxiv: v1 [math.co] 8 Sep 2017

Elliptic curves, Factorization and Primality Testing Notes for talks given at London South bank University 7, 14 & 21 November 2007 Tony Forbes

Homework 4 Solutions

GENERALIZED POPOVICIU FUNCTIONAL EQUATIONS IN BANACH MODULES OVER A C ALGEBRA AND APPROXIMATE ALGEBRA HOMOMORPHISMS. Chun Gil Park

arxiv: v1 [math.nt] 6 Sep 2017

Transcription:

UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLIII 2005 ON TORSION POINTS ON AN ELLIPTIC CURVES VIA DIVISION POLYNOMIALS by Maciej Ulas Abstract. In this note we propose a new way to prove Nagel s classical theorem [3] about torsion points on an elliptic curve over Q. In order to prove it, we use basic properties of division polynomials only 1. Introduction. Let a, b Z and let us consider the plane curve E given by (1) E : y 2 = x 3 + ax + b. Such a curve is called elliptic if 4a 3 + 27b 2 0. This condition states that the polynomial x 3 + ax + b has simple roots only, or equivalently, that curve (1) is non-singular. A point (x, y) on E is called a rational (integral ) point if its coordinates x and y are in Q (in Z). As we know, the set E(Q) of all rational points on E plus the so-called point at infinity {O} may be considered as an abelian group with neutral element O. Points of finite order in this group form the subgroup Tors E(Q) called the torsion part of the curve E. The famous Mordell Theorem states that the group E(Q) is finitely generated. Therefore, there exists an r N such that (2) E(Q) = Z r Tors E(Q). Nagell in 1935 and Lutz two years later proved that torsion points on curve (1) have integer coordinates. Nagell s argument is based on the observation that if the denominator p of the x-coordinate of an elliptic curve s point P is 2000 Mathematics Subject Classification. Primary 11G05, 14H52. Key words and phrases. Elliptic curves, torsion points, division polynomials.

104 greater then 1, then the denominator q of the x-coordinate of 2P is greater then p. Our proof is based on a different idea. Now let us inductively define the so-called division polynomials ψ m Z[x, y], which are used to express coordinates of the point mp in terms of coordinates of a point P : ψ 1 = 1, ψ 2 = 2y, ψ 3 = 3x 4 + 6ax 2 + 12bx a 2, ψ 4 = 4y(x 6 + 5ax 4 + 20bx 3 5a 2 x 2 4abx 8b 2 a 3 ), ψ 2m+1 = ψ m+2 ψ m ψ m 1 ψ 3 m+1, m 2, 2yψ 2m = ψ m (ψ m+2 ψ 2 m 1 ψ m 2 ψ 2 m+1), m 3. It is easy to observe that ψ 2m are polynomials indeed. Now we define polynomials φ m and ω m in the following way φ m = xψ 2 m ψ m 1 ψ m+1, 4yω m = ψ m+2 ψ 2 m 1 ψ m 2 ψ 2 m+1. Most useful properties of division polynomials are summarized in the following theorem. Theorem 1.1. Let m N +. Then 1. ψ m, φ m, y 1 ω m for m odd and (2y) 1 ψ m, φ m, ω m for m even are polynomials in Z[x, y 2 ]. Substituting y 2 = x 3 + ax + b, we may consider them as polynomials in Z[x]. 2. Considering ψ m and φ m as polynomials in x there is φ m (x) = x m2 + lower degree terms, ψ 2 m(x) = m 2 x m2 1 + lower degree terms. 3. If P E(Q), then mp = ( φm (P ) ψm(p 2 ), ω m (P ) ) ψm(p 3. ) We here omit a proof of this theorem. Assertions 1 and 2 are easy to prove by induction, but involve rather long calculations. It is possible to prove assertion 3 in an elementary way; however, it involves extensive computer calculations. Other proofs, using more advanced methods, can be found in [1] and [2].

105 2. Points of finite order are integral. Before proving that points of finite and positive orders on an elliptic curve are integral, we will prove two useful lemmas. If p is a prime, we write p a s if p a s and p a+1 s. Lemma 2.1. If (x 0, y 0 ) is a rational point on an elliptic curve E : y 2 = x 3 + ax + b, then x 0 = u/t 2 i y 0 = v/t 3 for some integers u, v, t with GCD(uv, t) = 1. Proof. We write x 0 = u/s and y 0 = v/r with GCD(u, s) = 1 and GCD(v, r) = 1. Inserting this into y 2 = x 3 + ax + b we get s 3 v 2 = r 2 (u 3 + aus 2 + bs 3 ). If p e s then p 3e s 3 v 2. Since p u and p aus 2 + bs 3, it follows that p 3e r 2. No higher power of p can divide r 2 ; otherwise p v, contrary to the assumption that GCD(v, r) = 1. Hence, p 3e r 2. If p f r, then it follows that 3e = 2f, so f = 3g and e = 2g for some integer g. Thus, p 3g r and p 2g s. Since this holds for each prime p, we conclude that s = t 2 and r = t 3 for some integer t. Lemma 2.2. Let E be an elliptic curve. If P = (x, y) E(Q) and mp is an integral point for some m Z then the point P is integral. Hence, Proof. By Theorem 1.1 there is ( φm (P ) mp = (X, Y ) = ψ m (P ) 2, ω m (P ) ) ψ m (P ) 3. (3) Xψ m (x) 2 = φ m (x). Now let x = u/t 2, where GCD(u, t) = 1, and define Φ m (u, t) := u m2 + t 2m2 2 (φ m (x) x m2 ), (4) Ψ m (u, t) := t 2m2 2 ψ m (x) 2. Since φ m (z) = z m2 + lower order terms, ψ 2 m(z) = m 2 z m2 1 + lower order terms, the functions Φ m (u, t), Ψ m (u, t) are polynomials in Z[u, t]. Combining (3) and (4), we obtain (5) t 2 (XΨ m (u, t) Φ m (u, t) + u m2 ) = u m2

106 and therefore, t 2 u m2. But GCD(u, t) = 1, hence t = ±1, so the point P is integral. Let us remind the formula for doubling a point P = (x, y) on the curve (1) which says that (( 3x 2 + a ) 2 ( 3x 2 + a )( ( 3x 2 + a ) 2 )) (6) 2P = 2x, y + 3x. 2y 2y 2y Our aim is to give a proof of the following theorem. Theorem 2.3. Let a, b Z and E : y 2 = x 3 + ax + b be an elliptic curve. If P = (x, y) E(Q) is a non-zero torsion point, then P is integral. Proof. Note that we may restrict ourselves to torsion points of prime order. Indeed, let us assume that the theorem is true for such points. Now if Q is a point of a finite order n where n is not prime, then n = qr where q is prime and r is an integer > 1. Therefore, q(rq) = nq = O. From the assumption we conclude that the point rq is integral. Thus the point Q is integral due to Lemma 2.2. Let us suppose that the point P is of prime order q. (i) If q = 2, then 2P = O, i.e., P = P. Hence x 3 + ax + b = 0. We know from Lemma 2.1 that x = u/t 2 for some u, t Z and GCD(u, t) = 1, so we obtain u 3 = t 4 (au + bt 2 ). Therefore, t 4 u 3 and GCD(u, t) = 1, hence t = ±1 and P is integral. (ii) Now let q > 2. Again, from Lemma 2.1 follows that x = u/t 2 for some u, t Z and GCD(u, t) = 1. Since qp = O, then (q 1)P = P. Therefore, (7) t 2 φ q 1 (x) = uψ q 1 (x) 2, where polynomials φ q 1, ψq 1 2 are as in Theorem 1.1. For a prime q > 2 let us define polynomials Ψ q 1 (u, t) := t 2(q 1)2 4 (ψ q 1 (x) 2 (q 1) 2 x (q 1)2 1 ), (8) Φ q 1 (u, t) := t 2(q 1)2 2 (φ q 1 (x) x (q 1)2 ). Note that, due to Theorem 1.1, polynomials (8) have integer coefficients and thus are in Z[u, t].

107 Inserting t 2 x = u into (8), we obtain: t 2(q 1)2 2 ψ 2 q 1(x) = t 2 Ψ q 1 (u, t) + (q 1) 2 u (q 1)2 1, (9) t 2(q 1)2 φ q 1 (x) = t 2 Φ q 1 (u, t) + u (q 1)2. Now combining (7) and (9) we get (10) u (q 1)2 + t 2 Φ q 1 (u, t) = ((q 1) 2 u (q 1)2 1 + t 2 Ψ q 1 (u, t))u, or (11) t 2 (Φ q 1 (u, t) uψ q 1 (u, t)) = ((q 1) 2 1)u (q 1)2. Since GCD(u, t) = 1, we conclude that ( ) t 2 q(q 2). Note that for q = 3 there is t 2 3, which implies that t = ±1 and the point P is integral. Therefore, we may assume that q > 3. Since qp = O, so (q 2)P = 2P. From (6) and Theorem 1.1: or, equivalently, φ q 2 (x) ψ q 2 (x) 2 = (3x2 + a) 2 4(x 3 + ax + b) 2x, (12) 4φ q 2 (x)(x 3 + ax + b) = (x 4 2ax 2 8bx + a 2 )ψ q 2 (x) 2. Inserting x = u/t 2 and using (8) we get or 4(u (q 2)2 + t 2 Φ q 2 (u, t))(u 3 + aut 4 + bt 6 ) = (u 4 2au 2 t 4 8but 6 + at 8 )((q 2) 2 u (q 2)2 1 + t 2 Ψ q 2 (u, t)), (13) t 2 H(u, t) = ((q 2) 2 4)u (q 2)2 +3, where H(u, t) Z[u, t]. Since GCD(u, t) = 1, it means that ( ) t 2 q(q 4). We have shown that t 2 q(q 2) and t 2 q(q 4), where t is an integer and q is a prime > 3. Hence, t 2 2, so t = ±1. Therefore, the point P is integral as we claimed. Acknowledgments. I would like to thank the referee for his valuable comments and Professor K. Rusek for helping me in preparing this paper.

108 References 1. Enge A., Elliptic Curves and Their Applications to Cryptography, An Introduction, Kluwer Academic Publishers, 1998. 2. Lang S., Elliptic curves: Diophantine Analysis, Springer-Verlag, 1978. 3. Nagell T., Solution de quelque problemes dans la theorie arithmetique des cubiques planes du premier genre, Wid. Akad. Skrifter Oslo I, Nr. 1 (1935). Received November 18, 2004 Jagiellonian University Institute of Mathematics ul. Reymonta 4 30-059 Kraków Poland e-mail: Maciej.Ulas@im.uj.edu.pl