Diophantine Equations and Congruences
|
|
- Jody Banks
- 6 years ago
- Views:
Transcription
1 International Journal of Algebra, Vol. 1, 2007, no. 6, Diohantine Equations and Congruences R. A. Mollin Deartment of Mathematics and Statistics University of Calgary, Calgary, Alberta, Canada, T2N 1N4 htt:// ramollin/ Abstract We resent conditions for quadratic Diohantine equations of the form ax 2 by 2 = ±1, (where 1 <a<bare integers) for which there are no solutions (x, y), yet for which there are solutions modulo n for all n 1. This generalizes work in the literature which follow as very secial cases. Mathematics Subject Classification: Primary: 11D09, 11R11, 11A55; Secondary: 11R29 Keywords: quadratic Diohantine equations, continued fractions, central norms, fundamental units, modular solvability 1 Introduction Texts on the fundamentals of number theory, such as [3,. 208] and [9,. 207], discuss the Diohantine equation 2x 2 219y 2 = 1 which has no integer solutions x, y, yet for which 2x 2 219y 2 1 (mod n) has integer solutions for all moduli n N. In [9], Nagell is credited with having roved the modular solvability as a deduction from a deeer theorem resented in [8]. However, in none of [3], [8] or [9] is there any connection with the real reason underlying this henomenon, namely the underlying continued fraction exansions of certain quadratic surds and related central norms which we will exlain in the next section. More recently such results for x 2 by 2 = 1 were generalized in [1] when = 2, and for a general rime in [5], but only in the latter are the underlying continued fraction reasons rovided. It is the intention herein to generalize to the case where a>1 is any natural number.
2 294 R. A. Mollin 2 Notation and Preliminaries We will consider the simle continued fraction exansion of D, where D>0 is not a erfect square, and whose eriod length we denote by l = l( D) and whose artial quotients we denote by q j for j 0, where q 0 = D (the floor of D), and q 1 q 2,...,q l 1 is a alindrome. The jth convergent of α for j 0 are given by, A j B j = q 0 ; q 1,q 2,...,q j, where A j = q j A j 1 + A j 2, B j = q j B j 1 + B j 2, with A 2 =0,A 1 =1,B 2 =1,B 1 = 0. The comlete quotients are given by, (P j + D)/Q j, where P 0 =0,Q 0 = 1, and for j 1, P j+1 = q j Q j P j, (2.1) P j + D q j =, Q j and D = Pj Q j Q j+1. We will also need the following facts (which can be found in most introductory texts in number theory, such as [3]. Also, see [2] for a more advanced exosition). A 2 j 1 Bj 1D 2 =( 1) j Q j. (2.2) In articular, A 2 l 1 B2 l 1 D =( 1)l, (2.3) and it follows that (x 0,y 0 )=(A l 1,B l 1 ) is the fundamental solution of the Pell Equation x 2 Dy 2 =( 1) l. When l is even, P l/2 = P l/2+1, so by Equation (2.1), Q l/2 2P l/2, where Q l/2 is called the central norm, (via Equation (2.2)), where Q l/2 2D. (2.4) In the following (which we need in the next section), and all subsequent results, the notation for the A j, B j, Q j and so forth aly to the abovedeveloed notation for the continued fraction exansion of D.
3 Diohantine equations and congruences 295 Proof of the following elementary number-theoretic results may be found in most introductory texts on the subject such as [3], for instance. Theorem 2.1 Let c Z be odd and let α N. Then each of the following holds. 1. There exists an z Z with c z 2 (mod 2 α ) if and only if c 1 (mod gcd(2 α, 8)). 2. If is an odd rime not dividing c and α N, then there exists an z Z such that c z 2 (mod α ) if and only if the following Legendre symbol equality holds ( ) c =1. 3. If u, v, w Z and is an odd rime dividing neither u nor v 2 4uw, then the following Legendre symbol equaity holds 1 ( ) ( ) ux 2 + vx + w u =. x=0 Theorem 2.2 Suose that D = ab is a ositive integer that is not a erfect square, where 1 <a<band l = l( D) is even. Then whenever has a solution we have 1. A l 1 ( 1) l/2 (mod 2b), and 2. Q l/2 = a. ax 2 by 2 = ±1 in the simle continued fraction exansion of D. Proof. This is a consequence of a more far-reaching result in [4] where detailed criteria for l to be even, in terms of solvability of Diohantine equations such as the above, are rovided.
4 296 R. A. Mollin 3 Congruences & Quadratic solvability In what follows the notation from the revious section is in force. Theorem 3.1 Suose that 1 < a < b are integers such that each of the following conditions hold. 1. a 7 (mod 8). 2. b is a quadratic residue modulo a. 3. a is a quadratic residue modulo b. 4. A l 1 ( 1) l/2 (mod 2b), where l = l( ab) is the eriod length of the simle continued fraction exansion of ab with ab not a erfect square. Then ax 2 by 2 = 1 (3.5) has no solutions x, y Z, whereas has solutions x, y Z for all n N. ax 2 by 2 1 (mod n) (3.6) Proof. Since a 3 (mod 4), then by Equation (2.3), with D = ab, l must be even. Therefore, since A l 1 ( 1) l/2 (mod 2b), we may invoke Theorem 2.2 to conclude that Equation (3.18) is not solvable for any x, y Z. Now we show that Equation (3.19) is solvable for all n N. Clearly if n = 1, it is solvable for any x, y Z. By the Chinese remainder Theorem, it suffices to rove the result for n>1 when n is a rime ower. If n =2 α, for α N then, given that a 1 (mod 8), then by art 1 of Theorem 2.1, there exists z Z such that a z 2 (mod 2 α ). Let z 1 be an integer which is a multilicative inverse of z modulo 2 α, and set x = z 1, and y = 0. Then ax 2 by 2 az 2 1 (mod 2 α ). Suose that n = α where is an odd rime dividing a and α N. Part 2 of the hyothesis allows us to invoke art 2 of Theorem 2.1, so there exists z Z such that b z 2 (mod α ). If we set x = 0 and y = z 1 where z 1 is a multilicative inverse of z modulo α, then ax 2 by 2 bz 2 1 (mod α ). Now let n = α for c N( where ) is an odd rime not dividing a. If the Legendre symbol equality = 1 holds, then by art 2 of Theorem 2.1, a
5 Diohantine equations and congruences 297 there exists z Z such that a z 2 (mod α ). Let x = a 1 z and y = 0 where a 1 is a multilicative inverse of a modulo α. Then ax 2 by 2 a a 2 z 2 1 (mod α ). ( ) a Lastly, there is the case where the Legendre symbol equality = 1 holds. Since art 3 of the hyothesis holds, we may invoke art 3 of Theorem 2.1, so there exists t Z such that ( ) 1 bt 2 = 1. Therefore, ( ) abt 2 a =1. Thus, by art 2 of Theorem 2.1, there is an integer z such that abt 2 a z 2 (mod α ). Let y = t and x = a 1 z where a 1 is an integer that is a multilicative inverse of a modulo α. Hence, ax 2 by 2 a 1 z 2 bt 2 a 1 (abt 2 a) bt 2 1 (mod α ). This comletes all cases and secures the roof. The following illustrates both theorem 3.1 and the techniques in the roof for construction of solutions modulo n. Examle 3.1 We maintain the notation of Theorem 3.1 and its roof in this examle. Let a = and b = 128 = 2 7. In this case, if l = l( ab) = l(8 238) = 16 and A l 1 = A 15 = ±1 (mod 2b). Hence, the Diohantine equation 119x 2 128y 2 = 1 has no solutions. However, since a 3 3 (mod b) and b 3 2 (mod a), then 119x 2 128y 2 1 (mod n) (3.7) has solutions for all n N. Now we show how solutions may be constructed for Equation (3.8). Select a value of n at random, say, n = We construct solutions via the Chinese Remainder Theorem as in the roof of Theorem 3.1. Since a = z 2 (mod 2 3 ), then ax 2 by 2 = az 2 1 (mod 2 3 ). (3.8)
6 298 R. A. Mollin Since 7 a, b = z 2 (mod 7 2 ), and z 1 =30i s a multilicative inverse of z modulo 7 2, then we have ax 2 by 2 = (mod 7 2 ). (3.9) Since 5 does not divide a and a = z 2 (mod 5 4 ), while a 1 = 604 is a multilicative inverse of a modulo 5 4, then 119 ( ) = a(a 1 z) 2 b (3.10) Lastly, since 11 does not divide a and a = 119 is a quadratic nonresidue modulo 1, then we select t =2since the following Legendre symbol equality holds ( ) ( ) 1 bt = = Moreover, since a 1 =60is a multilicative inverse of a modulo 11 2, and abt 2 a = z 2 (mod 11 2 ), then 119 (60 208) = a(a 1 z) 2 b t 2 1 (mod 11 2 ). (3.11) Now we ut together the equations (3.8) (3.11) via the Chinese Remainder Theorem to secure the values of x and y that are solutions to equation (3.7). x ( (mod 2 3 )) ( (mod 7 2 )) ( (mod 5 4 )) ( (mod 11 2 )) (mod n), and y ( (mod 2 3 )) ( (mod 7 2 )) ( (mod 5 4 )) ( (mod 11 2 )) (mod n), where n = Thus, we have ax 2 by 2 = (mod ) as we set out to accomlish.
7 Diohantine equations and congruences 299 Immediate from Theorem 3.1 is the following result, which, in turn, was a generalization of [5, Theorem 4,. 357]. Corollary 3.1 ([7, Theorem 2,. 1627]) Let be a rime and c a ositive integer with l = l( c), such that 7 (mod 8), c 1 (mod ), c is not divisible by any rimes q such that the Legendre symbol equality ( )= 1 holds, and in the simle continued fraction q exansion of c, A l 1 ±1 (mod 2c). Then the Diohantine equation, has no solutions (x, y), but has a solution (x, y) for all n 1. x 2 cy 2 = 1 (3.12) x 2 cy 2 1 (mod n) (3.13) The following analogue of Theorem 3.1 is resented without roof since the arguments are the same. Theorem 3.2 Suose that a and b are integers with 1 <a<band l( ab) is even where l is the eriod length of the simle continued fraction exansion of ab with ab not a erfect square. Furthermore assume that each of the following holds. Then 1. a 1 (mod 8). 2. b is a quadratic residue modulo a. 3. a is a quadratic residue modulo b. 4. A l 1 ( 1) l/2 (mod 2b). has no solutions x, y Z, whereas has solutions x, y Z for all n N. An illustration of Theorem 3.2 is the following. ax 2 by 2 = 1 (3.14) ax 2 by 2 1 (mod n) (3.15)
8 300 R. A. Mollin Examle 3.2 If a = 25 and b = 44, then clearly a 1 (mod 8), a is a quadratic residue modulo b, and b = (mod a). Moreover, A l 1 = A 1 = 199 ±1 (mod 2b). Hence, 25x 2 44y 2 =1has no solutions. However, it has solutions modulo all n N. For instance, (mod ). Immediate from Theorem 3.2 is the following result which, in turn, generalized [5, Theorem 4,. 357]. Corollary 3.2 ([7, Theorem 3,. 1630]) Let be a rime and c a ositive integer with l = l( c), such that either 1 (mod 8), c 1 (mod ), l( c) even, and c is not divisible by any rimes q such that the Legendre symbol equality ( q )= 1 holds. Also, A l 1 ±1 (mod 2c) in the simle continued fraction exansion of c. Then the Diohantine equation, x 2 cy 2 = 1 (3.16) has no solutions (x, y), but has a solution (x, y) for all n 1. x 2 cy 2 1 (mod n) (3.17) Remark 3.1 A key feature of the discussion in the aer on global versus local solutions of quadratic Diohantine equations has a feature which we have not yet exlicitly mentioned, namely the central norm (see dislay (2.4))). In other words, we have not exloited art 2 of Theorem 2.2 yet. The following consequences of Theorems do make use of that fact. Corollary 3.3 ([7, Corollary 1,. 1630]). Suose that and q are odd rimes where 7 (mod 8), 2q 1 (mod ) and c = 2 q 2 +2q = (q 2 +2q), with c not divisible by any rime r for which is a quadratic nonresidue. Then Equation (3.12) has no solutions but Equation (3.13) has a solution for all n 1. Proof. By [2, Theorem 3.2.1,. 78], l = l( c) = 2 and Q l/2 =2q. Thus, by art 2 of Theorem 2.2, Equation (3.12) has no solutions. Hence, by Theorem 3.1, Equation (3.13) has a solution for all n 1. Similarly the following follows from Theorem 3.2.
9 Diohantine equations and congruences 301 Corollary 3.4 ([7, Corollary 2,. 1631]). Suose that and q are odd rimes where 1 (mod 8), 2q 1 (mod ) and c = 2 q 2 2q = (q 2 2q), with c not divisible by any rime r for which is a quadratic nonresidue. Then Equation (3.16) has no solutions but Equation (3.17) has a solution for all n 1. We conclude with a result for even a, the roof of which is omitted since it is entirely analogous to the above. Theorem 3.3 Suose that 1 < a < b are integers such that each of the following conditions hold. 1. a =2 β c, where β,c N and c 1 (mod 8). 2. b 2 β + 1 (mod 8) and b is a quadratic residue modulo c. 3. a is a quadratic residue modulo b. 4. A l 1 ( 1) l/2 (mod 2b), where l = l( ab) is the eriod length of the simle continued fraction exansion of ab with ab not a erfect square. Then ax 2 by 2 = 1 (3.18) has no solutions x, y Z, whereas has solutions x, y Z for all n N. ax 2 by 2 1 (mod n) (3.19) Immediate from this is the following result by Kimura and Williams. Corollary 3.5 ([1, Theorem,. 911]) Leta > 1 divisible only by rimes congruent to 1 or 3 modulo 8. Then has no integer solutions, whereas has integer solutions for all n N. 2x 2 (2a 4 + a 2 )y 2 = 1 2x 2 (2a 4 + a 2 )y 2 1 (mod n) Acknowledgements: The author s research is suorted by NSERC Canada grant # A8484.
10 302 R. A. Mollin References [1] N. Kimura and K.S. Williams, Infinitely many insolvable Diohantine equations f(x 1,x 2 )=0such that f(x 1,x 2 ) 0 (mod m) is solvable for every m, Amer. Math. Monthly 111 (2004), [2] R.A. Mollin, Quadratics, CRC Press, Boca Raton, New York, London, Tokyo (1996). [3] R.A. Mollin, Fundamental Number Theory with Alications, CRC Press, Boca Raton, New York, London, Tokyo (1998). [4] R.A. Mollin, A continued fraction aroach to the Diohantine equation ax 2 by 2 = ±1, JP Journal Algebra, Number Theory, and Al. 4 (2004), [5] R.A. Mollin, Infinitely many quadratic diohantine equations solvable everywhere locally, but not solvable globally, JP Journal Algebra, Number Theory and Al. 4, [6] R.A. Mollin, Norm Form Equations and Continued Fractions, Acta Math. Univ. Comenianae, LXXIV (2005), [7] R.A. Mollin, Global Versus Local Solvability of Quadratic Diohantine Equations, International Math. Forum 1 (2006), [8] T. Nagell, On a secial class of Diohantine equations of the second degree, Ark. Mat. 3 (1954), [9] W. Sieriński, Elementary Theory of Numbers, North-Holland (PWN), Amsterdam, New York, Oxford (1988). Received: December 8, 2006
Infinitely Many Quadratic Diophantine Equations Solvable Everywhere Locally, But Not Solvable Globally
Infinitely Many Quadratic Diohantine Equations Solvable Everywhere Locally, But Not Solvable Globally R.A. Mollin Abstract We resent an infinite class of integers 2c, which turn out to be Richaud-Degert
More informationNecessary 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 informationRepresenting Integers as the Sum of Two Squares in the Ring Z n
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 17 (2014), Article 14.7.4 Reresenting Integers as the Sum of Two Squares in the Ring Z n Joshua Harrington, Lenny Jones, and Alicia Lamarche Deartment
More informationSolvability and Number of Roots of Bi-Quadratic Equations over p adic Fields
Malaysian Journal of Mathematical Sciences 10(S February: 15-35 (016 Secial Issue: The 3 rd International Conference on Mathematical Alications in Engineering 014 (ICMAE 14 MALAYSIAN JOURNAL OF MATHEMATICAL
More informationQuadratic 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 informationMATH 3240Q Introduction to Number Theory Homework 7
As long as algebra and geometry have been searated, their rogress have been slow and their uses limited; but when these two sciences have been united, they have lent each mutual forces, and have marched
More information#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS
#A47 INTEGERS 15 (015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS Mihai Ciu Simion Stoilow Institute of Mathematics of the Romanian Academy, Research Unit No. 5,
More informationInfinitely Many Insolvable Diophantine Equations
ACKNOWLEDGMENT. After this aer was submitted, the author received messages from G. D. Anderson and M. Vuorinen that concerned [10] and informed him about references [1] [7]. He is leased to thank them
More informationMath 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,
MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write
More informationOn the Diophantine Equation x 2 = 4q n 4q m + 9
JKAU: Sci., Vol. 1 No. 1, : 135-141 (009 A.D. / 1430 A.H.) On the Diohantine Equation x = 4q n 4q m + 9 Riyadh University for Girls, Riyadh, Saudi Arabia abumuriefah@yahoo.com Abstract. In this aer, we
More informationThe Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001
The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse-Minkowski Theorem rovides a characterization of the rational quadratic forms. What follows is a roof of the Hasse-Minkowski
More informationCONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN
Int. J. Number Theory 004, no., 79-85. CONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN School of Mathematical Sciences Huaiyin Normal University Huaian, Jiangsu 00, P.R. China zhihongsun@yahoo.com
More informationON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS
#A13 INTEGERS 14 (014) ON THE LEAST SIGNIFICANT ADIC DIGITS OF CERTAIN LUCAS NUMBERS Tamás Lengyel Deartment of Mathematics, Occidental College, Los Angeles, California lengyel@oxy.edu Received: 6/13/13,
More informationMath 104B: Number Theory II (Winter 2012)
Math 104B: Number Theory II (Winter 01) Alina Bucur Contents 1 Review 11 Prime numbers 1 Euclidean algorithm 13 Multilicative functions 14 Linear diohantine equations 3 15 Congruences 3 Primes as sums
More informationCERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education
CERIAS Tech Reort 2010-01 The eriod of the Bell numbers modulo a rime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education and Research Information Assurance and Security Purdue University,
More informationA CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod p) ZHI-HONG SUN
A CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod ) ZHI-HONG SUN Deartment of Mathematics, Huaiyin Teachers College, Huaian 223001, Jiangsu, P. R. China e-mail: hyzhsun@ublic.hy.js.cn
More informationPractice Final Solutions
Practice Final Solutions 1. True or false: (a) If a is a sum of three squares, and b is a sum of three squares, then so is ab. False: Consider a 14, b 2. (b) No number of the form 4 m (8n + 7) can be written
More informationAn Estimate For Heilbronn s Exponential Sum
An Estimate For Heilbronn s Exonential Sum D.R. Heath-Brown Magdalen College, Oxford For Heini Halberstam, on his retirement Let be a rime, and set e(x) = ex(2πix). Heilbronn s exonential sum is defined
More informationx 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,
13. Quadratic Residues We now turn to the question of when a quadratic equation has a solution modulo m. The general quadratic equation looks like ax + bx + c 0 mod m. Assuming that m is odd or that b
More informationR.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 informationWhen do Fibonacci invertible classes modulo M form a subgroup?
Calhoun: The NPS Institutional Archive DSace Reository Faculty and Researchers Faculty and Researchers Collection 2013 When do Fibonacci invertible classes modulo M form a subgrou? Luca, Florian Annales
More informationPARTITIONS AND (2k + 1) CORES. 1. Introduction
PARITY RESULTS FOR BROKEN k DIAMOND PARTITIONS AND 2k + CORES SILVIU RADU AND JAMES A. SELLERS Abstract. In this aer we rove several new arity results for broken k-diamond artitions introduced in 2007
More informationf(r) = a d n) d + + a0 = 0
Math 400-00/Foundations of Algebra/Fall 07 Polynomials at the Foundations: Roots Next, we turn to the notion of a root of a olynomial in Q[x]. Definition 8.. r Q is a rational root of fx) Q[x] if fr) 0.
More informationSmall Zeros of Quadratic Forms Mod P m
International Mathematical Forum, Vol. 8, 2013, no. 8, 357-367 Small Zeros of Quadratic Forms Mod P m Ali H. Hakami Deartment of Mathematics, Faculty of Science, Jazan University P.O. Box 277, Jazan, Postal
More information#A45 INTEGERS 12 (2012) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES
#A45 INTEGERS 2 (202) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES Roberto Tauraso Diartimento di Matematica, Università di Roma Tor Vergata, Italy tauraso@mat.uniroma2.it Received: /7/, Acceted:
More informationPractice Final Solutions
Practice Final Solutions 1. Find integers x and y such that 13x + 1y 1 SOLUTION: By the Euclidean algorithm: One can work backwards to obtain 1 1 13 + 2 13 6 2 + 1 1 13 6 2 13 6 (1 1 13) 7 13 6 1 Hence
More information#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS
#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS Ramy F. Taki ElDin Physics and Engineering Mathematics Deartment, Faculty of Engineering, Ain Shams University, Cairo, Egyt
More information6 Binary Quadratic forms
6 Binary Quadratic forms 6.1 Fermat-Euler Theorem A binary quadratic form is an exression of the form f(x,y) = ax 2 +bxy +cy 2 where a,b,c Z. Reresentation of an integer by a binary quadratic form has
More informationDIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS
IVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUARATIC FIELS PAUL JENKINS AN KEN ONO Abstract. In a recent aer, Guerzhoy obtained formulas for certain class numbers as -adic limits of traces of singular
More informationApplicable Analysis and Discrete Mathematics available online at HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS
Alicable Analysis and Discrete Mathematics available online at htt://efmath.etf.rs Al. Anal. Discrete Math. 4 (010), 3 44. doi:10.98/aadm1000009m HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS Zerzaihi
More informationTHE DIOPHANTINE EQUATION x 4 +1=Dy 2
MATHEMATICS OF COMPUTATION Volume 66, Number 9, July 997, Pages 347 35 S 005-57897)0085-X THE DIOPHANTINE EQUATION x 4 +=Dy J. H. E. COHN Abstract. An effective method is derived for solving the equation
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick
More informationMODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES
MODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES MATIJA KAZALICKI Abstract. Using the theory of Stienstra and Beukers [9], we rove various elementary congruences for the numbers ) 2 ) 2 ) 2 2i1
More informationARITHMETIC PROGRESSIONS OF POLYGONAL NUMBERS WITH COMMON DIFFERENCE A POLYGONAL NUMBER
#A43 INTEGERS 17 (2017) ARITHMETIC PROGRESSIONS OF POLYGONAL NUMBERS WITH COMMON DIFFERENCE A POLYGONAL NUMBER Lenny Jones Deartment of Mathematics, Shiensburg University, Shiensburg, Pennsylvania lkjone@shi.edu
More informationarxiv: v2 [math.nt] 9 Oct 2018
ON AN EXTENSION OF ZOLOTAREV S LEMMA AND SOME PERMUTATIONS LI-YUAN WANG AND HAI-LIANG WU arxiv:1810.03006v [math.nt] 9 Oct 018 Abstract. Let be an odd rime, for each integer a with a, the famous Zolotarev
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick
More informationA FEW EQUIVALENCES OF WALL-SUN-SUN PRIME CONJECTURE
International Journal of Mathematics & Alications Vol 4, No 1, (June 2011), 77-86 A FEW EQUIVALENCES OF WALL-SUN-SUN PRIME CONJECTURE ARPAN SAHA AND KARTHIK C S ABSTRACT: In this aer, we rove a few lemmas
More informationQuadratic Reciprocity
Quadratic Recirocity 5-7-011 Quadratic recirocity relates solutions to x = (mod to solutions to x = (mod, where and are distinct odd rimes. The euations are oth solvale or oth unsolvale if either or has
More informationWhen do the Fibonacci invertible classes modulo M form a subgroup?
Annales Mathematicae et Informaticae 41 (2013). 265 270 Proceedings of the 15 th International Conference on Fibonacci Numbers and Their Alications Institute of Mathematics and Informatics, Eszterházy
More informationCONGRUENCE PROPERTIES MODULO 5 AND 7 FOR THE POD FUNCTION
CONGRUENCE PROPERTIES MODULO 5 AND 7 FOR THE POD FUNCTION SILVIU RADU AND JAMES A. SELLERS Abstract. In this aer, we rove arithmetic roerties modulo 5 7 satisfied by the function odn which denotes the
More informationJonathan Sondow 209 West 97th Street, New York, New York
#A34 INTEGERS 11 (2011) REDUCING THE ERDŐS-MOSER EQUATION 1 n + 2 n + + k n = (k + 1) n MODULO k AND k 2 Jonathan Sondow 209 West 97th Street, New York, New York jsondow@alumni.rinceton.edu Kieren MacMillan
More informationBOUNDS FOR THE SIZE OF SETS WITH THE PROPERTY D(n) Andrej Dujella University of Zagreb, Croatia
GLASNIK MATMATIČKI Vol. 39(59(2004, 199 205 BOUNDS FOR TH SIZ OF STS WITH TH PROPRTY D(n Andrej Dujella University of Zagreb, Croatia Abstract. Let n be a nonzero integer and a 1 < a 2 < < a m ositive
More informationHASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES
HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES AHMAD EL-GUINDY AND KEN ONO Astract. Gauss s F x hyergeometric function gives eriods of ellitic curves in Legendre normal form. Certain truncations of this
More informationarxiv: v5 [math.nt] 22 Aug 2013
Prerint, arxiv:1308900 ON SOME DETERMINANTS WITH LEGENDRE SYMBOL ENTRIES arxiv:1308900v5 [mathnt] Aug 013 Zhi-Wei Sun Deartment of Mathematics, Nanjing University Nanjing 10093, Peole s Reublic of China
More informationA CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract
A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave
More informationarxiv: v1 [math.nt] 9 Sep 2015
REPRESENTATION OF INTEGERS BY TERNARY QUADRATIC FORMS: A GEOMETRIC APPROACH GABRIEL DURHAM arxiv:5090590v [mathnt] 9 Se 05 Abstract In957NCAnkenyrovidedanewroofofthethreesuarestheorem using geometry of
More informationCharacteristics of Fibonacci-type Sequences
Characteristics of Fibonacci-tye Sequences Yarden Blausa May 018 Abstract This aer resents an exloration of the Fibonacci sequence, as well as multi-nacci sequences and the Lucas sequence. We comare and
More informationHENSEL S LEMMA KEITH CONRAD
HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar
More informationBy Evan Chen OTIS, Internal Use
Solutions Notes for DNY-NTCONSTRUCT Evan Chen January 17, 018 1 Solution Notes to TSTST 015/5 Let ϕ(n) denote the number of ositive integers less than n that are relatively rime to n. Prove that there
More informationCONGRUENCES MODULO 4 OF CALIBERS OF REAL QUADRATIC FIELDS. 1. Definitions and results
Ann. Sci. Math. Québec 35 No (0) 85 95 CONGRUENCES MODULO 4 OF CALIBERS OF REAL QUADRATIC FIELDS MASANOBU KANEKO AND KEITA MORI Dedicated to rofessor Paulo Ribenboim on the occasion of his 80th birthday.
More informationThe Fibonacci Quarterly 44(2006), no.2, PRIMALITY TESTS FOR NUMBERS OF THE FORM k 2 m ± 1. Zhi-Hong Sun
The Fibonacci Quarterly 44006, no., 11-130. PRIMALITY TESTS FOR NUMBERS OF THE FORM k m ± 1 Zhi-Hong Sun eartment of Mathematics, Huaiyin Teachers College, Huaian, Jiangsu 3001, P.R. China E-mail: zhsun@hytc.edu.cn
More informationDISCRIMINANTS IN TOWERS
DISCRIMINANTS IN TOWERS JOSEPH RABINOFF Let A be a Dedekind domain with fraction field F, let K/F be a finite searable extension field, and let B be the integral closure of A in K. In this note, we will
More informationA CLASS OF ALGEBRAIC-EXPONENTIAL CONGRUENCES MODULO p. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXI, (2002),. 3 7 3 A CLASS OF ALGEBRAIC-EXPONENTIAL CONGRUENCES MODULO C. COBELI, M. VÂJÂITU and A. ZAHARESCU Abstract. Let be a rime number, J a set of consecutive integers,
More informationSUBORBITAL GRAPHS FOR A SPECIAL SUBGROUP OF THE NORMALIZER OF. 2p, p is a prime and p 1 mod4
Iranian Journal of Science & Technology, Transaction A, Vol. 34, No. A4 Printed in the Islamic Reublic of Iran, Shiraz University SUBORBITAL GRAPHS FOR A SPECIAL SUBGROUP * m OF THE NORMALIZER OF S. KADER,
More informationOn the Multiplicative Order of a n Modulo n
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 13 2010), Article 10.2.1 On the Multilicative Order of a n Modulo n Jonathan Chaelo Université Lille Nord de France F-59000 Lille France jonathan.chaelon@lma.univ-littoral.fr
More informationMobius Functions, Legendre Symbols, and Discriminants
Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,
More information(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury
Is e π 163 odd or even? (Worksho on Harmonic Analysis on symmetric saces I.S.I. Bangalore : 9th July 004) B.Sury e π 163 = 653741640768743.999999999999.... The object of this talk is to exlain this amazing
More informationLARGE GAPS BETWEEN CONSECUTIVE PRIME NUMBERS CONTAINING SQUARE-FREE NUMBERS AND PERFECT POWERS OF PRIME NUMBERS
LARGE GAPS BETWEEN CONSECUTIVE PRIME NUMBERS CONTAINING SQUARE-FREE NUMBERS AND PERFECT POWERS OF PRIME NUMBERS HELMUT MAIER AND MICHAEL TH. RASSIAS Abstract. We rove a modification as well as an imrovement
More informationBEST POSSIBLE DENSITIES OF DICKSON m-tuples, AS A CONSEQUENCE OF ZHANG-MAYNARD-TAO
BEST POSSIBLE DENSITIES OF DICKSON m-tuples, AS A CONSEQUENCE OF ZHANG-MAYNARD-TAO ANDREW GRANVILLE, DANIEL M. KANE, DIMITRIS KOUKOULOPOULOS, AND ROBERT J. LEMKE OLIVER Abstract. We determine for what
More informationVerifying Two Conjectures on Generalized Elite Primes
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 12 (2009), Article 09.4.7 Verifying Two Conjectures on Generalized Elite Primes Xiaoqin Li 1 Mathematics Deartment Anhui Normal University Wuhu 241000,
More informationON THE DISTRIBUTION OF THE PARTIAL SUM OF EULER S TOTIENT FUNCTION IN RESIDUE CLASSES
C O L L O Q U I U M M A T H E M A T I C U M VOL. * 0* NO. * ON THE DISTRIBUTION OF THE PARTIAL SUM OF EULER S TOTIENT FUNCTION IN RESIDUE CLASSES BY YOUNESS LAMZOURI, M. TIP PHAOVIBUL and ALEXANDRU ZAHARESCU
More informationA Curious Property of the Decimal Expansion of Reciprocals of Primes
A Curious Proerty of the Decimal Exansion of Recirocals of Primes Amitabha Triathi January 6, 205 Abstract For rime 2, 5, the decimal exansion of / is urely eriodic. For those rime for which the length
More informationCongruences modulo 3 for two interesting partitions arising from two theta function identities
Note di Matematica ISSN 113-53, e-issn 1590-093 Note Mat. 3 01 no., 1 7. doi:10.185/i1590093v3n1 Congruences modulo 3 for two interesting artitions arising from two theta function identities Kuwali Das
More information1 Integers and the Euclidean algorithm
1 1 Integers and the Euclidean algorithm Exercise 1.1 Prove, n N : induction on n) 1 3 + 2 3 + + n 3 = (1 + 2 + + n) 2 (use Exercise 1.2 Prove, 2 n 1 is rime n is rime. (The converse is not true, as shown
More informationOn the irreducibility of a polynomial associated with the Strong Factorial Conjecture
On the irreducibility of a olynomial associated with the Strong Factorial Conecture Michael Filaseta Mathematics Deartment University of South Carolina Columbia, SC 29208 USA E-mail: filaseta@math.sc.edu
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 informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCIT POOJA PATEL Abstract. This aer is an self-contained exosition of the law of uadratic recirocity. We will give two roofs of the Chinese remainder theorem and a roof of uadratic recirocity.
More informationWe collect some results that might be covered in a first course in algebraic number theory.
1 Aendices We collect some results that might be covered in a first course in algebraic number theory. A. uadratic Recirocity Via Gauss Sums A1. Introduction In this aendix, is an odd rime unless otherwise
More informationON THE SET a x + b g x (mod p) 1 Introduction
PORTUGALIAE MATHEMATICA Vol 59 Fasc 00 Nova Série ON THE SET a x + b g x (mod ) Cristian Cobeli, Marian Vâjâitu and Alexandru Zaharescu Abstract: Given nonzero integers a, b we rove an asymtotic result
More informationMATH 361: NUMBER THEORY EIGHTH LECTURE
MATH 361: NUMBER THEORY EIGHTH LECTURE 1. Quadratic Recirocity: Introduction Quadratic recirocity is the first result of modern number theory. Lagrange conjectured it in the late 1700 s, but it was first
More informationOn generalizing happy numbers to fractional base number systems
On generalizing hay numbers to fractional base number systems Enriue Treviño, Mikita Zhylinski October 17, 018 Abstract Let n be a ositive integer and S (n) be the sum of the suares of its digits. It is
More informationMath 261 Exam 2. November 7, The use of notes and books is NOT allowed.
Math 261 Eam 2 ovember 7, 2018 The use of notes and books is OT allowed Eercise 1: Polynomials mod 691 (30 ts In this eercise, you may freely use the fact that 691 is rime Consider the olynomials f( 4
More informationRECIPROCITY LAWS JEREMY BOOHER
RECIPROCITY LAWS JEREMY BOOHER 1 Introduction The law of uadratic recirocity gives a beautiful descrition of which rimes are suares modulo Secial cases of this law going back to Fermat, and Euler and Legendre
More informationAn Overview of Witt Vectors
An Overview of Witt Vectors Daniel Finkel December 7, 2007 Abstract This aer offers a brief overview of the basics of Witt vectors. As an alication, we summarize work of Bartolo and Falcone to rove that
More informationISOSCELES TRIANGLES IN Q 3. Matt Noble Department of Mathematics, Middle Georgia State University, Macon, Georgia
#A9 INTEGERS 18 (2018) ISOSCELES TRIANGLES IN Q Matt Noble Deartment of Mathematics, Middle Georgia State University, Macon, Georgia matthew.noble@mga.edu Received: 7/2/17, Acceted: 2//18, Published: 2/19/18
More informationAliquot sums of Fibonacci numbers
Aliquot sums of Fibonacci numbers Florian Luca Instituto de Matemáticas Universidad Nacional Autónoma de Méico C.P. 58089, Morelia, Michoacán, Méico fluca@matmor.unam.m Pantelimon Stănică Naval Postgraduate
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More informationSQUAREFREE VALUES OF QUADRATIC POLYNOMIALS COURSE NOTES, 2015
SQUAREFREE VALUES OF QUADRATIC POLYNOMIALS COURSE NOTES, 2015 1. Squarefree values of olynomials: History In this section we study the roblem of reresenting square-free integers by integer olynomials.
More informationPrimes - Problem Sheet 5 - Solutions
Primes - Problem Sheet 5 - Solutions Class number, and reduction of quadratic forms Positive-definite Q1) Aly the roof of Theorem 5.5 to find reduced forms equivalent to the following, also give matrices
More informationThe inverse Goldbach problem
1 The inverse Goldbach roblem by Christian Elsholtz Submission Setember 7, 2000 (this version includes galley corrections). Aeared in Mathematika 2001. Abstract We imrove the uer and lower bounds of the
More informationSets of Real Numbers
Chater 4 Sets of Real Numbers 4. The Integers Z and their Proerties In our revious discussions about sets and functions the set of integers Z served as a key examle. Its ubiquitousness comes from the fact
More informationNOTES ON RAMANUJAN'S SINGULAR MODULI. Bruce C. Berndt and Heng Huat Chan. 1. Introduction
NOTES ON RAMANUJAN'S SINGULAR MODULI Bruce C. Berndt Heng Huat Chan 1. Introduction Singular moduli arise in the calculation of class invariants, so we rst dene the class invariants of Ramanujan Weber.
More informationp-adic Properties of Lengyel s Numbers
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.7.3 -adic Proerties of Lengyel s Numbers D. Barsky 7 rue La Condamine 75017 Paris France barsky.daniel@orange.fr J.-P. Bézivin 1, Allée
More informationSolving the general quadratic congruence. y 2 Δ (mod p),
Quadratic Congruences Solving the general quadratic congruence ax 2 +bx + c 0 (mod p) for an odd prime p (with (a, p) = 1) is equivalent to solving the simpler congruence y 2 Δ (mod p), where Δ = b 2 4ac
More informationTHUE-VINOGRADOV AND INTEGERS OF THE FORM x 2 + Dy 2. Contents. Introduction Study of an Elementary Proof
THUE-VINOGRADOV AND INTEGERS OF THE FORM x 2 + Dy 2 PETE L. CLARK Contents Introduction Study of an Elementary Proof 1 1. The Lemmas of Thue and Vinogradov 4 2. Preliminaries on Quadratic Recirocity and
More informationarxiv: v1 [math.nt] 4 Nov 2015
Wall s Conjecture and the ABC Conjecture George Grell, Wayne Peng August 0, 018 arxiv:1511.0110v1 [math.nt] 4 Nov 015 Abstract We show that the abc conjecture of Masser-Oesterlé-Sziro for number fields
More informationPETER J. GRABNER AND ARNOLD KNOPFMACHER
ARITHMETIC AND METRIC PROPERTIES OF -ADIC ENGEL SERIES EXPANSIONS PETER J. GRABNER AND ARNOLD KNOPFMACHER Abstract. We derive a characterization of rational numbers in terms of their unique -adic Engel
More informationNumber Theory Naoki Sato
Number Theory Naoki Sato 0 Preface This set of notes on number theory was originally written in 1995 for students at the IMO level. It covers the basic background material that an IMO
More informationRAMANUJAN-NAGELL CUBICS
RAMANUJAN-NAGELL CUBICS MARK BAUER AND MICHAEL A. BENNETT ABSTRACT. A well-nown result of Beuers [3] on the generalized Ramanujan-Nagell equation has, at its heart, a lower bound on the quantity x 2 2
More informationFactor Rings and their decompositions in the Eisenstein integers Ring Z [ω]
Armenian Journal of Mathematics Volume 5, Number 1, 013, 58 68 Factor Rings and their decomositions in the Eisenstein integers Ring Z [ω] Manouchehr Misaghian Deartment of Mathematics, Prairie View A&M
More informationAlgebraic Number Theory
Algebraic Number Theory Joseh R. Mileti May 11, 2012 2 Contents 1 Introduction 5 1.1 Sums of Squares........................................... 5 1.2 Pythagorean Triles.........................................
More information#A8 INTEGERS 12 (2012) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS
#A8 INTEGERS 1 (01) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS Mohammadreza Bidar 1 Deartment of Mathematics, Sharif University of Technology, Tehran, Iran mrebidar@gmailcom
More informationElementary Proof That There are Infinitely Many Primes p such that p 1 is a Perfect Square (Landau's Fourth Problem)
Elementary Proof That There are Infinitely Many Primes such that 1 is a Perfect Square (Landau's Fourth Problem) Stehen Marshall 7 March 2017 Abstract This aer resents a comlete and exhaustive roof of
More informationElementary Analysis in Q p
Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some
More informationMAT 311 Solutions to Final Exam Practice
MAT 311 Solutions to Final Exam Practice Remark. If you are comfortable with all of the following roblems, you will be very well reared for the midterm. Some of the roblems below are more difficult than
More informationA LLT-like test for proving the primality of Fermat numbers.
A LLT-like test for roving the rimality of Fermat numbers. Tony Reix (Tony.Reix@laoste.net) First version: 004, 4th of Setember Udated: 005, 9th of October Revised (Inkeri): 009, 8th of December In 876,
More informationMATH342 Practice Exam
MATH342 Practice Exam This exam is intended to be in a similar style to the examination in May/June 2012. It is not imlied that all questions on the real examination will follow the content of the ractice
More informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 J. E. CREMONA Contents 0. Introduction: What is Number Theory? 2 Basic Notation 3 1. Factorization 4 1.1. Divisibility in Z 4 1.2. Greatest Common
More informationLower Order Biases in Fourier Coefficients of Elliptic Curve and Cuspidal Newform families
Lower Order Biases in Fourier Coefficients of Ellitic Curve and Cusidal Newform families Jared Lichtman, Steven Miller, Eric Winsor & Jianing Yang jared.d.lichtman.18@dartmouth.edu, sjm1@williams.edu rcwnsr@umich.edu,
More information