Pell Equation x 2 Dy 2 = 2, II

Size: px
Start display at page:

Download "Pell Equation x 2 Dy 2 = 2, II"

Transcription

1 Irish Math Soc Bulletin Pell Equation x 2 Dy 2 2 II AHMET TEKCAN Abstract In this paper solutions of the Pell equation x 2 Dy 2 2 are formulated for a positive non-square integer D using the solutions of the Pell equation x 2 Dy 2 1 Moreover a recurrence relation on the solutions of the Pell equation x 2 Dy 2 2 is obtained Furthermore the solutions of the equation x 2 n Dyn 2 2 n are obtained using the solutions of the equation x 2 Dy Introduction A real binary quadratic form f or just a form is a polynomial in two variables of the type fx y ax 2 + bxy + cy 2 with real coefficients a b c The discriminant of f is defined by the formula b 2 4ac and denoted by D Let D be a non-square discriminant Then the Pell form is defined by the formula { x f D x y 2 D 4 y2 if D 0 mod 4 x 2 + xy D y2 if D 1 mod 4 Let P elld { x y Z 2 : f D x y 1 } and P ell ± D { x y Z 2 : f D x y ±1 } Then P elld is infinite The binary operation x 1 y 1 x 2 y 2 x 1 x 2 + Dy 1 y 2 x 1 y 2 + y 1 x Mathematics Subject Classification 11E15 11E18 11E25 Key words and phrases Pell forms Pell equation solution of the Pell equation

2 74 Ahmet Tekcan is a group law on P elld for which P elld {±1} Z Let d be a positive non-square discriminant and K Q d be the quadratic number field Then every element α of K can be represented as α a + b d c for a b c Z The conjugate of α is denoted by α a b d c The trace and norm of α are given by and T rα α + α 2a c Nα αα a2 db 2 c 2 respectively It is easy to show that for α β K and T rα + β T rα + T rβ Nαβ NαNβ If d 1 mod 4 then the elements of K are of the form α a + b d 12 2 where a b Z and if d 2 3 mod 4 then the elements of K are of the form α a + b d 13 where a b Z As in the case of rationals the set of integers of K forms a ring which we will be denoted as O K the maximal order of K If every integer α O K can be uniquely expressed as α a 1 w 1 + a 2 w 2 where a i Z and w i O K then we call w 1 w 2 an integral basis for K and we denote O K by the Z-module [w 1 w 2 ] w 1 Z + w 2 Z Every algebraic number field has an integral basis and in the quadratic fields it is especially easy to give one

3 Pell Equation x 2 Dy 2 2 II 75 If d 1 mod 4 then from Eq 12 it is seen that w 1 1 and w d 2 is an integral basis If d 2 3 mod 4 then from Eq 13 it is seen that w 1 2 and w 2 d is an integral basis The discriminant of K is defined as DK w 2 1 w 1 w 2 w 2 hence DK D for d 1 mod 4 and DK 4d for d 2 3 mod 4 Therefore DK 4d for { 2 d 1 mod 4 r 1 d 2 3 mod 4 and {1 w} is an integral basis of K for see [2] The D-order O D where ρ D r 2 w r 1 + d r is defined to be the ring It is clear from definition that O D 14 O D {x + yρ D : x y Z} 15 { D 4 if D 0 mod 4 1+ D 2 if D 1 mod 4 is a subring of Q D Lemma 11 [1] Let α O D Then α is a unit in O D if and only if Nα ±1 The unit group OD is defined to be the group of units of the ring O D Let OD1 {α OD : Nα +1} and for D > 0 OD+ {α OD : α > 0}

4 76 Ahmet Tekcan be the subgroup of positive units By Eq 11 and Lemma 11 there is a bijection ψ : P ell ± D OD given by ψx y x + yρ D Since it is in bijection with a commutative group P ell ± D itself is a group for every non-square discriminant D The mapping ψ is used to transport the group law from OD so that by definition ab ψ 1 ψaψb for every a b P ell ± D ie the product u vu V of two elements u v U V P ell ± D is defined by the rule u vu V x y 16 where x + yρ D u + vρ D U + V ρ D It follows by a calculation that { uu + D u vu V 4 vv uv + vu if D 0 mod 4 uu + D 1 4 vv uv + vu + vv if D 1 mod 4 17 The group structure on P ell ± D has been defined as ψ : P ell ± D O D and is an isomorphism of groups Moreover Eq 17 is a group law on P ell ± D with identity element 1 0 for all non-zero discriminants D Lemma 12 [1] OD+ Z for every positive non-square discriminant D From Lemma 12 we obtain Lemma 13 [1] Let D be a non-square discriminant and let ε D be the smallest unit of O D that is greater than 1 and let { εd if Nε τ D D +1 if Nε D 1 then and ε 2 D P ell ± D O D {±ε n D; n Z} {±1} Z P elld O D1 {±τ n D; n Z} {±1} Z

5 Pell Equation x 2 Dy 2 2 II 77 The fundamental unit ε D is defined to be the smallest unit of O D that is greater than 1 The Pell equation is the equation x 2 dy 2 1 and the negative Pell equation is the equation x 2 dy 2 1 where d is a positive non-square integer The set of all solutions of the Pell equation is infinite The first solution x 1 y 1 of the Pell equation is called the fundamental solution One may rewrite the Pell equation as x 2 dy 2 x + y d x y d 1 so that finding a solution comes down to finding a nontrivial unit in the ring Z [ d ] of norm 1; here the norm Z [ d ] Z {±1} between unit groups multiplies each unit by its conjugate and the units ±1 of Z [ d ] are considered trivial This reformulation implies that once one knows a solution fundamental solution of the Pell equation one can find infinitely many others More precisely if the solutions are ordered by magnitude then the n th solution x n y n can be expressed in terms of the fundamental solution by x n + y n d x 1 + y 1 d n 18 for n 2 In [3] Jacobson and Williams considered the solutions of the consecutive Pell equations X0 2 D 1Y0 2 1 and X1 2 DY1 2 1 where D and D 1 are not perfect square They also proved that ρd log X 1 log X 0 could be arbitrary large for integers X 1 and X 2 In [4] McLaughlin considered the solutions of the multi-variable polynomial Pell equation Ci 2 F ihi 2 1n 1 where n is a positive integer {F i } a finite collection of multi-variable polynomials C i and H i are multi-variable polynomials with integral coefficients In [5] Lenstra gave the solution of the Pell equation using the ring Z [ d ] He considered the solvability of the Pell equation as a special case of Dirichlet s unit theorem from algebraic number theory which describes the structure of the group of units of a general ring of algebraic integers; for the ring Z [ d ] it is product of {±1} and an infinite cyclic group In [6] Li proved that the Pell equation x 2 dy 2 1 has infinitely positive solutions If x 1 y 1 is the fundamental solution then for n x n + y n d x1 + y 1 d n The pairs x n y n are all the positive solutions of the Pell equation The x n s and y n s are

6 78 Ahmet Tekcan strictly increasing to infinity and satisfy the recurrence relations x n+2 2x 1 x n+1 x n y n+2 2x 1 y n+1 y n Li also proved that the fundamental solution of the Pell equation is obtained by writing d as a simple continued fraction It turns out that 1 d a0 + a a 2 + where a 0 [ d ] and a 1 a 2 is a periodic positive integer sequence The continued fraction will be denoted by a 0 a 1 a 2 The kth convergent of a 0 a 1 a 2 is the number p k q k a 0 a 1 a 2 a k with p k and q k relatively prime numbers Let a 0 a 1 a 2 a m be the period for d Then the fundamental solution of the Pell equation x 2 dy 2 1 is { pm 1 q x 1 y 1 m 1 if m is even p 2m 1 q 2m 1 if m is odd and the other solutions are x n + y n d x 1 + y 1 d n for n 2 In [7] Matthews considered the solutions of the equation x 2 Dy 2 N for D > 0 He shoved that a necessary condition for the solvability of x 2 Dy 2 N with gcdx y 1 is that the congruence u 2 D mod Q 0 shall be soluble where Q 0 N In [8] Mollin gave a formula for the solutions of the equations both X 2 DY 2 c and x 2 Dy 2 c using the ideals I [Q P + D] for positive non-square integer D In [9] Mollin Cheng and Goddard considered the solutions of the Diophantine equation ax 2 by 2 c in terms of the simple continued fraction expansion of a 2 b and they explored a criteria for the solvability of AX 2 BY 2 C for given integers A B C N In [10] Mollin Poorten and Williams considered the equation x 2 Dy 2 3 They obtained a formula for the solutions of this equation using the continued fraction expansion of D and using the ambiguous ideals I [Q P + D] ie I I where I denotes the conjugate of I

7 Pell Equation x 2 Dy 2 2 II 79 In [11] Stevenhagen considered the solutions of the negative Pell equation x 2 Dy 2 1 for a positive non-square integer D He stated a conjecture for the solutions of the equation x 2 Dy 2 1 In [12] we considered the solutions of the Pell equation x 2 Dy 2 2 using the fundamental element of the field Q In the present paper the solutions of the Pell equation x 2 Dy 2 2 for positive non-square integer and a recurrence relation for the solutions of the Pell equation x 2 Dy 2 2 are obtained using the solutions of the Pell equation x 2 Dy The Pell Equation x 2 Dy 2 2 First consider the fundamental solution of the Pell equation x 2 Dy 2 2 Theorem 21 If x 1 y 1 a 1 is the fundamental solution of the Pell equation x 2 Dy 2 1 then the fundamental solution of the Pell equation x 2 D 1y 2 2 is X 1 Y 1 a 1 Proof Since x 1 y 1 a 1 is the fundamental solution of the Pell equation x 2 Dy 2 1 we have a 2 D 1 Hence by basic calculation it is easily seen that X 2 1 D 1Y 2 1 a 2 D 1 a 2 D Therefore X 1 Y 1 a 1 is the fundamental solution of the Pell equation x 2 Dy 2 2 Theorem 22 If D k 2 2 k 2 then the fundamental solution of the Pell equation x 2 Dy 2 1 is x 1 y 1 a b k 2 1 k and the fundamental solution of the Pell equation x 2 Dy 2 2 is X 1 Y 1 b 1 Proof Note that x 1 y 1 a b k 2 1 k is the fundamental solution of the Pell equation x 2 Dy 2 1 since x 2 1 Dy 2 1 a 2 Db 2 k k 2 2k 2 1 For X 1 Y 1 b 1 we get X 2 1 DY 2 1 b 2 D k 2 k Therefore X 1 Y 1 b 1 is the fundamental solution of the Pell equation x 2 Dy 2 2

8 80 Ahmet Tekcan Now we consider the solutions of the Pell equation x 2 Dy 2 2 To get this we have the following theorem Theorem 23 Let X 1 Y 1 k l be the fundamental solution of the Pell equation x 2 Dy 2 2 Then the other solutions of the Pell equation x 2 Dy 2 2 are X n Y n where Xn k ld xn 1 21 Y n l k y n 1 for n 2 Proof From above equalities we get Xn k ld xn 1 Y n l k y n 1 Hence it is easily seen that kxn 1 + ldy n 1 lx n 1 + ky n 1 X 2 n DY 2 n kx n 1 + ldy n 1 2 D lx n 1 + ky n 1 2 k 2 x 2 n 1 + 2klDx n 1 y n 1 + l 2 D 2 y 2 n 1 Dl 2 x 2 n 1 + 2klx n 1 y n 1 + k 2 y 2 n 1 k 2 x 2 n 1 Dy 2 n 1 Dl 2 x 2 n 1 Dy 2 n 1 x 2 n 1 Dy 2 n 1k 2 Dl since x 2 n 1 Dyn and X 1 Y 1 k l be the fundamental solution of the Pell equation x 2 Dy 2 2 ie k 2 Dl 2 2 From Theorem 23 the following corollary can be obtained Corollary 24 The solutions X n Y n of the Pell equation x 2 Dy 2 2 satisfy the following relations Xn+1 axn + bdy n a bd Xn Y n+1 bx n + ay n b a Y n for n 1 Proof We know from Eq 22 that Xn kxn 1 + ldy n 1 Y n lx n 1 + ky n 1 Hence x n 1 klx n + 2 k 2 Y n 2l and y n 1 lx n + ky n 23 2

9 Pell Equation x 2 Dy 2 2 II 81 On the other hand from Eq 21 n xn a bd 1 y n b a 0 n 1 a bd a bd 1 b a b a 0 a bd xn 1 b a y n 1 axn 1 + bdy n 1 bx n 1 + ay n 1 Using Eq 23 and Eq 24 we find Xn+1 k ld xn Y n+1 l k y n k ld axn 1 + bdy n 1 l k bx n 1 + ay n 1 xn 1 ak + bld + y n 1 bkd + ald x n 1 al + bk + y n 1 bld + ak Applying Eq 23 and Eq 25 it follows that and X n+1 x n 1 ak + bld + y n 1 bkd + ald klxn + 2 k 2 Y n ak + bld 2l lxn + ky n + bkd + ald 2 2alX n + 2bDlY n 2l ax n + bdy n Y n+1 x n 1 al + bk + y n 1 bld + ak klxn + 2 k 2 Y n al + bk 2l lxn + ky n + bld + ak 2 2blX n + 2alY n 2l bx n + ay n 24 25

10 82 Ahmet Tekcan Hence Xn+1 axn + bdy n Y n+1 bx n + ay n a bd Xn b a Y n Example 21 Let D 2 Then the fundamental solution of the Pell equation x 2 2y 2 1 is x 1 y and the other solutions are 2 x y x y x y x y x y x y x y x9 y The fundamental solution of the Pell equation x 2 2y 2 2 is X 1 Y 1 k l 2 1 and the other solutions are X Y X Y X Y X Y

11 Pell Equation x 2 Dy 2 2 II 83 X Y X Y X Y X Y X Y a bd k ld Now we give a relation between and To b a l k get this set { } r s SL 2 2 R : r s t u R ru st 2 t u Then we have Theorem 25 There exists an element A SL 2 2 R such that a bd k ld A b a l k r s Proof Let A for r s t u R Then we have t u a bd r s ar + bdt as + bdu k ld b a t u br + at bs + au l k Hence from the two equations and ar + bdt k br + at l as + bdu ld bs + au k

12 84 Ahmet Tekcan we obtain r l a2 l + abk b s k a2 k + abld b t al bk u ak bld Hence A l a 2 l+abk b al bk k a 2 k+abld b ak bld It is easily seen that l a 2 l + abk deta ak bld b k a 2 k + abld al bk b bk2 Dl 2 b k 2 Dl 2 2 Therefore A SL 2 2 R Now we would like to obtain a recurrence relation on the solutions of the Pell equation x 2 Dy 2 2 To get this using Eq 21 we obtain x1 a 26 y 1 b x2 2a 2 1 y 2 2ab x3 4a 3 3a y 3 x4 y 4 b4a 2 1 8a 4 8a b8a 3 4a

13 Pell Equation x 2 Dy 2 2 II 85 x5 x6 x7 y 5 y 6 y 7 x8 y 8 16a 5 20a 3 + 5a b16a 4 12a a 6 48a a 2 1 b32a 5 32a 3 + 6a 64a 7 112a a 3 7a b64a 6 80a a a 8 256a a 4 32a b128a 7 192a a 3 8a and hence X2 X3 X4 X5 X6 X7 X8 X9 Y 2 Y 3 Y 4 Y 5 Y 6 Y 7 Y 8 Y 9 ka + lbd 27 la + kb k2a ablD l2a abk k4a 3 3a + bld4a 2 1 l4a 3 3a + kb4a 2 1 k8a 4 8a bld8a 3 4a l8a 4 8a kb8a 3 4a k16a 5 20a 3 + 5a + bld16a 4 12a l16a 5 20a 3 + 5a + kb16a 4 12a k32a 6 48a a 2 1 l32a 6 48a a bld32a 5 32a 3 + 6a + kb32a 5 32a 3 + 6a k64a 7 112a a 3 7a l64a 7 112a a 3 7a + bld64a 6 80a a kb64a 6 80a a 2 1 k128a 8 256a a 4 32a l128a 8 256a a 4 32a bld128a 7 192a a 3 8a + kb128a 7 192a a 3 8a

14 86 Ahmet Tekcan Using Eq 27 it is easily seen that X 4 2k 2 1X 3 X 2 + X 1 28 X 5 2k 2 1 X 4 X 3 + X 2 X 6 2k 2 1 X 5 X 4 + X 3 X 7 2k 2 1 X 6 X 5 + X 4 X 8 2k 2 1 X 7 X 6 + X 5 X 9 2k 2 1 X 8 X 7 + X 6 Eq 28 is also satisfied for Y n Hence we have Conjecture 26 The solutions of the Pell equation x 2 Dy 2 2 satisfy the following recurrence relations for n 4 X n 2k 2 1 X n 1 X n 2 + X n 3 Y n 2k 2 1 Y n 1 Y n 2 + Y n 3 Now we obtain a formula for the solutions of the equation x 2 n Dy 2 n 2 n using the solutions of the Pell equation x 2 Dy 2 2 Theorem 27 Let X 1 Y 1 k l be the fundamental solution of the Pell equation x 2 Dy 2 2 Let n Un k ld 1 29 l k 0 for n 1 Then for n 1 V n U 2 n DV 2 n 2 n Proof We prove the Theorem by induction on n For n 1 we have U 2 1 DV 2 1 k 2 Dl 2 2 since X 1 Y 1 k l is the fundamental solution of the Pell equation x 2 Dy 2 2 Let us assume that the equation Un 2 DVn 2 2 n is satisfied for U n 1 V n 1 ie U 2 n 1 DV 2 n 1 2 n 1

15 Pell Equation x 2 Dy 2 2 II 87 We want to show that the equation Un 2 DVn 2 2 n is also satisfied for U n V n From Eq 29 it is easily seen that Hence Un V n n k ld 1 l k 0 n 1 k ld k ld 1 l k l k 0 k ld Un 1 l k V n 1 kun 1 + ldv n 1 lu n 1 + kv n 1 U 2 n DV 2 n ku n 1 + ldv n 1 2 D lu n 1 + kv n 1 2 U 2 n 1k 2 Dl 2 + U n 1 V n 1 2klD 2klD +V 2 n 1l 2 D 2 k 2 D Un 1k 2 2 Dl 2 Dk 2 Dl 2 Vn 1 2 k 2 Dl 2 Un 1 2 DVn n 1 2 n Thus U n V n is also a solution of the equation U 2 n DV 2 n 2 n Example 22 Consider the Pell equation x 2 2y 2 2 The fundamental solution is X 1 Y 1 k l 2 1 Using Eq 29 we obtain U1 U2 U3 V 1 V 2 V 3 U4 V

16 88 Ahmet Tekcan U5 U6 V 5 V 6 Hence it is easily seen that U1 2 2V1 2 2 U2 2 2V2 2 4 U3 2 2V3 2 8 U4 2 2V U5 2 2V U6 2 2V References [1] D E Flath Introduction to Number Theory Wiley 1989 [2] M J Jacobson Computational Techniques in Quadratic Fields MSc Thesis University of Manitoba 1995 [3] M J Jacobson H C Williams The Size of the Fundamental Solutions of the Consecutive Pell Equations Experimental Math Vol [4] J McLaughlin Multi-Variable Polynomial Solutions to Pell s Equation and Fundamental Units in Real Quadratic Fields Pacific J Math [5] H W Lenstra Jr Solving the Pell Equation Notices Amer Math Soc [6] K Y Li Pell s Equation Mathematical Excalibur [7] K Matthews The Diophantine Equation x 2 Dy 2 N D > 0 Expositiones Math [8] R A Mollin A Simple Criterion for Solvability of both X 2 DY 2 c and x 2 Dy 2 c New York J Math [9] R A Mollin K Cheng B Goddard The Diophantine Equation AX 2 BY 2 C Solved via Continued Fractions Acta Math Univ Comenianae [10] R A Mollin A J Poorten H C Williams Halfway to a Solution of x 2 Dy 2 3 Journal de Theorie des Nombres Bordeaux [11] P Stevenhagen A Density Conjecture for the Negative Pell Equation Computational Algebra and Number Theory Math Appl

17 Pell Equation x 2 Dy 2 2 II 89 [12] A Tekcan O Bizim M Bayraktar Solving the Pell Equation Using the Fundamental Element of the Field Q To be printed in Southeast Asian Bulletin of Mathematics Ahmet Tekcan Department of Mathematics Faculty of Science University of Uludag Görükle Bursa Turkey fahmet@uludagedutr Received on 19 March 2004

Continued Fractions Expansion of D and Pell Equation x 2 Dy 2 = 1

Continued Fractions Expansion of D and Pell Equation x 2 Dy 2 = 1 Mathematica Moravica Vol. 5-2 (20), 9 27 Continued Fractions Expansion of D and Pell Equation x 2 Dy 2 = Ahmet Tekcan Abstract. Let D be a positive non-square integer. In the first section, we give some

More information

INDEFINITE QUADRATIC FORMS AND PELL EQUATIONS INVOLVING QUADRATIC IDEALS

INDEFINITE QUADRATIC FORMS AND PELL EQUATIONS INVOLVING QUADRATIC IDEALS INDEFINITE QUADRATIC FORMS AND PELL EQUATIONS INVOLVING QUADRATIC IDEALS AHMET TEKCAN Communicated by Alexandru Zaharescu Let p 1(mod 4) be a prime number, let γ P + p Q be a quadratic irrational, let

More information

Quadratic Diophantine Equations x 2 Dy 2 = c n

Quadratic Diophantine Equations x 2 Dy 2 = c n Irish Math. Soc. Bulletin 58 2006, 55 68 55 Quadratic Diophantine Equations x 2 Dy 2 c n RICHARD A. MOLLIN Abstract. We consider the Diophantine equation x 2 Dy 2 c n for non-square positive integers D

More information

The Diophantine equation x 2 (t 2 + t)y 2 (4t + 2)x + (4t 2 + 4t)y = 0

The Diophantine equation x 2 (t 2 + t)y 2 (4t + 2)x + (4t 2 + 4t)y = 0 Rev Mat Complut 00) 3: 5 60 DOI 0.007/s363-009-0009-8 The Diophantine equation x t + t)y 4t + )x + 4t + 4t)y 0 Ahmet Tekcan Arzu Özkoç Receive: 4 April 009 / Accepte: 5 May 009 / Publishe online: 5 November

More information

R.A. Mollin Department of Mathematics and Statistics, University of Calgary, Calgary, Alberta, Canada, T2N 1N4

R.A. Mollin Department of Mathematics and Statistics, University of Calgary, Calgary, Alberta, Canada, T2N 1N4 PERIOD LENGTHS OF CONTINUED FRACTIONS INVOLVING FIBONACCI NUMBERS R.A. Mollin Department of Mathematics and Statistics, University of Calgary, Calgary, Alberta, Canada, TN 1N e-mail ramollin@math.ucalgary.ca

More information

Notes on Continued Fractions for Math 4400

Notes on Continued Fractions for Math 4400 . Continued fractions. Notes on Continued Fractions for Math 4400 The continued fraction expansion converts a positive real number α into a sequence of natural numbers. Conversely, a sequence of natural

More information

Solving x 2 Dy 2 = N in integers, where D > 0 is not a perfect square. Keith Matthews

Solving x 2 Dy 2 = N in integers, where D > 0 is not a perfect square. Keith Matthews Solving x 2 Dy 2 = N in integers, where D > 0 is not a perfect square. Keith Matthews Abstract We describe a neglected algorithm, based on simple continued fractions, due to Lagrange, for deciding the

More information

On a special case of the Diophantine equation ax 2 + bx + c = dy n

On a special case of the Diophantine equation ax 2 + bx + c = dy n Sciencia Acta Xaveriana Vol. 2 No. 1 An International Science Journal pp. 59 71 ISSN. 0976-1152 March 2011 On a special case of the Diophantine equation ax 2 + bx + c = dy n Lionel Bapoungué Université

More information

Necessary and Sufficient Conditions for the Central Norm to Equal 2 h in the Simple Continued Fraction Expansion of 2 h c for Any Odd Non-Square c > 1

Necessary and Sufficient Conditions for the Central Norm to Equal 2 h in the Simple Continued Fraction Expansion of 2 h c for Any Odd Non-Square c > 1 Necessary and Sufficient Conditions for the Central Norm to Equal 2 h in the Simple Continued Fraction Expansion of 2 h c for Any Odd Non-Square c > 1 R.A. Mollin Abstract We look at the simple continued

More information

PELL S EQUATION, II KEITH CONRAD

PELL S EQUATION, II KEITH CONRAD PELL S EQUATION, II KEITH CONRAD 1. Introduction In Part I we met Pell s equation x dy = 1 for nonsquare positive integers d. We stated Lagrange s theorem that every Pell equation has a nontrivial solution

More information

The Number of Rational Points on Elliptic Curves and Circles over Finite Fields

The Number of Rational Points on Elliptic Curves and Circles over Finite Fields Vol:, No:7, 008 The Number of Rational Points on Elliptic Curves and Circles over Finite Fields Betül Gezer, Ahmet Tekcan, and Osman Bizim International Science Index, Mathematical and Computational Sciences

More information

Part II. Number Theory. Year

Part II. Number Theory. Year Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler

More information

AMBIGUOUS FORMS AND IDEALS IN QUADRATIC ORDERS. Copyright 2009 Please direct comments, corrections, or questions to

AMBIGUOUS FORMS AND IDEALS IN QUADRATIC ORDERS. Copyright 2009 Please direct comments, corrections, or questions to AMBIGUOUS FORMS AND IDEALS IN QUADRATIC ORDERS JOHN ROBERTSON Copyright 2009 Please direct comments, corrections, or questions to jpr2718@gmail.com This note discusses the possible numbers of ambiguous

More information

18-29 mai 2015: Oujda (Maroc) École de recherche CIMPA-Oujda Théorie des Nombres et ses Applications. Continued fractions. Michel Waldschmidt

18-29 mai 2015: Oujda (Maroc) École de recherche CIMPA-Oujda Théorie des Nombres et ses Applications. Continued fractions. Michel Waldschmidt 18-29 mai 2015: Oujda (Maroc) École de recherche CIMPA-Oujda Théorie des Nombres et ses Applications. Continued fractions Michel Waldschmidt We first consider generalized continued fractions of the form

More information

Quadratic Congruences, the Quadratic Formula, and Euler s Criterion

Quadratic Congruences, the Quadratic Formula, and Euler s Criterion Quadratic Congruences, the Quadratic Formula, and Euler s Criterion R. C. Trinity University Number Theory Introduction Let R be a (commutative) ring in which 2 = 1 R + 1 R R. Consider a quadratic equation

More information

THE UNIT GROUP OF A REAL QUADRATIC FIELD

THE UNIT GROUP OF A REAL QUADRATIC FIELD THE UNIT GROUP OF A REAL QUADRATIC FIELD While the unit group of an imaginary quadratic field is very simple the unit group of a real quadratic field has nontrivial structure Its study involves some geometry

More information

Introduction to Lucas Sequences

Introduction to Lucas Sequences A talk given at Liaoning Normal Univ. (Dec. 14, 017) Introduction to Lucas Sequences Zhi-Wei Sun Nanjing University Nanjing 10093, P. R. China zwsun@nju.edu.cn http://math.nju.edu.cn/ zwsun Dec. 14, 017

More information

POLYNOMIAL SOLUTIONS OF PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS

POLYNOMIAL SOLUTIONS OF PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS J. London Math. Soc. 67 (2003) 16 28 C 2003 London Mathematical Society DOI: 10.1112/S002461070200371X POLYNOMIAL SOLUTIONS OF PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS J. MCLAUGHLIN

More information

The Connections Between Continued Fraction Representations of Units and Certain Hecke Groups

The Connections Between Continued Fraction Representations of Units and Certain Hecke Groups BULLETIN of the Malaysian Mathematical Sciences Society http://mathusmmy/bulletin Bull Malays Math Sci Soc (2) 33(2) (2010), 205 210 The Connections Between Continued Fraction Representations of Units

More information

ON DIFFERENCES OF TWO SQUARES IN SOME QUADRATIC FIELDS

ON 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 information

Public-key Cryptography: Theory and Practice

Public-key Cryptography: Theory and Practice Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues

More information

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).

More information

Pell s equation. Michel Waldschmidt

Pell s equation. Michel Waldschmidt Faculté des Sciences et Techniques (FAST), Bamako, Mali École de recherche CIMPA Théorie des Nombres et Algorithmique Updated: December 7, 200 Pell s equation Michel Waldschmidt This text is available

More information

Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications

Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications 1 Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair Corrections and clarifications Note: Some corrections were made after the first printing of the text. page 9, line 8 For of the

More information

f A (x,y) = x 2 -jy 2,

f A (x,y) = x 2 -jy 2, ON THE SOLVABILITY OF A FAMILY OF DIOPHANTINE EQUATIONS M. A. Nyblom and B. G. Sloss Department of Mathematics, Royal Melbourne Institute of Technology, GPO Box 2476V, Melbourne, Victoria 3001, Australia

More information

Integer Solutions of the Equation y 2 = Ax 4 +B

Integer Solutions of the Equation y 2 = Ax 4 +B 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 18 (2015), Article 15.4.4 Integer Solutions of the Equation y 2 = Ax 4 +B Paraskevas K. Alvanos 1st Model and Experimental High School of Thessaloniki

More information

LINEAR FORMS IN LOGARITHMS

LINEAR FORMS IN LOGARITHMS LINEAR FORMS IN LOGARITHMS JAN-HENDRIK EVERTSE April 2011 Literature: T.N. Shorey, R. Tijdeman, Exponential Diophantine equations, Cambridge University Press, 1986; reprinted 2008. 1. Linear forms in logarithms

More information

Diophantine quadruples and Fibonacci numbers

Diophantine 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 information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

More information

Determining 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 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 information

Predictive criteria for the representation of primes by binary quadratic forms

Predictive 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 information

Journal of Number Theory

Journal of Number Theory Journal of Number Theory 130 (2010) 1737 1749 Contents lists available at ScienceDirect Journal of Number Theory www.elsevier.com/locate/jnt A binary linear recurrence sequence of composite numbers Artūras

More information

Advances in Applied Mathematics 48(2012), Constructing x 2 for primes p = ax 2 + by 2

Advances in Applied Mathematics 48(2012), Constructing x 2 for primes p = ax 2 + by 2 Advances in Applied Mathematics 4(01, 106-10 Constructing x for primes p ax + by Zhi-Hong Sun School of Mathematical Sciences, Huaiyin Normal University, Huaian, Jiangsu 3001, P.R. China E-mail: zhihongsun@yahoo.com

More information

1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by

1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by Seminar 1 1. Which ones of the usual symbols of addition, subtraction, multiplication and division define an operation (composition law) on the numerical sets N, Z, Q, R, C? 2. Let A = {a 1, a 2, a 3 }.

More information

Five peculiar theorems on simultaneous representation of primes by quadratic forms

Five peculiar theorems on simultaneous representation of primes by quadratic forms Five peculiar theorems on simultaneous representation of primes by quadratic forms David Brink January 2008 Abstract It is a theorem of Kaplansky that a prime p 1 (mod 16) is representable by both or none

More information

Arithmetic Statistics Lecture 3

Arithmetic Statistics Lecture 3 Arithmetic Statistics Lecture 3 Álvaro Lozano-Robledo Department of Mathematics University of Connecticut May 28 th CTNT 2018 Connecticut Summer School in Number Theory PREVIOUSLY... We can define an action

More information

Finite groups determined by an inequality of the orders of their elements

Finite groups determined by an inequality of the orders of their elements Publ. Math. Debrecen 80/3-4 (2012), 457 463 DOI: 10.5486/PMD.2012.5168 Finite groups determined by an inequality of the orders of their elements By MARIUS TĂRNĂUCEANU (Iaşi) Abstract. In this note we introduce

More information

x mv = 1, v v M K IxI v = 1,

x mv = 1, v v M K IxI v = 1, 18.785 Number Theory I Fall 2017 Problem Set #7 Description These problems are related to the material covered in Lectures 13 15. Your solutions are to be written up in latex (you can use the latex source

More information

USING SHANKS BABY-STEP GIANT-STEP METHOD TO SOLVE THE GENERALIZED PELL EQUATION x 2 Dy 2 = N. Copyright 2009 by John P. Robertson. 1.

USING SHANKS BABY-STEP GIANT-STEP METHOD TO SOLVE THE GENERALIZED PELL EQUATION x 2 Dy 2 = N. Copyright 2009 by John P. Robertson. 1. USING SHANKS BABY-STEP GIANT-STEP METHOD TO SOLVE THE GENERALIZED PELL EQUATION x 2 Dy 2 = N Abstract. For D > 0 not a square, and N 0, the continued fraction algorithm can be used to solve the generalized

More information

1. Factorization Divisibility in Z.

1. Factorization Divisibility in Z. 8 J. E. CREMONA 1.1. Divisibility in Z. 1. Factorization Definition 1.1.1. Let a, b Z. Then we say that a divides b and write a b if b = ac for some c Z: a b c Z : b = ac. Alternatively, we may say that

More information

Gaussian integers. 1 = a 2 + b 2 = c 2 + d 2.

Gaussian integers. 1 = a 2 + b 2 = c 2 + d 2. Gaussian integers 1 Units in Z[i] An element x = a + bi Z[i], a, b Z is a unit if there exists y = c + di Z[i] such that xy = 1. This implies 1 = x 2 y 2 = (a 2 + b 2 )(c 2 + d 2 ) But a 2, b 2, c 2, d

More information

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter

More information

Hilbert s theorem 90, Dirichlet s unit theorem and Diophantine equations

Hilbert s theorem 90, Dirichlet s unit theorem and Diophantine equations Hilbert s theorem 90, Dirichlet s unit theorem and Diophantine equations B. Sury Stat-Math Unit Indian Statistical Institute 8th Mile Mysore Road Bangalore - 560 059 India. sury@isibang.ac.in Introduction

More information

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

MA257: 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 information

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

FORMAL 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 information

Fibonacci Sequence and Continued Fraction Expansions in Real Quadratic Number Fields

Fibonacci Sequence and Continued Fraction Expansions in Real Quadratic Number Fields Malaysian Journal of Mathematical Sciences (): 97-8 (07) MALAYSIAN JOURNAL OF MATHEMATICAL SCIENCES Journal homepage: http://einspem.upm.edu.my/journal Fibonacci Sequence and Continued Fraction Expansions

More information

arxiv: v2 [math.nt] 23 Sep 2011

arxiv: 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 information

c ij x i x j c ij x i y j

c ij x i x j c ij x i y j Math 48A. Class groups for imaginary quadratic fields In general it is a very difficult problem to determine the class number of a number field, let alone the structure of its class group. However, in

More information

The primitive root theorem

The 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 information

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators.

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators. PRACTICE FINAL MATH 18.703, MIT, SPRING 13 You have three hours. This test is closed book, closed notes, no calculators. There are 11 problems, and the total number of points is 180. Show all your work.

More information

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009)

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) These are errata for the Third Edition of the book. Errata from previous editions have been fixed

