POLYNOMIALS OF AN ELLIPTIC CURVE. non-torsion point M such that M mod p is non-zero and non-singular, and it is asymptotically
|
|
- Neil Mitchell
- 5 years ago
- Views:
Transcription
1 EXPLICIT VALUATIONS OF DIVISION POLYNOMIALS OF AN ELLIPTIC CURVE y J. Cheon and z S. Hahn Abstract. In this paper, we estimate valuations of division polynomials and compute them explicitely at singular primes. We show that p( m(m)) is asymptotically equal to p(m) for a non-torsion point M such that M mod p is non-zero and non-singular, and it is asymptotically equal to c 1 m for some constant c 1 for a non-torsion point M such thatm mod p is either singular or zero. Furthermore, we show that the common factors of m(m) and m(m) have valuations at p asymptotically equal to c m for some constant c when M mod p is singular, which is a generalization of M. Ayad's result. Division polynomials were introduced to compute scalar multiplications of points of elliptic curves. They enable us to investigate properties of multiplications without direct multiplication. They are also used to compute n-torsion points and to derive their properties. However, computing division polynomials is not easier than computing direct multiplication of a point, because division polynomials are not usually relatively prime when evaluated at a point in an elliptic curve. In this paper, we estimate valuations of division polynomials. Especially, we can compute them explicitely at singular primes. Using these results, we can compute valuations of multiples of a point in an elliptic curve fromvaluations of associated division polynomials, and vice versa. Our results may be used in computing S-integral points of an elliptic curve of rank 1 as in [1] and in nding periods of elliptic series as in []. Moreover, we suspect that these might be used in measuring the dierence between the canonical height and the absolute height ofapoint in an elliptic curve. Let K be a number eld, R the ring of integers of K and the discrete valuation related to a prime ideal p of R with () = 1 for a uniformizer of p. Consider an elliptic curve E dened over K by a general Weierstrass equation : E : y + a 1 xy + a 3 y = x 3 + a x + a 4 x + a 6 a i R: Let M =(x y) be a non-zero point ofe(k), m an integer. The point mm is given by m (M) (1) mm = m(m)! m(m) 3 m(m) for division polynomials m, m,! m Z[a 1 a 6 x y]. Given a non-torsion point M such that M mod p is non-zero and non-singular, we show, in Theorem 1, that ( m (M)) is asymptotically equal to (m) as a function of m. Onthe other hand, given a non-torsion point M such thatm mod p is either singular or zero, we show, in Theorem 1, Theorem, and Theorem 3, that ( m (M)) is asymptotically equal to c 1 m for some constant c Mathematics Subject Classication. 11G05, 11G0, 14H5. Typeset by AMS-TEX 1
2 J. CHEON AND S. HAHN Furthermore, we show, in Theorem 4, that the common factors of m (M) and m(m) have valuations asymptotically equal to c m for some constant c when M mod p is singular, which is a generalization of M. Ayad's result. He showed in [1] that the common factors of m (M) and m(m) are those primes p of bad reduction such that M mod p is singular. The constants c 1, c depend only on M and are easily computable so that ( m (M)) for large m can be easily evaluated when M mod p is singular. We present some examples of evaluating valuations of m (M) when M mod p is singular. 1. Division Polynomials In this section, we introduce some properties of division polynomials to be used in proving theorems. For the denitions of division polynomials m m Z[a 1 a 6 x y], see [3,III, Exercises 3.7], and for more general situation see [1]. (a) m Z[a 1 a 6 ][x] is of degree m with leading coecient 1. For even m, m =(y+ a 1 x + a 3 ) Z[a 1 a 6 ][x] is of degree m ; with leading coecient m. For odd m, m Z[a 1 a 6 ][x] is of degree m ;1 with leading coecient m. (b) By denition, for all integers m () m = x m ; m;1 m+1 : (c) For all integers m, n, (3) mn(m) = n (M) m m(nm) mn (M) = n (M) m m (nm): (d) For all integers k, l, (4) k+l k;l = k+1 k;1 l ; l+1 l;1 k : (e) For any M E(K) with M 6 O mod p, wehave the following theorem [1] : (5) M mod p is singular if and only if ( m (M)) > 0and( m (M)) > 0 for any m:. Non-Singular Points From now on,we use the following notation : mm =(x m y m ), m = m (M) and m = m (M) for any integer m, unless otherwise specied. Moreover we dene two subsets E 0 (K) ande 1 (K) ofe(k) as follows : (6) E 0 (K) =fm E(K)jM mod p is nonsingular in E(R=p)g E 1 (K) =fm E(K)jM mod p = O in E(R=p)g: Note that E 0 (K)=E 1 (K) is isomorphic to the group of nonsingular points in E(R=p). In this section, we consider a non-torsion point M in E 0 (K). Lemma 1. Let M be a non-torsion point in E 0 (K). If(x) < 0, then (x m )=(x) ; (m)
3 EXPLICIT VALUATIONS OF DIVISION POLYNOMIALS 3 for all positive integers m. Proof. Let K be the completion of K at. Let M = fx K j(x) > 0g, ^E the formal group associated to E and ^Ga (M) the additive group M with its usual addition. We have an isomorphism [3, IV, Theorem 6.4 (b)], (7) log ^E : ^E(M) ;! ^Ga (M) such that (z) =(log ^E z)forz M. Hence we identify ^E(M) with ^Ga (M). Moreover, letting E 1 (K )=fm E(K )jm O mod pg we have an isomorphism [3, VII, Proposition.], (8) z : E 1 (K ) ;! ^E(M) such that (x[m]) = ;(z(m)) for all M E 1 (K ) nfog, where x[m] denotes the x- coordinate of M. By (7) and (8), we get(x[mm]) = (x[m]) ; (m) for all non-torsion point M E 1 (K ) nfog because of the following (z(mm)) = (log ^E z(mm)) = (m log ^E z(m)) = (m)+(z(m)): This completes the proof. Lemma 1 says that (x m ) is asymptotically equal to ;(m)if(x) < 0. For M E 0 (K), the p-part of m is the p-part of the denominator of x m by (5). Sowemay expect that ( m ) is asymptotically equal to (m). Theorem 1. Let M be a non-torsion point in E 0 (K) and m 0 its order in E 0 (K)=E 1 (K). Then 8 0 if m 0 - m ( m )= >< >: ( m0 )+( m m 0 ) if m 0 jm m 0 6=1 1 (m ; 1)(x)+(m) if m 0 =1: Proof. If m 0 6= 1, then (x) 0, so ( m ) 0, ( m) 0 and theirfore (9) ( m )=maxf; 1 (x m) 0g by (1) and (5). If m 0 - m, mm 6 O mod p so that (x m ) 0. By (9), we get( m )=0, which proves the rst case. If m 0 j m and m 0 6=1,then(x m )=(x m0 ) ; ( m m 0 )by Lemma 1 because (x m0 ) < 0. Hence we get the second case by (9). Assume that m 0 = 1 i.e. (x) < 0. Since m is a monic polynomial of degree m of x and (x) < 0, ( m ) = m (x). Since x m = m = m by (1), we get ( m) = m (x) ; (x m ). Also we have (x m )=(x) ; (m) by Lemma 1 since (x) < 0. Hence ( m )=(m ; 1)(x)+(m), which proves the third case.
4 4 J. CHEON AND S. HAHN 3. Singular Points Recall that for any point M, there is a positive integer r such thatrm E 0 (K) since je(k)=e 0 (K)j < 1 [3, VII, Theorem 6.1]. Throughout this section, we suppose that M is a non-torsion point ine(k) n E 0 (K) and of order r in the nite group E(K)=E 0 (K): Lemma. For any integer m and k with r - k, we have where = min(( r ) ( r )). (i) ( k;1 k+1 ) > ( k ) (ii) ( mr;1 mr+1 )=m Proof. (i) If r - k, M km mod p so that x x k mod p. Hence we get ( k;1 k+1 )=( k)+(x ; x k ) > ( k ): (ii) Assume rm = E 1 (K). Since mrm E 1 (K), ( mr ) <( mr) so that (x mr ; mr )=( mr ). Hence we get, using () and (3), the following ( mr;1 mr+1 )=( mr ) =m ( r )+( m (rm)) =m ( r )+( m r = m ( r ): Assume that rm 6 O mod p. IfmrM O mod p, then (x mr ; mr )=( mr ). Hence we get, using () and (3), ( mr;1 mr+1 )=( mr ) m r =m ( r )+( m (rm)) =m ( r ) because p divides m (rm) and p does not divide both of m (rm) and m (rm). If mrm = E 1 (K), then (x ; x mr ) = 0. Hence because rm E 0 and mrm = E 1 (M). ( mr;1 mr+1 )=( mr)+(x ; x mr ) =( mr ) =m ( r )+( m (rm)) =m ( r ) Lemma 3. For any integer m and k with 1 k<r,wehave where = min(( r ) ( r )). Proof. Note that by (4) ( mr+k )+( mr;k) =m +( k ) mr+k mr;k = mr+1 mr;1 k ; k+1 k;1 mr: The rst term of the right-hand side has valuation m +( k ) atpby Lemma. The second term of the right-hand side has valuation greater than ( k )+( mr )by Lemma. However, since mr;1 mr+1 = mr(x ; x mr )and(x ; x mr ) 0, we have ( mr+1 mr;1) ( mr ). Hence the left-hand side has valuation m +( k ). Using Lemma and Lemma 3, we can estimate ( m ) for any integer m with r - m. )
5 EXPLICIT VALUATIONS OF DIVISION POLYNOMIALS 5 Theorem. Assume that M is a non-torsion point in E(K) n E 0 (K) and has order r in the nite group E(K)=E 0 (K): For any integer m and k with 1 k<r,wehave where = min(( r ) ( r )). ( mr+k )=m +(( k = r;k)+)m + ( k ) ( mr;k) =m ; (( k = r;k)+)m + ( k ) Proof. Let m and k be integers with 1 k<r. By Lemma 3, (10) (11) ( mr+k )+( mr;k) =m +( k ) ( mr;k)+( (m;)r+k) =(m ; 1) +( r;k): Subtracting (11) from (10), we get By replacing m with m, weget ( mr+k )=(m ; 1) + ( (m;)r+k)+( k = r;k): ( mr+k )=(4m ; 1) + ( (m;1)r+k)+( k = r;k): If we sum up the above equations from 1 to m, wehave ( mr+k )= mx i=1 Using Lemma 3, we also get which completes the proof. f(4i;1)+( k = r;k)g+( k )=(m +m)+( k = r;k)m+( k ): ( mr;k) =(m ; m) ; ( k = r;k)m + ( k ) Theorem says that ( m )isapproximately a quadratic function of m when m is larger than r. The next proposition says that ( m ) also increases like a quadratic function of m for 1 m r. Proposition. Assume that M is a non-torsion point in E(K) n E 0 (K) and has order r in the nite group E(K)=E 0 (K): For any integer m with 1 m r, ( m ) is strictly increasing. More precisely, we have ( m ) 1 (m ; 1)(m ; +( )): Proof. By (1) and (), we have x ; x m = m;1 m+1 m so that ( m+1 = m )=( m = m;1)+(x ; x m ):
6 6 J. CHEON AND S. HAHN If we sum up the above equations from to m ; 1, we obtain ( m = m;1) = m;1 X k= (x ; x k )+( ): Since (x ; x m ) 1 for 1 m<rand ( ) > 0, ( m ) is strictly increasing for m with 1 m<r.furthermore if we leta m = P m k= (x ; x m), then a m m ; 1 and so we have X m;1 ( m )=( 1 )+ (a k + ( = 1 )) m;1 X k=1 k=1 (k ; 1+( )) = 1 (m ; 1)(m ; +( )): Using Theorem 1, we can also estimate ( m ) for any integer m with rjm. Theorem 3. Assume that M is a non-torsion point in E(K)nE 0 (K) and of order r in the nite group E(K)=E 0 (K): Let m 0 be the order of rm mod p in E(R=pR). Then we have ( mr )= Proof. (3) gives that 8 >< >: m ( r ) if m 0 - m m ( r )+( m0 (rm)) + ( m m 0 ) if m 0 jm m 0 6=1 1 (m ; 1)( r )+( r )+(m) if m 0 =1: mr = m r m (rm): Since rm E 0,we can apply Theorem 1 for m (rm). Then the rst and second cases are clear. For the third case, by Theorem 1, we have ( m (rm)) = 1 (m ; 1)( r r )+(m). Since ( mr )=m ( r )+( m (rm)), we have which completes the proof. ( mr )= 1 (m ; 1)( r )+( r )+(m) At last, we estimate the common p-factor of m and m for M E(K) n E 0 (K). Theorem 4. Assume that M is a non-torsion point in E(K) n E 0 (K) and has order r in the nite group E(K)=E 0 (K): For any integer m and k with 1 k<r,wehave min(( n ) ( n )) = 8 >< >: where = min(( r ) ( r )). m if n = mr 4m +(( k = r;k)+)m +( k ) if n =mr + k 4m ; (( k = r;k)+)m +( k ) if n =mr ; k Proof. First, we prove the second and the third cases. For 1 k<r,(mr + k)m 6 O mod p and (mr ; k)m 6 O mod p so that (x mr+k ) 0and(x mr;k) 0. Hence
7 EXPLICIT VALUATIONS OF DIVISION POLYNOMIALS 7 ( mr+k ) ( mr+k ) and ( mr;k) ( mr;k). Both cases then follow immediately from Theorem. To prove the rst case, we need the following equality from (3) : mr = m r m (rm) mr = r m m (rm): If rm 6 O mod p, then ( m (rm)) 0, ( m (rm)) 0 and theirfore one of them is 0 by (5). Since ( r ) ( r), we get If rm O mod p, min(( mr ) ( mr )) = m ( r )=m : ( mr )=m ( r )+m ( r )=m ( r ) since (x r ) < 0and m is of degree m.to calculate ( mr ), we apply Theorem 3. Since m 0 =1, Since ( r ) <( r), we alsoget ( mr )= 1 (m ; 1)( r )+( r )+(m): r min(( mr ) ( mr )) = m which completes the proof of the rst case. 4. Examples In this section, we introduce two examples of evaluating ( m (M)) using Theorem and Theorem 3, when M mod p is singular. We use the same notations as in Section 3. Example 1. Let E : ; y = x x and M =( 49) E(Q). E = ; Then M = (3 0) mod 7, 4M O mod 7 so that M mod 7 is singular, M mod 7 is non-singular and 4M mod 7 is zero in E(Z=7Z). Hence we getr =,m 0 =. We have ( )=, =4and( (M)) = 1. By applying Theorem and Theorem 3, we get the following for all integers m : ( 4m;1) =8m ; 4m ( 4m )=8m + (m)+1 ( 4m+1 )=8m +4m ( 4m+ )=8m +8m +: We can see that they agree with the following calculation, which is obtained directly from the inductive denition of division polynomials. 1(M) =1 (M) = 7 3(M) =; (M) =; (M) =; (M) =
8 8 J. CHEON AND S. HAHN 7(M) = (M) = (M) =; (M) =; (M) =; (M) = (M) = Example. Let E : y = x 3 ; x + 1 and M =(1 1) E(Q). E = ; 4 3. Then M =(;1 1) and 3M =(0 1) so that M mod and M mod are singular but 3M mod is non-singular in E(Z=Z) and6m O mod. Then we have r =3,m 0 =,( 3 )=3, =6( =, 3 =8and 3 = 0) and ( (3M)) = () = 1. By applying Theorem and Theorem 3, we get the following for all integers m : ( 6m )=1m +1+(m) ( 6m;) =1m ; 8m +1 ( 6m;1) =1m ; 4m ( 6m+1 )=1m +4m ( 6m+ )=1m +8m +1 ( 6m+3 )=1m +1m +3: We can see that they agree with the following calculation : 1(M) =1 (M) = 3 (M) = 3 4 (M) = 5 5 (M) =; 8 6(M) = ; 13 7 (M) = ; (M) = ; (M) = ; 7 10(M) = (M) = (M) = (M) = (M) =; (M) =; (M) =; (M) = ; (M) = ; (M) = (M) = (M) = (M) = (M) = ; (M) =; (M) =; Acknowledgement The second author was partially supported by Korea Research Foundation References 1. M. Ayad, Points S-Entiers des Courbes Elliptiques, Manuscripta Math. 76 (199), 305{34.. M. Ayad, Periodicite(modq) Des Suites Elliptiques et Points S-Entiers sur les Courbes Elliptiques, Ann. Inst. Fourier, Gronoble 43 (1993), J. Silverman, The Arithmetic of Elliptic Curves, Springer-Verlag, y Electronics and Telecommunications Research Institute Taejon , Republic of Korea cheon@dingo.etri.re.kr z Department of Mathematics Korea Advanced Institute of Science and Technology Taejon , Republic of Korea sghahn@math.kaist.ac.kr
New York Journal of Mathematics New York J. Math. 5 (1999) 115{120. Explicit Local Heights Graham Everest Abstract. A new proof is given for the expli
New York Journal of Mathematics New York J. Math. 5 (1999) 115{10. Explicit Local eights raham Everest Abstract. A new proof is given for the explicit formulae for the non-archimedean canonical height
More informationTAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS
TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS FILIP NAJMAN Abstract. Let E be an elliptic curve over a number field K c v the Tamagawa number of E at v and let c E = v cv.
More informationElementary 2-Group Character Codes. Abstract. In this correspondence we describe a class of codes over GF (q),
Elementary 2-Group Character Codes Cunsheng Ding 1, David Kohel 2, and San Ling Abstract In this correspondence we describe a class of codes over GF (q), where q is a power of an odd prime. These codes
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013
18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and
More informationTHERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11
THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 ALLAN LACY 1. Introduction If E is an elliptic curve over Q, the set of rational points E(Q), form a group of finite type (Mordell-Weil
More information1. Vélu s formulae GENERALIZATION OF VÉLU S FORMULAE FOR ISOGENIES BETWEEN ELLIPTIC CURVES. Josep M. Miret, Ramiro Moreno and Anna Rio
Publ. Mat. 2007, 147 163 Proceedings of the Primeras Jornadas de Teoría de Números. GENERALIZATION OF VÉLU S FORMULAE FOR ISOGENIES BETWEEN ELLIPTIC CURVES Josep M. Miret, Ramiro Moreno and Anna Rio Abstract
More informationProperties of Arithmetical Functions
Properties of Arithmetical Functions Zack Clark Math 336, Spring 206 Introduction Arithmetical functions, as dened by Delany [2], are the functions f(n) that take positive integers n to complex numbers.
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationarxiv: v1 [math.nt] 31 Dec 2011
arxiv:1201.0266v1 [math.nt] 31 Dec 2011 Elliptic curves with large torsion and positive rank over number fields of small degree and ECM factorization Andrej Dujella and Filip Najman Abstract In this paper,
More informationTwists of elliptic curves of rank at least four
1 Twists of elliptic curves of rank at least four K. Rubin 1 Department of Mathematics, University of California at Irvine, Irvine, CA 92697, USA A. Silverberg 2 Department of Mathematics, University of
More informationIntegral points of a modular curve of level 11. by René Schoof and Nikos Tzanakis
June 23, 2011 Integral points of a modular curve of level 11 by René Schoof and Nikos Tzanakis Abstract. Using lower bounds for linear forms in elliptic logarithms we determine the integral points of the
More informationFormal groups. Peter Bruin 2 March 2006
Formal groups Peter Bruin 2 March 2006 0. Introduction The topic of formal groups becomes important when we want to deal with reduction of elliptic curves. Let R be a discrete valuation ring with field
More informationCONGRUENT NUMBERS AND ELLIPTIC CURVES
CONGRUENT NUMBERS AND ELLIPTIC CURVES JIM BROWN Abstract. In this short paper we consider congruent numbers and how they give rise to elliptic curves. We will begin with very basic notions before moving
More informationComputing a Lower Bound for the Canonical Height on Elliptic Curves over Q
Computing a Lower Bound for the Canonical Height on Elliptic Curves over Q John Cremona 1 and Samir Siksek 2 1 School of Mathematical Sciences, University of Nottingham, University Park, Nottingham NG7
More information17 Galois Fields Introduction Primitive Elements Roots of Polynomials... 8
Contents 17 Galois Fields 2 17.1 Introduction............................... 2 17.2 Irreducible Polynomials, Construction of GF(q m )... 3 17.3 Primitive Elements... 6 17.4 Roots of Polynomials..........................
More informationElliptic curves and modularity
Elliptic curves and modularity For background and (most) proofs, we refer to [1]. 1 Weierstrass models Let K be any field. For any a 1, a 2, a 3, a 4, a 6 K consider the plane projective curve C given
More informationINTEGER VALUED POLYNOMIALS AND LUBIN-TATE FORMAL GROUPS
INTEGER VALUED POLYNOMIALS AND LUBIN-TATE FORMAL GROUPS EHUD DE SHALIT AND ERAN ICELAND Abstract. If R is an integral domain and K is its field of fractions, we let Int(R) stand for the subring of K[x]
More informationCOMPLEX MULTIPLICATION: LECTURE 15
COMPLEX MULTIPLICATION: LECTURE 15 Proposition 01 Let φ : E 1 E 2 be a non-constant isogeny, then #φ 1 (0) = deg s φ where deg s is the separable degree of φ Proof Silverman III 410 Exercise: i) Consider
More informationTHE NUMBER OF TWISTS WITH LARGE TORSION OF AN ELLITPIC CURVE
THE NUMBER OF TWISTS WITH LARGE TORSION OF AN ELLITPIC CURVE FILIP NAJMAN Abstract. For an elliptic curve E/Q, we determine the maximum number of twists E d /Q it can have such that E d (Q) tors E(Q)[2].
More informationTORSION AND TAMAGAWA NUMBERS
TORSION AND TAMAGAWA NUMBERS DINO LORENZINI Abstract. Let K be a number field, and let A/K be an abelian variety. Let c denote the product of the Tamagawa numbers of A/K, and let A(K) tors denote the finite
More informationAn Introduction to Supersingular Elliptic Curves and Supersingular Primes
An Introduction to Supersingular Elliptic Curves and Supersingular Primes Anh Huynh Abstract In this article, we introduce supersingular elliptic curves over a finite field and relevant concepts, such
More informationThe following can also be obtained from this WWW address: the papers [8, 9], more examples, comments on the implementation and a short description of
An algorithm for computing the Weierstrass normal form Mark van Hoeij Department of mathematics University of Nijmegen 6525 ED Nijmegen The Netherlands e-mail: hoeij@sci.kun.nl April 9, 1995 Abstract This
More informationLocal root numbers of elliptic curves over dyadic fields
Local root numbers of elliptic curves over dyadic fields Naoki Imai Abstract We consider an elliptic curve over a dyadic field with additive, potentially good reduction. We study the finite Galois extension
More informationPolynomial functions over nite commutative rings
Polynomial functions over nite commutative rings Balázs Bulyovszky a, Gábor Horváth a, a Institute of Mathematics, University of Debrecen, Pf. 400, Debrecen, 4002, Hungary Abstract We prove a necessary
More informationDivisor matrices and magic sequences
Discrete Mathematics 250 (2002) 125 135 www.elsevier.com/locate/disc Divisor matrices and magic sequences R.H. Jeurissen Mathematical Institute, University of Nijmegen, Toernooiveld, 6525 ED Nijmegen,
More informationDESCENT ON ELLIPTIC CURVES AND HILBERT S TENTH PROBLEM
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 DESCENT ON ELLIPTIC CURVES AND HILBERT S TENTH PROBLEM KIRSTEN EISENTRÄGER AND GRAHAM EVEREST Abstract.
More information13 More on free abelian groups
13 More on free abelian groups Recall. G is a free abelian group if G = i I Z for some set I. 13.1 Definition. Let G be an abelian group. A set B G is a basis of G if B generates G if for some x 1,...x
More informationHomework 9 Solutions to Selected Problems
Homework 9 Solutions to Selected Problems June 11, 2012 1 Chapter 17, Problem 12 Since x 2 + x + 4 has degree 2 and Z 11 is a eld, we may use Theorem 17.1 and show that f(x) is irreducible because it has
More informationCYK\2010\PH402\Mathematical Physics\Tutorial Find two linearly independent power series solutions of the equation.
CYK\010\PH40\Mathematical Physics\Tutorial 1. Find two linearly independent power series solutions of the equation For which values of x do the series converge?. Find a series solution for y xy + y = 0.
More informationElliptic Nets and Points on Elliptic Curves
Department of Mathematics Brown University http://www.math.brown.edu/~stange/ Algorithmic Number Theory, Turku, Finland, 2007 Outline Geometry and Recurrence Sequences 1 Geometry and Recurrence Sequences
More informationThe average dimension of the hull of cyclic codes
Discrete Applied Mathematics 128 (2003) 275 292 www.elsevier.com/locate/dam The average dimension of the hull of cyclic codes Gintaras Skersys Matematikos ir Informatikos Fakultetas, Vilniaus Universitetas,
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics MOD p REPRESENTATIONS ON ELLIPTIC CURVES FRANK CALEGARI Volume 225 No. 1 May 2006 PACIFIC JOURNAL OF MATHEMATICS Vol. 225, No. 1, 2006 MOD p REPRESENTATIONS ON ELLIPTIC
More informationOn elliptic curves in characteristic 2 with wild additive reduction
ACTA ARITHMETICA XCI.2 (1999) On elliptic curves in characteristic 2 with wild additive reduction by Andreas Schweizer (Montreal) Introduction. In [Ge1] Gekeler classified all elliptic curves over F 2
More informationThe Inclusion Exclusion Principle and Its More General Version
The Inclusion Exclusion Principle and Its More General Version Stewart Weiss June 28, 2009 1 Introduction The Inclusion-Exclusion Principle is typically seen in the context of combinatorics or probability
More informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can
More informationTHE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS. Bernd C. Kellner Göppert Weg 5, Göttingen, Germany
#A95 INTEGERS 18 (2018) THE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS Bernd C. Kellner Göppert Weg 5, 37077 Göttingen, Germany b@bernoulli.org Jonathan Sondow 209 West 97th Street, New Yor,
More informationMATH 115, SUMMER 2012 LECTURE 12
MATH 115, SUMMER 2012 LECTURE 12 JAMES MCIVOR - last time - we used hensel s lemma to go from roots of polynomial equations mod p to roots mod p 2, mod p 3, etc. - from there we can use CRT to construct
More informationTHE MORDELL-WEIL THEOREM FOR Q
THE MORDELL-WEIL THEOREM FOR Q NICOLAS FORD Abstract. An elliptic curve is a specific type of algebraic curve on which one may impose the structure of an abelian group with many desirable properties. The
More informationTHE TATE MODULE. Seminar: Elliptic curves and the Weil conjecture. Yassin Mousa. Z p
THE TATE MODULE Seminar: Elliptic curves and the Weil conjecture Yassin Mousa Abstract This paper refers to the 10th talk in the seminar Elliptic curves and the Weil conjecture supervised by Prof. Dr.
More informationSome generalizations of Abhyankar lemma. K.N.Ponomaryov. Abstract. ramied extensions of discretely valued elds for an arbitrary (not
Some generalizations of Abhyankar lemma. K.N.Ponomaryov Abstract We prove some generalizations of Abhyankar lemma about tamely ramied extensions of discretely valued elds for an arbitrary (not nite, not
More informationElliptic Curves Spring 2015 Lecture #7 02/26/2015
18.783 Elliptic Curves Spring 2015 Lecture #7 02/26/2015 7 Endomorphism rings 7.1 The n-torsion subgroup E[n] Now that we know the degree of the multiplication-by-n map, we can determine the structure
More information1182 L. B. Beasley, S. Z. Song, ands. G. Lee matrix all of whose entries are 1 and =fe ij j1 i m 1 j ng denote the set of cells. The zero-term rank [5
J. Korean Math. Soc. 36 (1999), No. 6, pp. 1181{1190 LINEAR OPERATORS THAT PRESERVE ZERO-TERM RANK OF BOOLEAN MATRICES LeRoy. B. Beasley, Seok-Zun Song, and Sang-Gu Lee Abstract. Zero-term rank of a matrix
More informationPeriodic continued fractions and elliptic curves over quadratic fields arxiv: v2 [math.nt] 25 Nov 2014
Periodic continued fractions and elliptic curves over quadratic fields arxiv:1411.6174v2 [math.nt] 25 Nov 2014 Mohammad Sadek Abstract Let fx be a square free quartic polynomial defined over a quadratic
More informationCONSTRUCTION OF HIGH-RANK ELLIPTIC CURVES WITH A NONTRIVIAL TORSION POINT
MATHEMATICS OF COMPUTATION Volume 66, Number 217, January 1997, Pages 411 415 S 0025-5718(97)00779-5 CONSTRUCTION OF HIGH-RANK ELLIPTIC CURVES WITH A NONTRIVIAL TORSION POINT KOH-ICHI NAGAO Abstract. We
More informationNOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.
NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS Contents 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4 1. Introduction These notes establish some basic results about linear algebra over
More information14 Ordinary and supersingular elliptic curves
18.783 Elliptic Curves Spring 2015 Lecture #14 03/31/2015 14 Ordinary and supersingular elliptic curves Let E/k be an elliptic curve over a field of positive characteristic p. In Lecture 7 we proved that
More informationClassication of Quadratic Forms
Classication of Quadratic Forms Manuel Araújo September 14, 2011 Abstract We present the classication of quadratic forms over the rationals and then describe a partial classication of quadratic forms over
More informationGeneralization of Hensel lemma: nding of roots of p-adic Lipschitz functions
Generalization of Hensel lemma: nding of roots of p-adic Lipschitz functions (joint talk with Andrei Khrennikov) Dr. Ekaterina Yurova Axelsson Linnaeus University, Sweden September 8, 2015 Outline Denitions
More informationRoots of Unity, Cyclotomic Polynomials and Applications
Swiss Mathematical Olympiad smo osm Roots of Unity, Cyclotomic Polynomials and Applications The task to be done here is to give an introduction to the topics in the title. This paper is neither complete
More informationLECTURE NOTES IN CRYPTOGRAPHY
1 LECTURE NOTES IN CRYPTOGRAPHY Thomas Johansson 2005/2006 c Thomas Johansson 2006 2 Chapter 1 Abstract algebra and Number theory Before we start the treatment of cryptography we need to review some basic
More information. Consider the linear system dx= =! = " a b # x y! : (a) For what values of a and b do solutions oscillate (i.e., do both x(t) and y(t) pass through z
Preliminary Exam { 1999 Morning Part Instructions: No calculators or crib sheets are allowed. Do as many problems as you can. Justify your answers as much as you can but very briey. 1. For positive real
More informationLinear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space
Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) Contents 1 Vector Spaces 1 1.1 The Formal Denition of a Vector Space.................................. 1 1.2 Subspaces...................................................
More informationarxiv: v1 [math.nt] 11 Aug 2016
INTEGERS REPRESENTABLE AS THE PRODUCT OF THE SUM OF FOUR INTEGERS WITH THE SUM OF THEIR RECIPROCALS arxiv:160803382v1 [mathnt] 11 Aug 2016 YONG ZHANG Abstract By the theory of elliptic curves we study
More information1 Ordinary points and singular points
Math 70 honors, Fall, 008 Notes 8 More on series solutions, and an introduction to \orthogonal polynomials" Homework at end Revised, /4. Some changes and additions starting on page 7. Ordinary points and
More informationIn Theorem 2.2.4, we generalized a result about field extensions to rings. Here is another variation.
Chapter 3 Valuation Rings The results of this chapter come into play when analyzing the behavior of a rational function defined in the neighborhood of a point on an algebraic curve. 3.1 Extension Theorems
More information2 PAUL C. ROBERTS (3) If R and S are polynomial rings k[x 1 ; : : : ; x n ] and k[y 1 ; : : : ; y m ], where the x i and y j have degree one, then R#S
LOCAL COHOMOLOGY OF SEGRE PRODUCT TYPE RINGS PAUL C. ROBERTS Dedicated to Hans-Bjrn Foxby on the occasion of his 65th Birthday 1. Introduction The aim of this paper is to investigate properties of the
More informationTheorem 1 can be improved whenever b is not a prime power and a is a prime divisor of the base b. Theorem 2. Let b be a positive integer which is not
A RESULT ON THE DIGITS OF a n R. Blecksmith*, M. Filaseta**, and C. Nicol Dedicated to the memory of David R. Richman. 1. Introduction Let d r d r,1 d 1 d 0 be the base b representation of a positive integer
More information2 Lyubeznik proved that if R contains a eld of characteristic 0, and R is any regular K-algebra then the set of associated primes is nite [Ly1]. Later
RESEARCH STATEMENT Julian Chan My research interests include algebra, algebraic geometry, and invariant theory. I have also done some research in statistics, and will be receiving a masters of statistics
More informationFactoring Polynomials with Rational Coecients. Kenneth Giuliani
Factoring Polynomials with Rational Coecients Kenneth Giuliani 17 April 1998 1 Introduction Factorization is a problem well-studied in mathematics. Of particular focus is factorization within unique factorization
More informationFormal Groups. Niki Myrto Mavraki
Formal Groups Niki Myrto Mavraki Contents 1. Introduction 1 2. Some preliminaries 2 3. Formal Groups (1 dimensional) 2 4. Groups associated to formal groups 9 5. The Invariant Differential 11 6. The Formal
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 As usual, a curve is a smooth projective (geometrically irreducible) variety of dimension one and k is a perfect field. 23.1
More informationLECTURE 7, WEDNESDAY
LECTURE 7, WEDNESDAY 25.02.04 FRANZ LEMMERMEYER 1. Singular Weierstrass Curves Consider cubic curves in Weierstraß form (1) E : y 2 + a 1 xy + a 3 y = x 3 + a 2 x 2 + a 4 x + a 6, the coefficients a i
More informationTewodros Amdeberhan, Dante Manna and Victor H. Moll Department of Mathematics, Tulane University New Orleans, LA 70118
The -adic valuation of Stirling numbers Tewodros Amdeberhan, Dante Manna and Victor H. Moll Department of Mathematics, Tulane University New Orleans, LA 7011 Abstract We analyze properties of the -adic
More informationON POONEN S CONJECTURE CONCERNING RATIONAL PREPERIODIC POINTS OF QUADRATIC MAPS
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 43, Number 1, 2013 ON POONEN S CONJECTURE CONCERNING RATIONAL PREPERIODIC POINTS OF QUADRATIC MAPS BENJAMIN HUTZ AND PATRICK INGRAM ABSTRACT. The purpose of
More informationMINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS
MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS LORENZ HALBEISEN, MARTIN HAMILTON, AND PAVEL RŮŽIČKA Abstract. A subset X of a group (or a ring, or a field) is called generating, if the smallest subgroup
More informationExplicit Methods in Algebraic Number Theory
Explicit Methods in Algebraic Number Theory Amalia Pizarro Madariaga Instituto de Matemáticas Universidad de Valparaíso, Chile amaliapizarro@uvcl 1 Lecture 1 11 Number fields and ring of integers Algebraic
More informationNéron Models of Elliptic Curves.
Néron Models of Elliptic Curves. Marco Streng 5th April 2007 These notes are meant as an introduction and a collection of references to Néron models of elliptic curves. We use Liu [Liu02] and Silverman
More information(IV.C) UNITS IN QUADRATIC NUMBER RINGS
(IV.C) UNITS IN QUADRATIC NUMBER RINGS Let d Z be non-square, K = Q( d). (That is, d = e f with f squarefree, and K = Q( f ).) For α = a + b d K, N K (α) = α α = a b d Q. If d, take S := Z[ [ ] d] or Z
More informationContents. 4 Arithmetic and Unique Factorization in Integral Domains. 4.1 Euclidean Domains and Principal Ideal Domains
Ring Theory (part 4): Arithmetic and Unique Factorization in Integral Domains (by Evan Dummit, 018, v. 1.00) Contents 4 Arithmetic and Unique Factorization in Integral Domains 1 4.1 Euclidean Domains and
More informationMATH 2400 LECTURE NOTES: POLYNOMIAL AND RATIONAL FUNCTIONS. Contents 1. Polynomial Functions 1 2. Rational Functions 6
MATH 2400 LECTURE NOTES: POLYNOMIAL AND RATIONAL FUNCTIONS PETE L. CLARK Contents 1. Polynomial Functions 1 2. Rational Functions 6 1. Polynomial Functions Using the basic operations of addition, subtraction,
More informationELLIPTIC CURVES OVER FINITE FIELDS
Further ELLIPTIC CURVES OVER FINITE FIELDS FRANCESCO PAPPALARDI #4 - THE GROUP STRUCTURE SEPTEMBER 7 TH 2015 SEAMS School 2015 Number Theory and Applications in Cryptography and Coding Theory University
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local
More informationLifting to non-integral idempotents
Journal of Pure and Applied Algebra 162 (2001) 359 366 www.elsevier.com/locate/jpaa Lifting to non-integral idempotents Georey R. Robinson School of Mathematics and Statistics, University of Birmingham,
More informationDedekind Domains. Mathematics 601
Dedekind Domains Mathematics 601 In this note we prove several facts about Dedekind domains that we will use in the course of proving the Riemann-Roch theorem. The main theorem shows that if K/F is a finite
More informationCOMPUTING MODULAR POLYNOMIALS
COMPUTING MODULAR POLYNOMIALS DENIS CHARLES AND KRISTIN LAUTER 1. Introduction The l th modular polynomial, φ l (x, y), parameterizes pairs of elliptic curves with an isogeny of degree l between them.
More informationMath 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction
Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria Noncommutative Contact Algebras Hideki Omori Yoshiaki Maeda Naoya Miyazaki Akira Yoshioka
More informationTIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH
TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH 1. Introduction Throughout our discussion, all rings are commutative, Noetherian and have an identity element. The notion of the tight closure
More information(1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For ea
Torsion of dierentials on toric varieties Klaus Altmann Institut fur reine Mathematik, Humboldt-Universitat zu Berlin Ziegelstr. 13a, D-10099 Berlin, Germany. E-mail: altmann@mathematik.hu-berlin.de Abstract
More informationIntroduction to Arithmetic Geometry
Introduction to Arithmetic Geometry 18.782 Andrew V. Sutherland September 5, 2013 What is arithmetic geometry? Arithmetic geometry applies the techniques of algebraic geometry to problems in number theory
More informationJ. Symbolic Computation (1995) 11, 1{000 An algorithm for computing an integral basis in an algebraic function eld Mark van Hoeij Department of mathem
J. Symbolic Computation (1995) 11, 1{000 An algorithm for computing an integral basis in an algebraic function eld Mark van Hoeij Department of mathematics University of Nijmegen 6525 ED Nijmegen The Netherlands
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
More informationProceedings of the Twelfth Hudson Symposium, Lecture Notes in Math. No. 951, Springer-Verlag (1982), 4l 46.
Proceedings of the Twelfth Hudson Symposium, Lecture Notes in Math. No. 951, Springer-Verlag (1982), 4l 46. MAXIMAL TORSION RADICALS OVER RINGS WITH FINITE REDUCED RANK John A. Beachy Northern Illinois
More information1 Groups Examples of Groups Things that are not groups Properties of Groups Rings and Fields Examples...
Contents 1 Groups 2 1.1 Examples of Groups... 3 1.2 Things that are not groups....................... 4 1.3 Properties of Groups... 5 2 Rings and Fields 6 2.1 Examples... 8 2.2 Some Finite Fields... 10
More information2 THE COMPLEXITY OF TORSION-FREENESS On the other hand, the nite presentation of a group G also does not allow us to determine almost any conceivable
THE COMPUTATIONAL COMPLEXITY OF TORSION-FREENESS OF FINITELY PRESENTED GROUPS Steffen Lempp Department of Mathematics University of Wisconsin Madison, WI 53706{1388, USA Abstract. We determine the complexity
More informationSolution. That ϕ W is a linear map W W follows from the definition of subspace. The map ϕ is ϕ(v + W ) = ϕ(v) + W, which is well-defined since
MAS 5312 Section 2779 Introduction to Algebra 2 Solutions to Selected Problems, Chapters 11 13 11.2.9 Given a linear ϕ : V V such that ϕ(w ) W, show ϕ induces linear ϕ W : W W and ϕ : V/W V/W : Solution.
More informationNONCOMMUTATIVE POLYNOMIAL EQUATIONS. Edward S. Letzter. Introduction
NONCOMMUTATIVE POLYNOMIAL EQUATIONS Edward S Letzter Introduction My aim in these notes is twofold: First, to briefly review some linear algebra Second, to provide you with some new tools and techniques
More information2-ADIC ARITHMETIC-GEOMETRIC MEAN AND ELLIPTIC CURVES
-ADIC ARITHMETIC-GEOMETRIC MEAN AND ELLIPTIC CURVES KENSAKU KINJO, YUKEN MIYASAKA AND TAKAO YAMAZAKI 1. The arithmetic-geometric mean over R and elliptic curves We begin with a review of a relation between
More informationPlaces of Number Fields and Function Fields MATH 681, Spring 2018
Places of Number Fields and Function Fields MATH 681, Spring 2018 From now on we will denote the field Z/pZ for a prime p more compactly by F p. More generally, for q a power of a prime p, F q will denote
More informationResolution of Singularities in Algebraic Varieties
Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.
More informationBasic Proof Techniques
Basic Proof Techniques Joshua Wilde, revised by Isabel Tecu, Takeshi Suzuki and María José Boccardi August 13, 2013 1 Basic Notation The following is standard notation for proofs: A B. A implies B. A B.
More informationCONGRUENT NUMBERS AND ELLIPTIC CURVES
CONGRUENT NUMBERS AND ELLIPTIC CURVES JIM BROWN Abstract. These are essentially the lecture notes from a section on congruent numbers and elliptic curves taught in my introductory number theory class at
More information1.6.1 What are Néron Models?
18 1. Abelian Varieties: 10/20/03 notes by W. Stein 1.6.1 What are Néron Models? Suppose E is an elliptic curve over Q. If is the minimal discriminant of E, then E has good reduction at p for all p, in
More informationHomework 4 Solutions
Homework 4 Solutions November 11, 2016 You were asked to do problems 3,4,7,9,10 in Chapter 7 of Lang. Problem 3. Let A be an integral domain, integrally closed in its field of fractions K. Let L be a finite
More informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More informationVector Space Basics. 1 Abstract Vector Spaces. 1. (commutativity of vector addition) u + v = v + u. 2. (associativity of vector addition)
Vector Space Basics (Remark: these notes are highly formal and may be a useful reference to some students however I am also posting Ray Heitmann's notes to Canvas for students interested in a direct computational
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationElliptic curves over Q p
Rosa Winter rwinter@math.leidenuniv.nl Elliptic curves over Q p Bachelor thesis, August 23, 2011 Supervisor: Drs. R. Pannekoek Mathematisch Instituut, Universiteit Leiden Contents Introduction 3 1 The
More informationElliptic Curves and the abc Conjecture
Elliptic Curves and the abc Conjecture Anton Hilado University of Vermont October 16, 2018 Anton Hilado (UVM) Elliptic Curves and the abc Conjecture October 16, 2018 1 / 37 Overview 1 The abc conjecture
More information