On the Rank of the Elliptic Curve y 2 = x 3 nx
|
|
- Myron Morris Patrick
- 5 years ago
- Views:
Transcription
1 International Journal of Algebra, Vol. 6, 2012, no. 18, On the Rank of the Elliptic Curve y 2 = x 3 nx Yasutsugu Fujita College of Industrial Technology, Nihon University Shin-ei, Narashino, Chiba , Japan fujita.yasutsugu@nihon-u.ac.jp Nobuhiro Terai Division of General Education, Ashikaga Institute of Technology Omae, Ashikaga, Tochigi , Japan terai@ashitech.ac.jp Abstract Let n be a positive integer and E an elliptic curve over Q defined by y 2 = x 3 nx. In this paper, we give several parameterizations of n such that E has rank greater than or equal to three and four. Some of them are constructed by using the method of Tate, and the others are obtained by showing the independence of certain points on E. Mathematics Subject Classification: 11D25, 11G05 Keywords: Elliptic curves, rank, independent points 1 Introduction Let E be the elliptic curve given by E : y 2 = x 3 nx, where n is a positive integer. In 2007, Spearman [11] used the method of Tate (cf. [10, Chapter 3]) to show that if n = u 4 + v 4 is an odd prime for positive integers u, v, then rank E(Q) = 2. Spearman [12] also showed that if n = (u 2 +2v 2 ) 4 +(u 2 2v 2 ) 4 is twice a prime, then rank E(Q) = 3. Extending this Spearman s result, Walsh [13] has recently given analogous sufficient conditions for the elliptic curve with n twice a prime to have rank 3, where the conditions are given in terms of rational points on the curve. In our previous paper [4], we showed that if n is an odd prime of the form n = a 2 + b 4 with some conditions, then rank E(Q) = 2.
2 886 Y. Fujita and N. Terai In the above cases, we obtain rank E(Q) 2 (or 3) if we do not assume that n is a prime or twice a prime. Moreover, by using the method of Tate, it is not difficult to find that if n can be expressed as n = a 4 4b 4, then rank E(Q) 2. The aim of this paper is to obtain several parameterizations of n such that rank E(Q) 3 and 4, and our strategy is to consider those integers n that can be expressed in two ways as follows: n = a 4 + b 4 = c 4 4d 4, n = a 2 + b 4 = c 2 + d 4, n = a 4 + b 4 = c 2 + d 4, n = a 4 + b 4 = c 4 + d 4. Some of the parameterizations of the above n can be derived from the wellknown identities by people such as Fauquembergue and Euler. The organization of this paper is as follows. In Section 2, we briefly explain the method of Tate, and using it we construct some families of elliptic curves of rank E(Q) 3 and 4. In Section 3, we construct some families of elliptic curves of rank E(Q) 3 and 4 by showing that certain points are independent modulo E(Q) tors. This is done by checking that all the linear combinations of the points and the torsion point (0, 0) are not in 2E(Q) (for the reason this implies the independence of the points, see the proof of [2, Proposition 2] or of [4, Main Theorem (ii)]). At the end of Section 3, examples of high rank elliptic curves obtained by specializing our families are listed. Notation. Let E be an elliptic curve defined by y 2 = x 3 nx with a positive integer n, and E the isogenous curve to E defined by y 2 = x 3 +4nx. For these models, x(p ) (resp. x(p )) denotes the x-coordinate of a point P (resp. P )on E (resp. E). Denote by T (resp. T ) the torsion point (0, 0) on E (resp. E). Let ϕ : E E and ψ : E E be the isogenies defined by ( ) y 2 ϕ(p )= x, y(x2 + n) if P =(x, y) {O, T}, 2 x 2 O if P {O, T} and ( ) ȳ2 ψ(p )= 4 x, ȳ( x2 + n) if P =( x, ȳ) {O, T }, 2 8 x 2 O if P {O, T }. E 0 (R) denotes the identity component of E(R). Finally, denotes the square of a rational number.
3 On the rank of the elliptic curve y 2 = x 3 nx The method of Tate We describe the method for computing rank E(Q) of the above elliptic curve E, following [10, Chapter 3]. Denote by Γ the groups E(Q) of Q-rational points of E. Then, there exists a homomorphism α :Γ Q /(Q ) 2 defined by x (mod (Q ) 2 ) if P =(x, y) with x 0; α(p )= n (mod (Q ) 2 ) if P =(0, 0); 1 (mod (Q ) 2 ) if P = O. Let E be the elliptic curve given by E : y 2 = x 3 +4nx. Denoting E(Q) byγ, we can define a homomorphism α : Γ Q /(Q ) 2 in the same way as α. Then, examining the orders α(γ) and α(γ) reveals the rank r of Γ. In fact, we have α(γ) α(γ) 4 =2 r. (1) As seen in [10, Chapter 3], one may choose a square-free divisor of n as a representative of an element in α(γ). Moreover, a square-free divisor n of n which equals neither 1 nor the square-free part of n belongs to α(γ) if and only if the equation n S 4 n n T 4 = U 2 has an integer solution (s, t, u) with st 0 and (s, t) = (t, u) = (u, s) = (n,t)=(n, s) = 1. Then, the point (n s 2 /t 2, n su/t 3 ) is in Γ. The same is true for α(γ). Lemma 2.1. (cf. Spearman [11]) Let n be a positive integer of the form n = a 4 + b 4, where a and b are distinct positive integers. Then, 1 α(γ), 2 α(γ) and rank E(Q) 2.
4 888 Y. Fujita and N. Terai Proof. We first need Proth s identity (cf. [1, p. 657]) Since n = a 4 + b 4, the equation a 4 + b 4 +(a b) 4 =2(a 2 ab + b 2 ) 2. S 4 + nt 4 = U 2 has a solution (S, T, U) =(a, 1,b 2 ). By definition of α(γ), we see that {1, n, 1,n} α(γ). By Proth s identity, the equation 2S 4 +2nT 4 = U 2 has a solution (S, T, U) =(a b, 1,a 2 ab + b 2 ). It is easy to see that n can be neither a square nor twice a square, since the Diophantine equations X 4 + Y 4 = Z 2 and X 4 + Y 4 =2Z 2 have no positive integer solutions X, Y, Z with X Y, respectively (cf. [8, p. 16, p. 18]). By definition of α(γ), we see that {1,n,2, 2n} α(γ). Therefore we conclude that rank E(Q) 2. Theorem 2.2. Let n>17 be a positive integer of the form (i) n =(u 2 +2v 2 ) 4 +(u 2 2v 2 ) 4 or (ii) n =(u 2 +2uv v 2 ) 4 +(u 2 2uv v 2 ) 4, where u and v are positive coprime integers, then rank E(Q) 3. Proof. In the case of (i), from the identity we have (u 2 +2v 2 ) 4 +(u 2 2v 2 ) 4 4(2uv) 4 =2(u 4 4v 4 ) 2. 2(2uv) 4 n 2 = 2(2uv)4 (u2 +2v 2 ) 4 +(u 2 2 v 2 ) 4 which shows that the equation 2 = (u 4 4v 4 ) 2, 2S 4 + n 2 T 4 = U 2 has a solution (S, T, U) =(2uv, 1,u 4 4v 4 ). Hence, 2 α(γ). Similarly, in the case of (ii), using the identity (u 2 +2uv v 2 ) 4 +(u 2 2uv v 2 ) 4 64u 2 v 2 (u 2 v 2 ) 2 =2(u 4 6u 2 v 2 + v 4 ) 2, we see that 2 α(γ). Lemma 2.1. Therefore, in any case rank E(Q) 3 follows from
5 On the rank of the elliptic curve y 2 = x 3 nx 889 Remark 2.3. (1) If n = 17, then E(Q) has rank 2 with generators ( 1, 4), ( 4, 2) and the torsion T =(0, 0). (2) The proof of the case (i) of Theorem 2.2 is essentially due to Spearman. More precisely, in [12] using the above argument he showed that if p is an odd prime of the form 2p =(u 2 +2v 2 ) 4 +(u 2 2v 2 ) 4 for some integers u, v, then rank E(Q) = 3. (3) Using the method of Tate, Johnstone-Spearman [7] constructed an infinite family of congruent number elliptic curves each with rank at least three. In order to construct elliptic curves of rank E(Q) 4, we need the following lemmas. Lemma 2.4. Let n be a positive integer of the form n = AB, A B = M 2, A+ B =2N 2, where A, B, M, N are positive integers. Then, A α(γ) and 2A α(γ). Moreover, if A, 2A, B, 2B and n are non-square, then rank E(Q) 2. Proof. Since A B = M 2, the equation AS 4 BT 4 = U 2 has a solution (S, T, U) = (1, 1, M). By definition of α(γ), we see that {1,A, B, n} α(γ). Since A + B =2N 2, the equation AS 4 + BT 4 =2U 2 has a solution (S, T, U) =(1, 1,N). By definition of α(γ), we see that {1, 2A, 2B, n} α(γ). Therefore, if A, 2A, B, 2B and n are non-square, then rank E(Q) 2. Lemma 2.5. The Diophantine equation X 4 +4X 2 Y 2 ± 8XY 3 +4Y 4 = Z 2 has no solutions in positive integers X, Y, Z with X odd, gcd(x, Y )=1 and X Y.
6 890 Y. Fujita and N. Terai Proof. The equation can be written as Hence we have X 4 +(2Y (X ± Y )) 2 = Z 2. X 2 = r 2 s 2, 2Y (X ± Y )=±2rs, where r, s are positive integers such that gcd(r, s) =1,r s (mod 2) and r>s. Since X is odd and gcd(r, s) = 1, we obtain with X = mn, and so r + s = m 2, r s = n 2 r = m2 + n 2, s = m2 n Substituting these into Y 2 ± XY = ±rs gives. 4Y 2 ± 4mnY = m 4 n 4. (Interchange m and n, if necessary.) This implies that W 2 = m 4 + m 2 n 2 n 4 with W =2Y ± mn. Put t = m/n and W 1 = W/n 2.Now(x, y) =(t 2, tw 1 ) is a rational point on the elliptic curve y 2 = x(x 2 + x 1), which has rank 0 and torsion subgroup {O, (0, 0), (1, 1), (1, 1), ( 1, 1), ( 1, 1)}. This is impossible, since X, Y > 0, gcd(x, Y ) = 1 and X Y. Now we use Fauquembergue s identity (cf. [1, p. 658]) (u 4 2v 4 ) 4 +(2u 3 v) 4 =(u 4 +2v 4 ) 4 4(2uv 3 ) 4 (2) to construct elliptic curves of rank E(Q) 4. Theorem 2.6. Let n>17 be a positive integer of the form (i) n =(u 4 2v 4 ) 4 +(2u 3 v) 4 or (ii) n =(u 4 8v 4 ) 4 +(8uv 3 ) 4, where u and v are positive coprime integers with u odd. Then rank E(Q) 4.
7 On the rank of the elliptic curve y 2 = x 3 nx 891 Proof. First consider rank E(Q) in the case of (i). Put a = u 4 2v 4, b =2u 3 v, c = u 4 +2v 4, d =2uv 3 ; A = c 2 +2d 2, B = c 2 2d 2. Then, A B =(2d) 2, A+B =2c 2, and (2) shows that n = a 4 +b 4 = c 4 4d 4 = AB. Hence, A α(γ) and 2A α(γ) by Lemma 2.4. Since n = a 4 + b 4,we know by Lemma 2.1 that 1 α(γ) and 2 α(γ). Hence, {1, 1, A, A, B, B, n, n} α(γ) and {1, 2, A, 2A, B, 2B, n, 2n} α(γ). (3) Since n and 2n are non-square, it suffices to show that A, 2A, B, 2B are non-square. Putting X = u 2 and Y = v 2, we have A =(u 4 +2v 4 ) 2 + 2(2uv 3 ) 2 = X 4 +4X 2 Y 2 +8XY 3 +4Y 4, B =(u 4 +2v 4 ) 2 2(2uv 3 ) 2 = X 4 +4X 2 Y 2 8XY 3 +4Y 4. By Lemma 2.5, we see that A and B are non-square. If 2A (resp. 2B) isa square, then A (resp. B) is even, which is impossible, since u is odd. Therefore we conclude that rank E(Q) 4. Next consider rank E(Q) in the case of (ii). Since 4A 4B =(4d) 2, 4A +4B = 2(2c) 2, n = 16(a 4 + b 4 ) = 16(c 4 4d 4 )=16AB, we have (3) in the same way as above. non-square, we obtain rank E(Q) 4. Since A, 2A, B, 2B, n, 2n are 3 The independence of points Lemma 3.1. Let P O be a point in E(Q). (1) P ψ(e(q)) if and only if x(p ) is a square. In this case, putting P =(x, y) with x = x 2 0, one can express P E(Q) with ψ(p )=P as P = ( 2 (x 20 ± yx0 ), ±2x 0 x(p ) where the signs are taken simultaneously. (2) P 2E(Q) if and only if both x(p ) and x(p ) are squares for some P E(Q) with ψ(p )=P. ),
8 892 Y. Fujita and N. Terai Proof. (1) The assertion follows from the same argument as the proof of (iii) in [10, p. 83]. (2) (iii) in [10, p. 83] itself says that for P E(Q), P ϕ(e(q)) if and only if x(p ) is a square. The assertion now follows from the identity [2] = ψ ϕ as isogenies on E. Lemma 3.2. Assume that a non-square integer n can be expressed as n = a 2 + b 4 = c 2 + d 4 for nonzero integers a, b, c, d with { a,b 2 } { c,d 2 }. Let P 1 =( b 2,ab) and P 2 =( d 2,cd). (1) If neither 2(n b 2 d 2 + ac) nor 2(n b 2 d 2 ac) is a square, then P i,p i + T,P 1 + P 2,P 1 + P 2 + T 2E(Q) for i {1, 2}. Hence, P 1 and P 2 are independent modulo E(Q) tors. (2) If n is square-free, then the same assertion as (1) holds. Proof. (1) Since P 1,P 2,P 1 + P 2 + T E 0 (R), they cannot have 2-division points by Lemma 3.1 (2). Since x(p + T )= n/x(p ) for P {O, T}, the non-squareness of n implies that P 1 + T,P 2 + T 2E(Q). It suffices to check that P 1 + P 2 2E(Q). By the addition formula, we have ( (ad bc) 2 P 1 + P 2 = (b 2 d 2 ), (ad bc) {2nbd ac(b2 + d 2 ) 2b 3 d 3 } 2 (b 2 d 2 ) 3 From Lemma 3.1 (1), we see that there exists P E(Q) with ψ(p )=P 1 + P 2 such that x(p )= 2(n b2 d 2 ± ac). (b ± d) 2 It follows from Lemma 3.1 (2) that if 2(n b 2 d 2 ± ac) are non-square, then P 1 + P 2 2E(Q). (2) We only have to check that P 1 + P 2 2E(Q). Suppose that P 1 + P 2 2E(Q). Put A =2(n b 2 d 2 + ac) and B =2(n b 2 d 2 ac). If A and B, then P 1 + P 2 2E(Q) by (1), a contradiction. Otherwise, since AB =4 { (n b 2 d 2 ) 2 a 2 c 2} = 4 { (n b 2 d 2 ) 2 (n b 4 )(n d 4 ) } = 4(b 2 d 2 ) 2 n and n is square-free, either A = and n B or B = and n A holds. Hence, ). either n b 2 d 2 + ac or n b 2 d 2 ac holds. (4) If b 2 d 2 = ac, then a 2 + b 4 = c 2 + d 4 = b 4 d 4 /a 2 + d 4 = d 4 (a 2 + b 4 )/a 2, and thus a = d 2 and c = b 2, which contradicts { a,b 2 } { c,d 2 }. Hence, b 2 d 2 ±ac 0. Moreover, since 2{n (b 2 d 2 ± ac)} =(a c) 2 +(b 2 d 2 ) 2 > 0, we must have n>b 2 d 2 ± ac 0, which contradicts (4). Therefore, P 1 + P 2 2E(Q).
9 On the rank of the elliptic curve y 2 = x 3 nx n = a 2 + b 4 = c 2 + d 4 In Theorem 2.6, using the method of Tate, we constructed a family of elliptic curves of rank 4 for n of the the form n = a 4 + b 4 = AB with A B = and A + B =2. In this subsection, we construct a family of elliptic curves of rank 3 for n of the the form n = a 2 + b 4 = c 2 + d 4 = AB with A B =. For example, one parametrization of the above n can be derived from the following identities: n = u 8 +2αu 4 v 4 + γ 2 v 8 = (u 4 + αv 4 ) 2 +(2mv 2 ) 4 = (u 4 γv 4 ) 2 +(2muv) 4 = (u 4 +2u 2 v 2 + γv 4 )(u 4 2u 2 v 2 + γv 4 ), where α, β, γ are Pythagorean numbers satisfying α =4m 4 1, β =4m 2, γ =4m 4 +1 with m positive integer. Then the points P 1 = ( 4m 2 v 4, 2mv 2 (u 4 + αv 4 )), P 2 = ( 4m 2 u 2 v 2, 2muv(u 4 γv 4 )), P 3 = (u 4 +2u 2 v 2 + γv 4, 2uv(u 4 +2u 2 v 2 + γv 4 )) are in E(Q). When m = 1, we show the following: Theorem 3.3. Let n = u 8 +6u 4 v 4 +25v 8 with distinct positive integers u and v. Then rank E(Q) 3. Proof. Let P 1 = ( 4v 4, 2v 2 (u 4 +3v 4 )), P 2 = ( 4u 2 v 2, 2uv(u 4 5v 4 )) and P 3 =(u 4 +2u 2 v 2 +5v 4, 2uv(u 4 +2u 2 v 2 +5v 4 )). Then P 1,P 2,P 3 E(Q). It suffices to show that P 1,P 2,P 3 are independent modulo E(Q) tors. We will do this by checking that P i,p i + T,P i + P j,p i + P j + T,P 1 + P 2 + P 3,P 1 + P 2 + P 3 + T 2E(Q) for i, j {1, 2, 3} with i j. Now we show that the Diophantine equations u 4 +6u 2 v 2 +25v 4 = w 2,
10 894 Y. Fujita and N. Terai u 4 +2u 2 v 2 +5v 4 = w 2, u 4 +2u 2 v 2 5v 4 = w 2, u 4 2u 2 v 2 +5v 4 = w 2, has no positive integer solutions u, v, w with u v, respectively. Indeed, the above quartic curves can be reduced to the following elliptic curves of rank 0, respectively: E 1 : Y 2 = X(X 2 +6X + 25), E 2 : Y 2 = X(X 2 +2X +5), E 3 : Y 2 = X(X 2 +2X 5), E 4 : Y 2 = X(X 2 2X +5) with X = u 2 /v 2 and Y = uw/v 3 for t = u/v. Also, E 1 (Q) tors = {O, (0, 0), (5, 20), (5, 20)}, E 2 (Q) tors = {O, (0, 0)}, E 3 (Q) tors = {O, (0, 0)}, E 4 (Q) tors = {O, (0, 0), (1, 2), (1, 2), (5, 10), (5, 10)}. Since P 1,P 2,P 3 +T,P 1 +P 3,P 2 +P 3,P 1 +P 2 +T,P 1 +P 2 +P 3 +T E 0 (R), they cannot have any 2-division points in E(Q). Since x(p 3 )=u 4 +2u 2 v 2 +5v 4 is non-square, we have P 3 2E(Q). Since x(p i )= and x(p i +T )= n/x(p i ) for i {1, 2}, the non-squareness of n implies that P 1 + T,P 2 + T 2E(Q). Moreover, since 2(n b 2 d 2 ± ac) = if and only if u 4 +2u 2 v 2 ± 5v 4 =, Lemma 3.2 (2) shows that P 1 + P 2 2E(Q). Hence, we only have to check that P 1 + P 3 + T,P 2 + P 3 + T,P 1 + P 2 + P 3 2E(Q). We see from the addition formula that x(p 1 + P 2 + T ) = (u4 2u 2 v 2 +5v 4 )(u 2 +2uv +3v 2 ) 2, (u + v) 4 x(p 2 + P 3 + T ) = (u4 2u 2 v 2 +5v 4 )(u 2 + v 2 ) 2. (u 2 v 2 ) 2 Since u 4 2u 2 v 2 +5v 4 is non-square, we have P 1 +P 3 +T,P 2 +P 3 +T 2E(Q) by Lemma 3.1 (2). We further have ( A 2 P 1 + P 2 = 4v 2 (u v), AB 2 8v 3 (u v) 3 ),
11 On the rank of the elliptic curve y 2 = x 3 nx 895 where A = u 4 2u 3 v +2u 2 v 2 2uv 3 +5v 4, B = u 8 4u 7 v +8u 6 v 2 12u 5 v 3 +14u 4 v 4 28u 3 v 5 +40u 2 v 6 20uv 7 15v 8, and x(p 1 + P 2 + P 3 )= (u4 +2u 2 v 2 +5v 4 )(u 4 +3v 4 ) 2 (u 4 4uv 3 v 4 ) 2. Since u 4 +2u 2 v 2 +5v 4 is non-square, we have P 1 + P 2 + P 3 2E(Q). Remark 3.4. When m 2, we can not reduce the quartic curves to the elliptic curves of rank 0 in the same way as above. For example, E 1,m : Y 2 = X(X 2 +2αX + γ 2 ) ; rank E 1,m (Q) 1 for m =7, 8, 9, E 2,m : Y 2 = X(X 2 +2X + γ) ; rank E 2,m (Q) 1 for m =4, 6, 8, 9, E 3,m : Y 2 = X(X 2 +2X γ) ; rank E 2,m (Q) 1 for m =4, 5, 7, E 4,m : Y 2 = X(X 2 2X + γ) ; rank E 4,m (Q) 1 for 2 m n = a 4 + b 4 = c 2 + d 4 In this subsection, we construct a family of elliptic curves of rank 3 for n of the the form n = a 4 + b 4 = c 2 + d 4. One of the parameterizations of such n is given by Fauquembergue: a =17u 2 12uv 13v 2, b =17u 2 +12uv 13v 2 c = 289u 4 +14u 2 v 2 239v 4, d =17u 2 v 2 (5) (cf. [9, Part 7]). The points P 1 =( b 2,a 2 b), P 2 =( d 2,cd), P 3 =( a 2,ab 2 ) are in E(Q). Then we show the following: Theorem 3.5. Assume that an integer n can be expressed as n = a 4 + b 4 = c 2 + d 4 for nonzero integers a, b, c, d with a 2 {b 2, c,d 2 }. (1) If n is square-free, then rank E(Q) 3. (2) Let a, b, c, d be as in (5) for nonzero coprime integers u, v with u v. If u is even with u 0 (mod 13) and v is odd, then rank E(Q) 3. Note that in the assertion (2), the assumption a 2 {b 2, c,d 2 } implies uv 0and u v.
12 896 Y. Fujita and N. Terai Proof. In order to show that P 1, P 2 and P 3 are independent modulo E(Q) tors, it suffices to check that P i,p i + T,P i + P j,p i + P j + T,P 1 + P 2 + P 3,P 1 + P 2 + P 3 + T 2E(Q) for i, j {1, 2, 3} with i j. We know that P i,p i +P j +T,P 1 +P 2 +P 3 2E(Q), since they are not in E 0 (R). It is also clear from x(p + T )= n/x(p ) for P {O, T} and the non-squareness of n that P i +T 2E(Q). Moreover, since ( (a 2 + ab + b 2 ) 2 P 1 + P 3 =, ab(a2 + ab + b 2 )(2a 2 +3ab +2b 2 ) (a + b) 2 (a + b) 3 Lemma 3.1 (1) implies that there exists P E(Q) with ψ(p ) = P 1 + P 2 such that x(p )=2n/(a + b) 2 or 2(a + b) 2. Since the Diophantine equation X 4 + Y 4 =2Z 2 has no solution with X Y (cf. [8, p. 18]) and a 2 b 2, the square-free part of n = a 4 + b 4 is not equal to 2, and hence x(p ) cannot be a square in either case. It follows from Lemma 3.1 (2) that P 1 + P 3 2E(Q). We further have x(p 1 + P 2 + P 3 + T )= ), n {(a 2 + ab + b 2 ) 2 + d 2 (a + b) 2 } 2 {abd(2a 2 +3ab +2b 2 ) c(a + b)(a 2 + ab + b 2 )} 2. Since n = a 4 + b 4 cannot be a square, P 1 + P 2 + P 3 + T 2E(Q). Thus, the remaining points to check are P 1 + P 2 and P 2 + P 3. (1) By Lemma 3.2 (2) we have P 1 + P 2,P 2 + P 3 2E(Q). (2) In this case, we have n =2AB, where A = 289u 4 612u 3 v + 638u 2 v 2 468uv v 4, B = 289u u 3 v + 638u 2 v uv v 4. Since u is even and v is odd, 2B 2 (mod 4) and so 2B. Next we show that A. IfA =, saya = C 2, then this becomes C 2 + 2(8uv) 2 = (17u 2 18uv +13v 2 ) 2. Hence we have C = k(m 2 2N 2 ), 8uv =2kMN and 17u 2 18uv +13v 2 = k(m 2 +2N 2 ), (6) where M,N are positive integers with gcd(m, N) = 1 and M N (mod 2), and k is a positive integer. Since u is even and v is odd, we see that M is odd, N is even and k =1, 17 from u 0 (mod 13). The left hand side of (6) is congruent to 5 modulo 8. On the other hand, the right hand side of (6) is congruent to 1 modulo 8. Therefore A.
13 On the rank of the elliptic curve y 2 = x 3 nx 897 Since 2(n b 2 d 2 + a 2 c)=a{2(17u 2 +6uv 7v 2 )} 2 and 2(n b 2 d 2 a 2 c)= 2B {24(u v)v} 2, Lemma 3.2 (1), together with the assumptions A and 2B, implies that P 1 + P 2 2E(Q). By interchanging a and b (i.e., substituting v into v), we obtain P 2 + P 3 2E(Q). Remark 3.6. If A = in Theorem 3.5 (2), then the quartic curve can be reduced to the cubic curve E A : Y 2 = X X X with rank E A (Q) = 2 (cf. [8, p. 77]). In fact, there are many pairs of (u, v) such that A =. Thus we assume our conditions in Theorem n = a 4 + b 4 = c 4 + d 4 In this subsection, we construct a family of elliptic curves of rank 4 for n of the the form n = a 4 + b 4 = c 4 + d 4. The simplest parametrization known is a = u(u 6 + u 4 v 2 2u 2 v 4 +3uv 5 + v 6 ), b = v(u 6 3u 5 v 2u 4 v 2 + u 2 v 4 + v 6 ), c = u(u 6 + u 4 v 2 2u 2 v 4 3uv 5 + v 6 ), d = v(u 6 +3u 5 v 2u 4 v 2 + u 2 v 4 + v 6 ), which was first obtained by Euler. But this is not in any sense complete (cf. [5, p. 260]). When u =1,v= 2, it leads to = = This number is the smallest integer expressible as a sum of two fourth powers in two different ways (cf. [1, p. 646] and [14]). The points P 1 =( b 2,a 2 b), P 2 =( d 2,c 2 d), P 3 =( a 2,ab 2 ), P 4 =( c 2,cd 2 ) are in E(Q). Then we show the following: Theorem 3.7. Let A = u 4 +6u 2 v 2 + v 4, B = u 8 4u 6 v 2 +8u 4 v 4 4u 2 v 6 + v 8, C = u 8 u 4 v 4 + v 8, D = u 8 +2u 6 v 2 +11u 4 v 4 +2u 2 v 6 + v 8 and n = ABCD for positive coprime integers u and v with u v (mod 2). Then rank E(Q) 4.
14 898 Y. Fujita and N. Terai Proof. We will show that P 1,P 2,P 3,P 4 are independent modulo E(Q) tors. The difficulty is that P 1 + P 2 + P 3 + P 4 has a 2-division point in E(Q). In fact, P 1 + P 2 + P 3 + P 4 = 2Q with where Q = ( (u 2 + uv + v 2 ) 2 AB, uv(u2 + uv + v 2 )FAB ). (u + v) 2 (u + v) 3 F =2u 8 +3u 7 v 2u 6 v 2 12u 5 v 3 14u 4 v 4 12u 3 v 5 2u 2 v 6 +3uv 7 +2v 8. We obtained this as follows. Put P = P 1 + P 2 + P 3 + P 4. Adding the points P 1 + P 3 and P 2 + P 4, we have x(p )=N 2 /M 2, where M = 2uv(u + v)(u 2 + uv + v 2 )F, N = 2u 20 +8u 19 v +20u 18 v 2 +36u 17 v 3 +47u 16 v 4 +36u 15 v 5 4u 13 v 7 Put +122u 12 v u 11 v u 10 v u 9 v u 8 v 12 4u 7 v u 5 v u 4 v u 3 v u 2 v 18 +8uv 19 +2v 20. s = u 2 v 2 F 2, t =2(u + v) 2 (u 2 + uv + v 2 ) 2. Then we find that x(p ) ± n =(s ± t n) 2 /M 2. It follows from Lemma 2.2 in [3] that there exists Q E(Q) with 2Q = P such that x(q) = 2sN + s2 t 2 n + N 2 or x(q) = 2sN s2 + t 2 n N 2. M 2 M 2 We adopted the former expression. In view of definitions of A, B, C, D, we easily see that AB, CD, AD, BC with gcd(u, v) = 1 and u v (mod 2). Indeed, the following relations hold for A, B, C, D: B = A(A 16u 2 v 2 )+66u 4 v 4, D = A(A 10u 2 v 2 )+33u 4 v 4, D C =2u 2 v 2 A, C B = u 2 v 2 (4u 4 9u 2 v 2 +4v 4 ), (4u 4 9u 2 v 2 +4v 4 )(4u 4 +9u 2 v 2 +4v 4 )=16C 33u 4 v 4. Then gcd(a, B) =1, gcd(c, D) =1, gcd(a, D) = 1 and gcd(b,c) = 1, since A and C are indivisible by 3, 11 and gcd(u, v) = 1. Hence if AB =, CD =, AD =, BC =, then A =, C =, which are impossible from Mordell [8, p. 18, p. 20].
15 On the rank of the elliptic curve y 2 = x 3 nx 899 We now show that P 1,P 2,P 3,Qare independent modulo E(Q) tors (which is equivalent to that P 1,P 2,P 3,P 4 are independent modulo E(Q) tors ). It is clear that P i,p i + T,Q + T,P i + Q, P i + P j + T,P 1 + P 2 + P 3,P 1 + P 2 + P 3 + Q 2E(Q) for i, j {1, 2, 3} with i j, since they are not in E 0 (R) and x(p i + T )= n/x(p i ). We also have Q 2E(Q) by Lemma 3.1 (1) and AB. From the proof of Theorem 3.5 we see that P 1 + P 3,P 1 + P 2 + P 3 + T 2E(Q). Moreover, since 2(n b 2 d 2 + a 2 c 2 ) = {2u 2 (u 6 2u 4 v 2 + u 2 v 4 + v 6 )} 2 AD, 2(n b 2 d 2 a 2 c 2 ) = (12u 3 v 3 ) 2 BC, Lemma 3.2 (1) together with AD and BC implies that P 1 + P 2 2E(Q). Similarly we see that P 2 + P 3 2E(Q). Thus, it suffices to check that P i + Q + T, P i + P j + Q, P 1 + P 2 + P 3 + Q + T 2E(Q) (i, j {1, 2, 3}, i j). (7) The addition formula shows the following. x(p 1 + Q + T )= CD u, 2 (u 6 2u 4 v 2 +4u 2 v 4 + v 6 ) 2 CD x(p 2 + Q + T )= u 2 (u 2 + v 2 ) 2 (u 2 uv v 2 ) 2 (u 2 + uv v 2 ), 2 (u 6 +4u 4 v 2 2u 2 v 4 + v 6 ) 2 CD x(p 3 + Q + T )= v 2 (u 2 + v 2 ) 2 (u 2 uv v 2 ) 2 (u 2 + uv v 2 ), 2 x(p 1 + P 2 + Q) = (u2 uv + v 2 ) 2 AB, (u v) 2 x(p 1 + P 3 + Q) = (u6 + u 4 v 2 3u 3 v 3 + u 2 v 4 + v 6 ) 2 AB, 9u 4 v 4 (u v) 2 x(p 2 + P 3 + Q) = (u6 + u 4 v 2 +3u 3 v 3 + u 2 v 4 + v 6 ) 2 AB, 9u 4 v 4 (u + v) 2 x(p 1 + P 2 + P 3 + Q + T )= CD v. 2 It follows from AB, CD and Lemma 3.1 (1) that (7) holds. This completes the proof of Theorem 3.7. Remark 3.8. On the assumptions in Theorem 3.7, one can find that rank E(Q) 3 only by using the method of Tate. Indeed, the Diophantine equation CDS 4 ABT 4 = U 2 has a solution (S, T, U) =(1,v,u 2 (u 6 +u 4 v 2 +4u 2 v 4 5v 6 )),
16 900 Y. Fujita and N. Terai which implies CD α(γ). Since 1 α(γ) and 2 α(γ) by Lemmas 2.1, we obtain rank E(Q) 3. Note that CD α(γ) corresponds to the rational point ( ) CD P 1 + P 2 + P 3 + Q + T = v, u2 (u 6 + u 4 v 2 +4u 2 v 4 3v 6 )CD. 2 v 3 We conclude this paper by giving high rank curves. We searched elliptic curves of rank E(Q) 7 by Magma in the ranges of 1 u, v 50 in Theorems 2.2, 3.3, 3.5; 1 u, v 30 in Theorem 2.6; 1 u, v 20 in Theorem 3.7, and the results are listed in the following table (where * implies rank E(Q) 7). Theorems rank E(Q) (u, v) 2.2 (i) 7 (8,25), (10,23), (13,35)*, (23,5), (25,4) 2.2 (ii) 7 (1,32), (1,48), (7,20), (13,27), (31,33), (47,49) 2.6 (ii) 7 (27,10)* 8 (1,6), (9,2) (8,31), (19,48), (21,43), (24,19), (33,19), (48,23), (49,45) 8 (11,36), (25,48) 3.5 (2) 7 (28,11)* (1,5)*, (2,3)* References [1] L.E. Dickson, Theory of Numbers, Vol. II, CHELSEA, [2] A. Dujella and A. Pethő, Integer points on a family of elliptic curves, Publ. Math. Debrecen, 56 (2000), [3] Y. Fujita, Torsion subgroups of elliptic curves with non-cyclic torsion in elementary abelian 2-extensions of Q, Acta Arith., 115 (2004), [4] Y. Fujita and N. Terai, Integer points and independent points on the elliptic curve y 2 = x 3 p k x, Tokyo J. Math., 34 (2011), [5] G.H. Hardy and E.M. Wright, An introduction to the theory of numbers, sixth edition, Oxford Univ. Press, 2008.
17 On the rank of the elliptic curve y 2 = x 3 nx 901 [6] A.J. Hollier, B.K. Spearman and Q. Yang, On the rank and integral points of elliptic curves y 2 = x 3 px, Int. J. of Algebra, 3 (2009), [7] J.A. Johnstone and B.K. Spearman, Congruent number elliptic curves with rank at least three, Canad. Math. Bull., 53 (2010), [8] L.J. Mordell, Diophantine Equations, Academic Press, [9] T. Piezas, A collection of algebraic identities, [10] J.H. Silverman and J. Tate, Rational points on elliptic curves, Springer- Verlag, [11] B.K. Spearman, Elliptic curves y 2 = x 3 px of rank two, Math. J. Okayama Univ., 49 (2007), [12] B.K. Spearman, On the group structure of elliptic curves y 2 = x 3 2px, Int. J. Algebra, 1 (2007), [13] P.G. Walsh, Maximal ranks and integer points on a family of elliptic curves II, Rocky Mountain J. Math., 41 (2011), [14] P.G. Zajta, Solutions of the Diophantine equation A 4 + B 4 = C 4 + D 4, Math. Comp., 41 (1983), Received: March, 2012
On the Rank and Integral Points of Elliptic Curves y 2 = x 3 px
International Journal of Algebra, Vol. 3, 2009, no. 8, 401-406 On the Rank and Integral Points of Elliptic Curves y 2 = x 3 px Angela J. Hollier, Blair K. Spearman and Qiduan Yang Mathematics, Statistics
More informationARITHMETIC PROGRESSIONS OF SQUARES, CUBES AND n-th POWERS
ARITHMETIC PROGRESSIONS OF SQUARES, CUBES AND n-th POWERS L. HAJDU 1, SZ. TENGELY 2 Abstract. In this paper we continue the investigations about unlike powers in arithmetic progression. We provide sharp
More informationOn the Exponential Diophantine Equation a 2x + a x b y + b 2y = c z
International Mathematical Forum, Vol. 8, 2013, no. 20, 957-965 HIKARI Ltd, www.m-hikari.com On the Exponential Diophantine Equation a 2x + a x b y + b 2y = c z Nobuhiro Terai Division of Information System
More informationTHE NUMBER OF DIOPHANTINE QUINTUPLES. Yasutsugu Fujita College of Industrial Technology, Nihon University, Japan
GLASNIK MATEMATIČKI Vol. 45(65)(010), 15 9 THE NUMBER OF DIOPHANTINE QUINTUPLES Yasutsugu Fujita College of Industrial Technology, Nihon University, Japan Abstract. A set a 1,..., a m} of m distinct positive
More information#A20 INTEGERS 11 (2011) ON CONGRUENT NUMBERS WITH THREE PRIME FACTORS. Lindsey Reinholz
#A20 INTEGERS 11 (2011) ON CONGRUENT NUMBERS WITH THREE PRIME FACTORS Lindsey Reinholz Department of Mathematics and Statistics, University of British Columbia Okanagan, Kelowna, BC, Canada, V1V 1V7. reinholz@interchange.ubc.ca
More informationArithmetic Progressions Over Quadratic Fields
Arithmetic Progressions Over Quadratic Fields Alexander Diaz, Zachary Flores, Markus Vasquez July 2010 Abstract In 1640 Pierre De Fermat proposed to Bernard Frenicle de Bessy the problem of showing that
More informationOn a Problem of Steinhaus
MM Research Preprints, 186 193 MMRC, AMSS, Academia, Sinica, Beijing No. 22, December 2003 On a Problem of Steinhaus DeLi Lei and Hong Du Key Lab of Mathematics Mechanization Institute of Systems Science,
More informationMATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.
MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences. Congruences Let n be a postive integer. The integers a and b are called congruent modulo n if they have the same
More informationON A FAMILY OF ELLIPTIC CURVES
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLIII 005 ON A FAMILY OF ELLIPTIC CURVES by Anna Antoniewicz Abstract. The main aim of this paper is to put a lower bound on the rank of elliptic
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 informationFourth Power Diophantine Equations in Gaussian Integers
Manuscript 1 1 1 1 1 0 1 0 1 0 1 Noname manuscript No. (will be inserted by the editor) Fourth Power Diophantine Equations in Gaussian Integers Farzali Izadi Rasool Naghdali Forooshani Amaneh Amiryousefi
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 informationDiophantine m-tuples and elliptic curves
Diophantine m-tuples and elliptic curves Andrej Dujella (Zagreb) 1 Introduction Diophantus found four positive rational numbers 1 16, 33 16, 17 4, 105 16 with the property that the product of any two of
More informationOn the prime divisors of elements of a D( 1) quadruple
arxiv:1309.4347v1 [math.nt] 17 Sep 2013 On the prime divisors of elements of a D( 1) quadruple Anitha Srinivasan Abstract In [4] it was shown that if {1,b,c,d} is a D( 1) quadruple with b < c < d and b
More informationSome new families of positive-rank elliptic curves arising from Pythagorean triples
Notes on Number Theory and Discrete Mathematics Print ISSN 1310 5132, Online ISSN 2367 8275 Vol. 24, 2018, No. 3, 27 36 DOI: 10.7546/nntdm.2018.24.3.27-36 Some new families of positive-rank elliptic curves
More informationON MONIC BINARY QUADRATIC FORMS
ON MONIC BINARY QUADRATIC FORMS JEROME T. DIMABAYAO*, VADIM PONOMARENKO**, AND ORLAND JAMES Q. TIGAS*** Abstract. We consider the quadratic form x +mxy +ny, where m n is a prime number. Under the assumption
More informationA Diophantine System and a Problem on Cubic Fields
International Mathematical Forum, Vol. 6, 2011, no. 3, 141-146 A Diophantine System and a Problem on Cubic Fields Paul D. Lee Department of Mathematics and Statistics University of British Columbia Okanagan
More informationArithmetic Progressions over Quadratic Fields
uadratic Fields ( D) Alexer Díaz University of Puerto Rico, Mayaguez Zachary Flores Michigan State University Markus Oklahoma State University Mathematical Sciences Research Institute Undergraduate Program
More informationDecomposition of a recursive family of polynomials
Decomposition of a recursive family of polynomials Andrej Dujella and Ivica Gusić Abstract We describe decomposition of polynomials f n := f n,b,a defined by f 0 := B, f 1 (x := x, f n+1 (x = xf n (x af
More informationThe primitive root theorem
The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under
More informationFall 2004 Homework 7 Solutions
18.704 Fall 2004 Homework 7 Solutions All references are to the textbook Rational Points on Elliptic Curves by Silverman and Tate, Springer Verlag, 1992. Problems marked (*) are more challenging exercises
More informationExplicit solution of a class of quartic Thue equations
ACTA ARITHMETICA LXIV.3 (1993) Explicit solution of a class of quartic Thue equations by Nikos Tzanakis (Iraklion) 1. Introduction. In this paper we deal with the efficient solution of a certain interesting
More informationOn the Diophantine Equation x 4 +y 4 +z 4 +t 4 = w 2
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.11.5 On the Diophantine Equation x 4 +y 4 +z 4 +t 4 = w Alejandra Alvarado Eastern Illinois University Department of Mathematics and
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 informationON A THEOREM OF TARTAKOWSKY
ON A THEOREM OF TARTAKOWSKY MICHAEL A. BENNETT Dedicated to the memory of Béla Brindza Abstract. Binomial Thue equations of the shape Aa n Bb n = 1 possess, for A and B positive integers and n 3, at most
More informationCongruent Number Problem and Elliptic curves
Congruent Number Problem and Elliptic curves December 12, 2010 Contents 1 Congruent Number problem 2 1.1 1 is not a congruent number.................................. 2 2 Certain Elliptic Curves 4 3 Using
More informationZhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China
J. Number Theory 16(016), 190 11. A RESULT SIMILAR TO LAGRANGE S THEOREM Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing 10093, People s Republic of China zwsun@nju.edu.cn http://math.nju.edu.cn/
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 informationThis theorem allows us to describe all integer solutions as follows:
On the Diophantine equation a 3 + b 3 + c 3 + d 3 = 0 by RACHEL GAR-EL and LEONID VASERSTEIN (University Park, PA) Introduction. The equation a 3 + b 3 + c 3 + d 3 = 0 (1) has been studied by many mathematicians
More informationSQUARES FROM SUMS OF FIXED POWERS. Mark Bauer and Michael A. Bennett University of Calgary and University of British Columbia, Canada
SQUARES FROM SUMS OF FIXED POWERS Mark Bauer and Michael A. Bennett University of Calgary and University of British Columbia, Canada Abstract. In this paper, we show that if p and q are positive integers,
More informationPredictive criteria for the representation of primes by binary quadratic forms
ACTA ARITHMETICA LXX3 (1995) Predictive criteria for the representation of primes by binary quadratic forms by Joseph B Muskat (Ramat-Gan), Blair K Spearman (Kelowna, BC) and Kenneth S Williams (Ottawa,
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: v2 [math.nt] 23 Sep 2011
ELLIPTIC DIVISIBILITY SEQUENCES, SQUARES AND CUBES arxiv:1101.3839v2 [math.nt] 23 Sep 2011 Abstract. Elliptic divisibility sequences (EDSs) are generalizations of a class of integer divisibility sequences
More informationAlgorithm for Concordant Forms
Algorithm for Concordant Forms Hagen Knaf, Erich Selder, Karlheinz Spindler 1 Introduction It is well known that the determination of the Mordell-Weil group of an elliptic curve is a difficult problem.
More informationPRODUCTS OF THREE FACTORIALS
PRODUCTS OF THREE FACTORIALS A. DUJELLA, F. NAJMAN, N. SARADHA AND T. N. SHOREY Abstract. We study a question of Erdős and Graham on products of three factorials being a square. 1. Introduction For any
More informationChapter 5. Modular arithmetic. 5.1 The modular ring
Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence
More informationElementary Algebra Chinese Remainder Theorem Euclidean Algorithm
Elementary Algebra Chinese Remainder Theorem Euclidean Algorithm April 11, 2010 1 Algebra We start by discussing algebraic structures and their properties. This is presented in more depth than what we
More informationColloq. Math. 145(2016), no. 1, ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS. 1. Introduction. x(x 1) (1.1) p m (x) = (m 2) + x.
Colloq. Math. 145(016), no. 1, 149-155. ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS FAN GE AND ZHI-WEI SUN Abstract. For m = 3, 4,... those p m (x) = (m )x(x 1)/ + x with x Z are called generalized
More informationOn a Sequence of Nonsolvable Quintic Polynomials
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 1 (009), Article 09..8 On a Sequence of Nonsolvable Quintic Polynomials Jennifer A. Johnstone and Blair K. Spearman 1 Mathematics and Statistics University
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 informationLECTURE 18, MONDAY
LECTURE 18, MONDAY 12.04.04 FRANZ LEMMERMEYER 1. Tate s Elliptic Curves Assume that E is an elliptic curve defined over Q with a rational point P of order N 4. By changing coordinates we may move P to
More informationAlmost fifth powers in arithmetic progression
Almost fifth powers in arithmetic progression L. Hajdu and T. Kovács University of Debrecen, Institute of Mathematics and the Number Theory Research Group of the Hungarian Academy of Sciences Debrecen,
More informationMath 120 HW 9 Solutions
Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z
More information6.5 Elliptic Curves Over the Rational Numbers
6.5 Elliptic Curves Over the Rational Numbers 117 FIGURE 6.5. Louis J. Mordell 6.5 Elliptic Curves Over the Rational Numbers Let E be an elliptic curve defined over Q. The following is a deep theorem about
More informationDetermining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields
Determining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields István Gaál, University of Debrecen, Mathematical Institute H 4010 Debrecen Pf.12., Hungary
More information4 Powers of an Element; Cyclic Groups
4 Powers of an Element; Cyclic Groups Notation When considering an abstract group (G, ), we will often simplify notation as follows x y will be expressed as xy (x y) z will be expressed as xyz x (y z)
More informationON TORSION POINTS ON AN ELLIPTIC CURVES VIA DIVISION POLYNOMIALS
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
More informationProblemen. x = 2X 3 y = 2Y 4
Problemen NAW 5/7 nr. 3 september 2006 219 Problemen Problem Section Edition 2006/1 For Session 2006/1 We received submissions from Rik Bos, Thomas Decru, Ruud Jeurissen, Jaap Spies, B. Sury, the Fejéntaláltuka
More informationM381 Number Theory 2004 Page 1
M81 Number Theory 2004 Page 1 [[ Comments are written like this. Please send me (dave@wildd.freeserve.co.uk) details of any errors you find or suggestions for improvements. ]] Question 1 20 = 2 * 10 +
More informationRelative Densities of Ramified Primes 1 in Q( pq)
International Mathematical Forum, 3, 2008, no. 8, 375-384 Relative Densities of Ramified Primes 1 in Q( pq) Michele Elia Politecnico di Torino, Italy elia@polito.it Abstract The relative densities of rational
More informationADDITIVE GROUPS OF SELF-INJECTIVE RINGS
SOOCHOW JOURNAL OF MATHEMATICS Volume 33, No. 4, pp. 641-645, October 2007 ADDITIVE GROUPS OF SELF-INJECTIVE RINGS BY SHALOM FEIGELSTOCK Abstract. The additive groups of left self-injective rings, and
More informationD( 1)-QUADRUPLES AND PRODUCTS OF TWO PRIMES. Anitha Srinivasan Saint Louis University-Madrid campus, Spain
GLASNIK MATEMATIČKI Vol. 50(70)(2015), 261 268 D( 1)-QUADRUPLES AND PRODUCTS OF TWO PRIMES Anitha Srinivasan Saint Louis University-Madrid campus, Spain Abstract. A D( 1)-quadruple is a set of positive
More informationSection II.1. Free Abelian Groups
II.1. Free Abelian Groups 1 Section II.1. Free Abelian Groups Note. This section and the next, are independent of the rest of this chapter. The primary use of the results of this chapter is in the proof
More informationTHE PROBLEM OF DIOPHANTUS FOR INTEGERS OF Q( 3) Zrinka Franušić and Ivan Soldo
RAD HAZU. MATEMATIČKE ZNANOSTI Vol. 8 = 59 (04): 5-5 THE PROBLEM OF DIOPHANTUS FOR INTEGERS OF Q( ) Zrinka Franušić and Ivan Soldo Abstract. We solve the problem of Diophantus for integers of the quadratic
More informationMATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM
MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM Basic Questions 1. Compute the factor group Z 3 Z 9 / (1, 6). The subgroup generated by (1, 6) is
More informationEXAMPLES OF MORDELL S EQUATION
EXAMPLES OF MORDELL S EQUATION KEITH CONRAD 1. Introduction The equation y 2 = x 3 +k, for k Z, is called Mordell s equation 1 on account of Mordell s long interest in it throughout his life. A natural
More informationON `-TH ORDER GAP BALANCING NUMBERS
#A56 INTEGERS 18 (018) ON `-TH ORDER GAP BALANCING NUMBERS S. S. Rout Institute of Mathematics and Applications, Bhubaneswar, Odisha, India lbs.sudhansu@gmail.com; sudhansu@iomaorissa.ac.in R. Thangadurai
More informationA SURVEY OF PRIMALITY TESTS
A SURVEY OF PRIMALITY TESTS STEFAN LANCE Abstract. In this paper, we show how modular arithmetic and Euler s totient function are applied to elementary number theory. In particular, we use only arithmetic
More informationarxiv:math/ v1 [math.nt] 9 Aug 2004
arxiv:math/0408107v1 [math.nt] 9 Aug 2004 ELEMENTARY RESULTS ON THE BINARY QUADRATIC FORM a 2 + ab + b 2 UMESH P. NAIR Abstract. This paper examines with elementary proofs some interesting properties of
More informationAn unusual cubic representation problem
Annales Mathematicae et Informaticae 43 (014) pp. 9 41 http://ami.ektf.hu An unusual cubic representation problem Andrew Bremner a, Allan Macleod b a School of Mathematics and Mathematical Statistics,
More informationRational tetrahedra with edges in geometric progression
Journal of Number Theory 128 (2008) 251 262 www.elsevier.com/locate/jnt Rational tetrahedra with edges in geometric progression C. Chisholm, J.A. MacDougall School of Mathematical and Physical Sciences,
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 informationNumber Theory Solutions Packet
Number Theory Solutions Pacet 1 There exist two distinct positive integers, both of which are divisors of 10 10, with sum equal to 157 What are they? Solution Suppose 157 = x + y for x and y divisors of
More informationTHE PROBLEM OF DIOPHANTUS FOR INTEGERS OF. Zrinka Franušić and Ivan Soldo
THE PROBLEM OF DIOPHANTUS FOR INTEGERS OF Q( ) Zrinka Franušić and Ivan Soldo Abstract. We solve the problem of Diophantus for integers of the quadratic field Q( ) by finding a D()-quadruple in Z[( + )/]
More informationDiophantine Equations and Hilbert s Theorem 90
Diophantine Equations and Hilbert s Theorem 90 By Shin-ichi Katayama Department of Mathematical Sciences, Faculty of Integrated Arts and Sciences The University of Tokushima, Minamijosanjima-cho 1-1, Tokushima
More informationON SOME DIOPHANTINE EQUATIONS (I)
An. Şt. Univ. Ovidius Constanţa Vol. 10(1), 2002, 121 134 ON SOME DIOPHANTINE EQUATIONS (I) Diana Savin Abstract In this paper we study the equation m 4 n 4 = py 2,where p is a prime natural number, p
More informationNumber Theory Marathon. Mario Ynocente Castro, National University of Engineering, Peru
Number Theory Marathon Mario Ynocente Castro, National University of Engineering, Peru 1 2 Chapter 1 Problems 1. (IMO 1975) Let f(n) denote the sum of the digits of n. Find f(f(f(4444 4444 ))). 2. Prove
More informationMATH 361: NUMBER THEORY FOURTH LECTURE
MATH 361: NUMBER THEORY FOURTH LECTURE 1. Introduction Everybody knows that three hours after 10:00, the time is 1:00. That is, everybody is familiar with modular arithmetic, the usual arithmetic of the
More informationDiophantine quadruples and Fibonacci numbers
Diophantine quadruples and Fibonacci numbers Andrej Dujella Department of Mathematics, University of Zagreb, Croatia Abstract A Diophantine m-tuple is a set of m positive integers with the property that
More informationOn symmetric square values of quadratic polynomials
ACTA ARITHMETICA 149.2 (2011) On symmetric square values of quadratic polynomials by Enrique González-Jiménez (Madrid) and Xavier Xarles (Barcelona) 1. Introduction. In this note we are dealing with the
More informationDefinitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch
Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary
More informationA family of quartic Thue inequalities
A family of quartic Thue inequalities Andrej Dujella and Borka Jadrijević Abstract In this paper we prove that the only primitive solutions of the Thue inequality x 4 4cx 3 y + (6c + 2)x 2 y 2 + 4cxy 3
More information1. multiplication is commutative and associative;
Chapter 4 The Arithmetic of Z In this chapter, we start by introducing the concept of congruences; these are used in our proof (going back to Gauss 1 ) that every integer has a unique prime factorization.
More informationSolutions I.N. Herstein- Second Edition
Solutions I.N. Herstein- Second Edition Sadiah Zahoor Please email me if any corrections at sadiahzahoor@cantab.net. R is a ring in all problems. Problem 0.1. If a, b, c, d R, evaluate (a + b)(c + d).
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 informationA Diophantine System Concerning Sums of Cubes
1 2 3 47 6 23 11 Journal of Integer Sequences Vol. 16 (2013) Article 13.7.8 A Diophantine System Concerning Sums of Cubes Zhi Ren Mission San Jose High School 41717 Palm Avenue Fremont CA 94539 USA renzhistc69@163.com
More informationON DIFFERENCES OF TWO SQUARES IN SOME QUADRATIC FIELDS
ON DIFFERENCES OF TWO SQUARES IN SOME QUADRATIC FIELDS ANDREJ DUJELLA AND ZRINKA FRANUŠIĆ Abstract. It this paper, we study the problem of determining the elements in the rings of integers of quadratic
More informationMATH 152 Problem set 6 solutions
MATH 52 Problem set 6 solutions. Z[ 2] is a Euclidean domain (i.e. has a division algorithm): the idea is to approximate the quotient by an element in Z[ 2]. More precisely, let a+b 2, c+d 2 Z[ 2] (of
More informationBOUNDS FOR DIOPHANTINE QUINTUPLES. Mihai Cipu and Yasutsugu Fujita IMAR, Romania and Nihon University, Japan
GLASNIK MATEMATIČKI Vol. 5070)2015), 25 34 BOUNDS FOR DIOPHANTINE QUINTUPLES Mihai Cipu and Yasutsugu Fujita IMAR, Romania and Nihon University, Japan Abstract. A set of m positive integers {a 1,...,a
More informationNumber Theory Marathon. Mario Ynocente Castro, National University of Engineering, Peru
Number Theory Marathon Mario Ynocente Castro, National University of Engineering, Peru 1 2 Chapter 1 Problems 1. (IMO 1975) Let f(n) denote the sum of the digits of n. Find f(f(f(4444 4444 ))). 2. Prove
More informationLecture notes: Algorithms for integers, polynomials (Thorsten Theobald)
Lecture notes: Algorithms for integers, polynomials (Thorsten Theobald) 1 Euclid s Algorithm Euclid s Algorithm for computing the greatest common divisor belongs to the oldest known computing procedures
More informationA field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties:
Byte multiplication 1 Field arithmetic A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties: F is an abelian group under addition, meaning - F is closed under
More informationActa Acad. Paed. Agriensis, Sectio Mathematicae 28 (2001) POWER INTEGRAL BASES IN MIXED BIQUADRATIC NUMBER FIELDS
Acta Acad Paed Agriensis, Sectio Mathematicae 8 00) 79 86 POWER INTEGRAL BASES IN MIXED BIQUADRATIC NUMBER FIELDS Gábor Nyul Debrecen, Hungary) Abstract We give a complete characterization of power integral
More informationA Pellian equation with primes and applications to D( 1)-quadruples
A Pellian equation with primes and applications to D( 1)-quadruples Andrej Dujella 1, Mirela Jukić Bokun 2 and Ivan Soldo 2, 1 Department of Mathematics, Faculty of Science, University of Zagreb, Bijenička
More informationSOME DIOPHANTINE TRIPLES AND QUADRUPLES FOR QUADRATIC POLYNOMIALS
SOME DIOPHANTINE TRIPLES AND QUADRUPLES FOR QUADRATIC POLYNOMIALS ANDREJ DUJELLA AND ANA JURASIĆ Abstract. In this paper we give some new examples of polynomial D(n)- triples and quadruples i.e. sets of
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 informationON UNIVERSAL SUMS OF POLYGONAL NUMBERS
Sci. China Math. 58(2015), no. 7, 1367 1396. ON UNIVERSAL SUMS OF POLYGONAL NUMBERS Zhi-Wei SUN Department of Mathematics, Nanjing University Nanjing 210093, People s Republic of China zwsun@nju.edu.cn
More informationIntroduction to Elliptic Curves
IAS/Park City Mathematics Series Volume XX, XXXX Introduction to Elliptic Curves Alice Silverberg Introduction Why study elliptic curves? Solving equations is a classical problem with a long history. Starting
More informationOn the polynomial x(x + 1)(x + 2)(x + 3)
On the polynomial x(x + 1)(x + 2)(x + 3) Warren Sinnott, Steven J Miller, Cosmin Roman February 27th, 2004 Abstract We show that x(x + 1)(x + 2)(x + 3) is never a perfect square or cube for x a positive
More informationNotes on Systems of Linear Congruences
MATH 324 Summer 2012 Elementary Number Theory Notes on Systems of Linear Congruences In this note we will discuss systems of linear congruences where the moduli are all different. Definition. Given the
More information#A77 INTEGERS 16 (2016) EQUAL SUMS OF LIKE POWERS WITH MINIMUM NUMBER OF TERMS. Ajai Choudhry Lucknow, India
#A77 INTEGERS 16 (2016) EQUAL SUMS OF LIKE POWERS WITH MINIMUM NUMBER OF TERMS Ajai Choudhry Lucknow, India ajaic203@yahoo.com Received: 3/20/16, Accepted: 10/29/16, Published: 11/11/16 Abstract This paper
More informationREDUCTION OF ELLIPTIC CURVES OVER CERTAIN REAL QUADRATIC NUMBER FIELDS
MATHEMATICS OF COMPUTATION Volume 68, Number 228, Pages 1679 1685 S 0025-5718(99)01129-1 Article electronically published on May 21, 1999 REDUCTION OF ELLIPTIC CURVES OVER CERTAIN REAL QUADRATIC NUMBER
More informationSquares in products with terms in an arithmetic progression
ACTA ARITHMETICA LXXXVI. (998) Squares in products with terms in an arithmetic progression by N. Saradha (Mumbai). Introduction. Let d, k 2, l 2, n, y be integers with gcd(n, d) =. Erdős [4] and Rigge
More informationTripotents: a class of strongly clean elements in rings
DOI: 0.2478/auom-208-0003 An. Şt. Univ. Ovidius Constanţa Vol. 26(),208, 69 80 Tripotents: a class of strongly clean elements in rings Grigore Călugăreanu Abstract Periodic elements in a ring generate
More informationAn arithmetic theorem related to groups of bounded nilpotency class
Journal of Algebra 300 (2006) 10 15 www.elsevier.com/locate/algebra An arithmetic theorem related to groups of bounded nilpotency class Thomas W. Müller School of Mathematical Sciences, Queen Mary & Westfield
More informationCYCLOTOMIC POLYNOMIALS
CYCLOTOMIC POLYNOMIALS 1. The Derivative and Repeated Factors The usual definition of derivative in calculus involves the nonalgebraic notion of limit that requires a field such as R or C (or others) where
More informationElliptic curves with torsion group Z/8Z or Z/2Z Z/6Z
Elliptic curves with torsion group Z/8Z or Z/2Z Z/6Z Andrej Dujella and Juan Carlos Peral Abstract. We show the existence of families of elliptic curves over Q whose generic rank is at least 2 for the
More informationHandout - Algebra Review
Algebraic Geometry Instructor: Mohamed Omar Handout - Algebra Review Sept 9 Math 176 Today will be a thorough review of the algebra prerequisites we will need throughout this course. Get through as much
More information