More information

ON DIRICHLET S CONJECTURE ON RELATIVE CLASS NUMBER ONE

ON DIRICHLET S CONJECTURE ON RELATIVE CLASS NUMBER ONE ON DIRICHLET S CONJECTURE ON RELATIVE CLASS NUMBER ONE AMANDA FURNESS Abstract. We examine relative class numbers, associated to class numbers of quadratic fields Q( m) for m > 0 and square-free. The relative

More information

Addition sequences and numerical evaluation of modular forms

Addition sequences and numerical evaluation of modular forms Addition sequences and numerical evaluation of modular forms Fredrik Johansson (INRIA Bordeaux) Joint work with Andreas Enge (INRIA Bordeaux) William Hart (TU Kaiserslautern) DK Statusseminar in Strobl,

More information

A Pellian equation with primes and applications to D( 1)-quadruples

A 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 information

EXPONENTIAL SUMS OVER THE SEQUENCES OF PRN S PRODUCED BY INVERSIVE GENERATORS

EXPONENTIAL SUMS OVER THE SEQUENCES OF PRN S PRODUCED BY INVERSIVE GENERATORS Annales Univ. Sci. Budapest. Sect. Comp. 48 018 5 3 EXPONENTIAL SUMS OVER THE SEQUENCES OF PRN S PRODUCED BY INVERSIVE GENERATORS Sergey Varbanets Odessa Ukraine Communicated by Imre Kátai Received February

More information

MATH 4400 SOLUTIONS TO SOME EXERCISES. 1. Chapter 1

MATH 4400 SOLUTIONS TO SOME EXERCISES. 1. Chapter 1 MATH 4400 SOLUTIONS TO SOME EXERCISES 1.1.3. If a b and b c show that a c. 1. Chapter 1 Solution: a b means that b = na and b c that c = mb. Substituting b = na gives c = (mn)a, that is, a c. 1.2.1. Find

More information

2 Resolution of The Diophantine Equation x 2 (t 2 t)y 2 (16t 4)x + (16t 2 16t)y =0

2 Resolution of The Diophantine Equation x 2 (t 2 t)y 2 (16t 4)x + (16t 2 16t)y =0 International Mathematical Forum, Vol. 6, 20, no. 36, 777-782 On Quadratic Diophantine Equation x 2 t 2 ty 2 6t 4x + 6t 2 6ty 0 A. Chandoul Institut Supérieure d Informatique et de Multimedia de Sfax,

More information

On a Diophantine Equation 1

On a Diophantine Equation 1 International Journal of Contemporary Mathematical Sciences Vol. 12, 2017, no. 2, 73-81 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ijcms.2017.728 On a Diophantine Equation 1 Xin Zhang Department

More information

ON A THEOREM OF TARTAKOWSKY

ON 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 information

A family of quartic Thue inequalities

A 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 information

COUNTING SEPARABLE POLYNOMIALS IN Z/n[x]

COUNTING SEPARABLE POLYNOMIALS IN Z/n[x] COUNTING SEPARABLE POLYNOMIALS IN Z/n[x] JASON K.C. POLAK Abstract. For a commutative ring R, a polynomial f R[x] is called separable if R[x]/f is a separable R-algebra. We derive formulae for the number

More information

SOLVING THE PELL EQUATION VIA RÉDEI RATIONAL FUNCTIONS

SOLVING THE PELL EQUATION VIA RÉDEI RATIONAL FUNCTIONS STEFANO BARBERO, UMBERTO CERRUTI, AND NADIR MURRU Abstract. In this paper, we define a new product over R, which allows us to obtain a group isomorphic to R with the usual product. This operation unexpectedly

More information

Universität Regensburg Mathematik

Universität Regensburg Mathematik Universität Regensburg Mathematik On projective linear groups over finite fields as Galois groups over the rational numbers Gabor Wiese Preprint Nr. 14/2006 On projective linear groups over finite fields

More information

ARITHMETIC PROGRESSIONS IN CYCLES OF QUADRATIC POLYNOMIALS

ARITHMETIC PROGRESSIONS IN CYCLES OF QUADRATIC POLYNOMIALS ARITHMETIC PROGRESSIONS IN CYCLES OF QUADRATIC POLYNOMIALS TIMO ERKAMA It is an open question whether n-cycles of complex quadratic polynomials can be contained in the field Q(i) of complex rational numbers

More information

RANK AND PERIOD OF PRIMES IN THE FIBONACCI SEQUENCE. A TRICHOTOMY

RANK AND PERIOD OF PRIMES IN THE FIBONACCI SEQUENCE. A TRICHOTOMY RANK AND PERIOD OF PRIMES IN THE FIBONACCI SEQUENCE. A TRICHOTOMY Christian Ballot Université de Caen, Caen 14032, France e-mail: ballot@math.unicaen.edu Michele Elia Politecnico di Torino, Torino 10129,

More information

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - FALL SESSION ADVANCED ALGEBRA I.

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - FALL SESSION ADVANCED ALGEBRA I. THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - FALL SESSION 2006 110.401 - ADVANCED ALGEBRA I. Examiner: Professor C. Consani Duration: take home final. No calculators allowed.

More information

Prime Numbers and Irrational Numbers

Prime Numbers and Irrational Numbers Chapter 4 Prime Numbers and Irrational Numbers Abstract The question of the existence of prime numbers in intervals is treated using the approximation of cardinal of the primes π(x) given by Lagrange.

More information

On the power-free parts of consecutive integers

On the power-free parts of consecutive integers ACTA ARITHMETICA XC4 (1999) On the power-free parts of consecutive integers by B M M de Weger (Krimpen aan den IJssel) and C E van de Woestijne (Leiden) 1 Introduction and main results Considering the

More information

On integer solutions to x 2 dy 2 = 1, z 2 2dy 2 = 1

On integer solutions to x 2 dy 2 = 1, z 2 2dy 2 = 1 ACTA ARITHMETICA LXXXII.1 (1997) On integer solutions to x 2 dy 2 = 1, z 2 2dy 2 = 1 by P. G. Walsh (Ottawa, Ont.) 1. Introduction. Let d denote a positive integer. In [7] Ono proves that if the number

More information

Extending Theorems of Serret and Pavone

Extending Theorems of Serret and Pavone 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 20 (2017), Article 17.10.5 Extending Theorems of Serret and Pavone Keith R. Matthews School of Mathematics and Physics University of Queensland Brisbane

More information

The Mass Formula for Binary Quadratic Forms

The Mass Formula for Binary Quadratic Forms The Mass Formula for Binary Quadratic Forms by John Paul Cook A well-documented question from classical number theory pertains to the different representations of an integer k by a binary quadratic form.

More information

ON THE LENGTH OF THE PERIOD OF A REAL QUADRATIC IRRATIONAL. N. Saradha

ON THE LENGTH OF THE PERIOD OF A REAL QUADRATIC IRRATIONAL. N. Saradha Indian J Pure Appl Math, 48(3): 311-31, September 017 c Indian National Science Academy DOI: 101007/s136-017-09-4 ON THE LENGTH OF THE PERIOD OF A REAL QUADRATIC IRRATIONAL N Saradha School of Mathematics,

More information

Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography

Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography David R. Wilkins Copyright c David R. Wilkins 2006 Contents 9 Introduction to Number Theory and Cryptography 1 9.1 Subgroups

More information

Arithmetic Funtions Over Rings with Zero Divisors

Arithmetic Funtions Over Rings with Zero Divisors BULLETIN of the Bull Malaysian Math Sc Soc (Second Series) 24 (200 81-91 MALAYSIAN MATHEMATICAL SCIENCES SOCIETY Arithmetic Funtions Over Rings with Zero Divisors 1 PATTIRA RUANGSINSAP, 1 VICHIAN LAOHAKOSOL

More information

SOME NORMAL EXTENSIONS OF THE DIOPHANTINE GROUP

SOME NORMAL EXTENSIONS OF THE DIOPHANTINE GROUP International Mathematical Forum, 1, 2006, no. 26, 1249-1253 SOME NORMAL EXTENSIONS OF THE DIOPHANTINE GROUP Kenneth K. Nwabueze Department of Mathematics, University of Brunei Darussalam, BE 1410, Gadong,

More information

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over

More information

Course MA2C02, Hilary Term 2013 Section 9: Introduction to Number Theory and Cryptography

Course MA2C02, Hilary Term 2013 Section 9: Introduction to Number Theory and Cryptography Course MA2C02, Hilary Term 2013 Section 9: Introduction to Number Theory and Cryptography David R. Wilkins Copyright c David R. Wilkins 2000 2013 Contents 9 Introduction to Number Theory 63 9.1 Subgroups

More information

Sums of Consecutive Perfect Powers is Seldom a Perfect Power

Sums of Consecutive Perfect Powers is Seldom a Perfect Power Sums of Consecutive Perfect Powers is Seldom a Perfect Power Journées Algophantiennes Bordelaises 2017, Université de Bordeaux June 7, 2017 A Diophantine Equation Question x k + (x + 1) k + + (x + d 1)

More information

NORM OR EXCEPTION? KANNAPPAN SAMPATH & B.SURY

NORM OR EXCEPTION? KANNAPPAN SAMPATH & B.SURY NORM OR EXCEPTION? KANNAPPAN SAMPATH & B.SURY Introduction In a first course on algebraic number theory, a typical homework problem may possibly ask the student to determine the class group of a quadratic

More information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

More information

Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 8. P-adic numbers. 8.1 Absolute values Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.

More information

LEGENDRE S THEOREM, LEGRANGE S DESCENT

LEGENDRE S THEOREM, LEGRANGE S DESCENT LEGENDRE S THEOREM, LEGRANGE S DESCENT SUPPLEMENT FOR MATH 370: NUMBER THEORY Abstract. Legendre gave simple necessary and sufficient conditions for the solvablility of the diophantine equation ax 2 +

More information

THERE 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 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 information

NOTES ON FINITE FIELDS

NOTES 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 information

Quadratics. Shawn Godin. Cairine Wilson S.S Orleans, ON October 14, 2017

Quadratics. Shawn Godin. Cairine Wilson S.S Orleans, ON October 14, 2017 Quadratics Shawn Godin Cairine Wilson S.S Orleans, ON Shawn.Godin@ocdsb.ca October 14, 2017 Shawn Godin (Cairine Wilson S.S.) Quadratics October 14, 2017 1 / 110 Binary Quadratic Form A form is a homogeneous

More information

Summary Slides for MATH 342 June 25, 2018

Summary Slides for MATH 342 June 25, 2018 Summary Slides for MATH 342 June 25, 2018 Summary slides based on Elementary Number Theory and its applications by Kenneth Rosen and The Theory of Numbers by Ivan Niven, Herbert Zuckerman, and Hugh Montgomery.

More information

Cullen Numbers in Binary Recurrent Sequences

Cullen Numbers in Binary Recurrent Sequences Cullen Numbers in Binary Recurrent Sequences Florian Luca 1 and Pantelimon Stănică 2 1 IMATE-UNAM, Ap. Postal 61-3 (Xangari), CP 58 089 Morelia, Michoacán, Mexico; e-mail: fluca@matmor.unam.mx 2 Auburn

More information

FURTHER EVALUATIONS OF WEIL SUMS

FURTHER EVALUATIONS OF WEIL SUMS FURTHER EVALUATIONS OF WEIL SUMS ROBERT S. COULTER 1. Introduction Weil sums are exponential sums whose summation runs over the evaluation mapping of a particular function. Explicitly they have the form

More information

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients. EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is

More information

The complexity of Diophantine equations

The complexity of Diophantine equations The complexity of Diophantine equations Colloquium McMaster University Hamilton, Ontario April 2005 The basic question A Diophantine equation is a polynomial equation f(x 1,..., x n ) = 0 with integer

More information

P -adic root separation for quadratic and cubic polynomials

P -adic root separation for quadratic and cubic polynomials P -adic root separation for quadratic and cubic polynomials Tomislav Pejković Abstract We study p-adic root separation for quadratic and cubic polynomials with integer coefficients. The quadratic and reducible

More information

ON A FAMILY OF ELLIPTIC CURVES

ON 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 information

UNCC 2001 Algebra II

UNCC 2001 Algebra II UNCC 2001 Algebra II March 5, 2001 1. Compute the sum of the roots of x 2 5x + 6 = 0. (A) 3 (B) 7/2 (C) 4 (D) 9/2 (E) 5 (E) The sum of the roots of the quadratic ax 2 + bx + c = 0 is b/a which, for this

More information

SOME RESULTS ON SPECIAL CONTINUED FRACTION EXPANSIONS IN REAL QUADRATIC NUMBER FIELDS

SOME RESULTS ON SPECIAL CONTINUED FRACTION EXPANSIONS IN REAL QUADRATIC NUMBER FIELDS Journal of Mathematical Analysis ISSN: 7-34, URL: http://ilirias.com/jma Volume 7 Issue 4(6), Pages 98-7. SOME RESULTS ON SPECIAL CONTINUED FRACTION EXPANSIONS IN REAL QUADRATIC NUMBER FIELDS ÖZEN ÖZER,

More information

8. Dirichlet s Theorem and Farey Fractions

8. Dirichlet s Theorem and Farey Fractions 8 Dirichlet s Theorem and Farey Fractions We are concerned here with the approximation of real numbers by rational numbers, generalizations of this concept and various applications to problems in number

More information

Quadratic points on modular curves

Quadratic points on modular curves S. Alberts Quadratic points on modular curves Master thesis Supervisor: Dr. P.J. Bruin Date: November 24, 2017 Mathematisch Instituut, Universiteit Leiden Contents Introduction 3 1 Modular and hyperelliptic

More information

MINKOWSKI THEORY AND THE CLASS NUMBER

MINKOWSKI THEORY AND THE CLASS NUMBER MINKOWSKI THEORY AND THE CLASS NUMBER BROOKE ULLERY Abstract. This paper gives a basic introduction to Minkowski Theory and the class group, leading up to a proof that the class number (the order of the

More information

THE UNREASONABLE SLIGHTNESS OF E 2 OVER IMAGINARY QUADRATIC RINGS

THE UNREASONABLE SLIGHTNESS OF E 2 OVER IMAGINARY QUADRATIC RINGS THE UNREASONABLE SLIGHTNESS OF E 2 OVER IMAGINARY QUADRATIC RINGS BOGDAN NICA ABSTRACT. It is almost always the case that the elementary matrices generate the special linear group SL n over a ring of integers

More information

Eighth Homework Solutions

Eighth Homework Solutions Math 4124 Wednesday, April 20 Eighth Homework Solutions 1. Exercise 5.2.1(e). Determine the number of nonisomorphic abelian groups of order 2704. First we write 2704 as a product of prime powers, namely

More information

THE PROBLEM OF DIOPHANTUS FOR INTEGERS OF. Zrinka Franušić and Ivan Soldo

THE 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 information