A FEW EQUIVALENCES OF WALL-SUN-SUN PRIME CONJECTURE

Size: px
Start display at page:

Download "A FEW EQUIVALENCES OF WALL-SUN-SUN PRIME CONJECTURE"

Transcription

1 International Journal of Mathematics & Alications Vol 4, No 1, (June 2011), A FEW EQUIVALENCES OF WALL-SUN-SUN PRIME CONJECTURE ARPAN SAHA AND KARTHIK C S ABSTRACT: In this aer, we rove a few lemmas concerning Fibonacci numbers modulo rimes and rovide a few statements that are equivalent to Wall-Sun-Sun Prime Conjecture Further, we investigate the conjecture through heuristic arguments and roose a coule of additional conjectures for future research 1 INTRODUCTION The Fibonacci sequence {F n } n 0 (defined as F 0 = 0, F 1 = 1 and F n = F n 1 + F n 2 for all n 2) has harbored great interest owing to its wide occurrence in combinatorial roblems such as that regarding the number of ways of tiling a 2 n rectangle with 2 1 dominoes and other numerous roerties it exhibits For instance, F m + n = F m 1 F n + F m F n + 1 and, as E Lucas had discovered, F gcd (m, n) = gcd(f m, F n ) Moreover, the work of D D Wall, Z H Sun and Z W Sun [3][4] regarding what has come to be known as the Wall-Sun-Sun Prime Conjecture, had demonstrated intimate links between the Fibonacci sequence and Fermat s Last Theorem [4] Though the latter ie Fermat s Last Theorem was roved in 199 by Andrew Wiles and Richard Taylor [][6], the Wall-Sun-Sun Prime Conjecture continues to generate interest This may be artly due to the fact that the Fibonacci sequence is interesting in its own right and artly due to the fact that it may lead to a relatively elementary aroach to Fermat s Last Theorem as comared to Wiles roof involving bijections between ellitic and modular forms The Wall-Sun-Sun Prime Conjecture is as follows: Statement 1: There does not exist a rime such that 2 F () where () is the Legendre symbol ie 1 if 1(mod ) 1 if 2(mod ) 0 if 0(mod ) (Such rimes shall henceforth be referred to as Wall-Sun-Sun rimes) We shall rovide a few statements equivalent to the above But we will first require a few definitions and results

2 78 Aran Saha and Karthik C S Definition: For a given ositive integer n, κ (n) is the least ositive integer m such that n F m Definition: For a given ositive integer n, π (n) is the least ositive integer m such that n F m and F m (mod n) This is often referred to as the Pisano eriod The existence of π(n) for any ositive integer n follows from the Pigeonhole Princile and the well-ordering of ositive integers [3]; the existence of κ (n) follows thence 2 BACKGROUND RESULTS We list here the results that we shall be using for demonstrating the equivalences discussed in the subsequent section Lemma 1: Let m and n be ositive integers We claim that n F m if and only if κ(n) m Proof: Both the necessity and sufficiency follow from the standard result due to E Lucas that gcd (F m, F k ) = F gcd (m, k) for any ositive integers m and k Here, if n F m then n gcd(f m, F κ(n) ) = F gcd (m, κ (n)) But F κ(n), by definition is the least Fibonacci number divisible by n (the Fibonacci numbers are an increasing sequence) So, κ (n) gcd (m, κ(n)) which imlies κ (n) = gcd (m, κ (n)) ie κ (n) m Conversely, if κ (n) m, then gcd (F m, F κ (n) ) = F gcd (m, κ (n)) = F κ (n) ie F κ (n) F m from which we conclude n F m Lemma 2: Let l be the highest ower of a ositive integer n dividing F κ(n) If n F m for some ositive integer m, then n l F m Proof: As, gcd(f m, F κ(n) ) = F gcd (m, κ (n)) = F κ(n) whenever n divides F m, we have F κ(n) F m Since n l F κ (n), we get n l F m as well Lemma 3: Let be a rime If F m and / F, then F m Proof: Let us recall Siebeck s formula for F mn n n j n j F mn = F j F m F m 1 j j 0 where m and n are ositive integers Let us ut n = We would then have j j F m = F j F m F m 1 j j 0 1 j j = F j F m F m 1 F F m j j 1

3 A Few Equivalences of Wall-Sun-Sun Prime Conjecture 79 On taking the equality modulo, we have F m F F m (mod ) as divides ( j ) for 1 j 1 Now from Fermat s Little Theorem we obtain, F m F F m (mod ) from which the result follows Lemma 4: Let l be the highest ower of a rime dividing F κ(n) We have, κ( l + 1 ) = κ() Proof: We ut n = and m = κ () in Siebeck s formula j j F κ() = F j F ()() F 1 j j 0 Let F κ() = l γ for some ositive integer γ not divisible by Then, lj j j F κ() = F j F () 1 j j 0 = F F F l 1 1 2( l 2) l j j j () 1() 1 j j 2 j As does not divide γ or F κ() 1 and we know that l 1, this imlies that the highest ower of dividing F κ() is l + 1 Now, by Lemma 1, we gather that κ( l + 1 ) κ() Let a be a ositive integer such that κ() = aκ( l + 1 ) Since l + 1 F, we have κ( l + 1) F κ( l + and again by Lemma 1, we have 1) κ() κ( l + 1 ) Let b be a ositive integer such that κ( l + 1 ) = bκ() So, κ() = abκ() which is to say, = ab Now a can be or 1 as is rime If a =, then we would have κ() = κ( l + 1 ) ie l + 1 F κ() This contradicts our assumtion, so we conclude a = 1 ie κ( l + 1 ) = κ() Lemma : For all ositive integers m and n, F mκ(n) + 1 F m κ(n) + 1 (mod n 2 ) Proof: We roceed by induction The base case m = 1 is trivial For the rest, we shall invoke the standard result, F r + s = F r F s F r 1 F s, r, s

4 80 Aran Saha and Karthik C S Let us assume that the congruence holds for all ositive integers m < κ, κ Then, F λκ(n) + 1 = F (λ 1) κ(n) κ(n) = F (λ 1) κ(n)+1 F κ(n) F (λ 1) κ(n) F κ(n) F λ 1 λκ(n) + 1 λκ(n) + 1 (mod n 2 ) (by inductive hyothesis) F λ λκ(n) + 1 (mod n 2 ) Hence, the congruence holds for m = λ as well The Lemma is thus roved Lemma 6: Let n be a ositive integer and let Ω n (z) denote the order of a ositive integer z modulo n We have, π(n) = κ(n) Ω n (F κ(n) + 1 ) Proof: The least ositive integer m for which, F mκ(n) (mod n) ie F m 1 (mod n) (by Lemma ) κ(n) + 1 is Ω n (F κ(n) + 1 ) Since gcd (F κ(n) + 1, F κ(n) ) = 1, we have that n, which divides F κ(n), is relatively rime to F κ(n) + 1 Hence, Ω n (F κ(n) + 1 ) is well-defined Now, from our definition of π(n), the Lemma immediately follows Lemma 7: Let r and n be ositive integers and be a rime Let α r and β r be residues modulo such that We claim that F rπ(n) α r (mod 2 ) F rπ(n) + 1 β r + 1 (mod 2 ) α r rα 1 (mod ) β r rβ 1 (mod ) Proof: We first note that the above notation is well-defined as, F rπ(n) 0 (mod ) F rπ(n) (mod ) We now roceed by induction The base case r = 1 is trivial For the rest, we first assume that the Lemma holds for r < From induction hyothesis, we have, F ( 1)π() α 1 ( 1) α 1 (mod 2 ) F ( 1)π() + 1 β ( 1) β (mod 2 )

5 A Few Equivalences of Wall-Sun-Sun Prime Conjecture 81 Now for the inductive stes: F π() F ( 1)π() + π() This gives us Similarly, F π() 1 F ( 1)π() + F π() F ( 1)π() + 1 ((β 1 α 1 ) + 1)( 1) α 1 + α 1 (( 1) β 1 + 1) α 1 (mod 2 ) α α 1 (mod ) This gives us F π() + 1 F ( 1)π() π() F π() F ( 1)π() + F π() + 1 F ( 1)π() + 1 ( 1) α (β 1 + 1) (( 1) β 1 + 1) β (mod 2 ) β β 1 (mod ) Thus the Lemma holds for all ositive integers r Lemma 8: Let be a rime We claim that π( 2 ) equals either π() or π() Proof: Firstly, we know that π(n) π(n 2 ) from Theorem stated in [3] and simle counting arguments Hence, π( 2 ) is of the form ξπ() where ξ is a ositive integer We continue with the notation α 1 and β 1 as introduced in Lemma 7 and investigate three cases: Case (i): α 1 0 (mod ) In this case, α 1, 2α 1, 3α 1, ( 1) α 1 are not congruent to zero modulo Thus, by Lemma 7, we have for all ositive integers ξ <, However, F ξπ() 0 (mod 2 ) α 1 0 (mod ) F π() 0 (mod 2 ) (by Lemma 7) F π() (mod 2 ) (by Lemma 7) Since π() is the least ositive integer g such that F g and F g + 1 are 0 and 1 modulo 2 resectively, we conclude π( 2 ) π() Although this Lemma is very well established, we hoe that we have given a new and more elementary roof

6 82 Aran Saha and Karthik C S Case (ii): β 1 0 (mod ) In this case, β 1, 2β 1, 3β 1, ( 1) β 1 are not congruent to zero modulo as well Thus, by Lemma 7, we have for all ositive integers ξ <, However, F ξπ() (mod 2 ) β 1 0 (mod ) F π() 0 (mod 2 ) (by Lemma 7) F π() (mod 2 ) (by Lemma 7) Since π() is the least ositive integer g such that F g and F g + 1 are 0 and 1 modulo 2 resectively, we conclude π( 2 ) π() Case (iii): α 1 β 1 0 (mod ) In this case, we directly have by definition F π() 0 (mod 2 ) F π() (mod 2 ) Hence, by again using the result π() π( 2 ), we have π( 2 ) = π() The Lemma is thus roved Consider the following statements: 3 A FEW EQUIVALENCES Statement 2: For any given rime, the highest ower of dividing F κ() is 1 Statement 3: Let m be a ositive integer and be a rime If 2 F m, then is a roer divisor of m Statement 4: For every rime, we have, π( 2 ) = π() With the above statements in mind, we have the following Theorem: Theorem: Statements 1, 2, 3 and 4 are equivalent Proof: We rove the bidirectional imlications: Statements 1 2, 2 3 and 2 4 To rove that Statement 1 imlies Statement 2, we use the result in [7], [8]: F ()

7 A Few Equivalences of Wall-Sun-Sun Prime Conjecture 83 According to Statement 1, 2 / F () 2 / () F, which by Lemma 2 leads us to conclude To rove that Statement 2 imlies Statement 1, we see that if the highest ower of dividing F κ() is 1 then, by Lemma 4, κ( 2 ) = κ() But, /() excet for the case =, which can be easily ruled out as is not a Wall-Sun-Sun rime Thus, we deduce / 2 () /() Using Lemma 1, we conclude that 2 F ie is not a Wall-Sun-Sun () rime Since, can be any arbitrary rime, we see that there does not exist any Wall-Sun-Sun rime To rove that Statement 2 imlies Statement 3, we see that if 1 is the highest ower of dividing F κ(), in accordance with Statement 2, then, by Lemma 4, κ( 2 ) = κ() Now, by Lemma 1, if 2 divides F m then κ( 2 ) ie κ() divides m In other words, is a roer divisor of m To rove that Statement 3 imlies Statement 2, we assume 2 F κ() By Statement 3, is a roer divisor of κ() So, we let κ() = c where c > 1 We have, by Lemma 3, F or F c But both and c are less than κ(), which according to definition is the least ositive integer n such that F n This is a contradiction Hence 2 / F () It follows that Statements 2 and 3 are equivalent To rove that Statement 2 imlies Statement 4, we use Lemma 4 in conjunction with Statement 2 to note κ( 2 ) = κ() But by Lemma, we know that: We have, as a consequence: F κ() + 1 F κ() + 1 (mod 2 ) Ω 2(F κ( 2 ) + 1 ) = Ω 2 (F κ() + 1 ) If we denote the quantity on either side as ω, then Hence, we would also have F ω 1 (mod κ () ) F ω 1 (mod ) κ () + 1 By Fermat s Little Theorem, we have F ω F ω κ() + 1 κ () (mod ) Though the equivalence between Statements 1 and 4 has been well established, we have rovided an elementary roof

8 84 Aran Saha and Karthik C S This means that Ω (F κ() + 1 ) ω ie Ω (F κ() + 1 ) Ω 2(F κ( ) whence we get, 2 ) + 1 But we have, Ω (F κ() + 1 ) Ω 2(F κ( 2 ) + 1 ) κ( 2 ) = κ() κ( 2 ) > κ() κ( 2 ) Ω 2 (F κ( 2 ) + 1 ) > κ() Ω (F κ() + 1 ) And as a consequence of Lemma 6 we have, Hence by Lemma 8, π() < π( 2 ) π( 2 ) = π() To rove that Statement 4 imlies Statement 2, we merely note that if every Fibonacci number divisible by a given rime was also divisible by 2, then π( 2 ) would be equal to π() Hence, Statement 4 imlies Statement 2 The equivalence is thus roved 4 HEURISTIC ARGUMENTS Firstly, some exciting results have been roved by A S Elsenhans and J Jahnel in [2] and we would request the readers to go through them An investigation regarding Wall-Sun-Sun Prime Conjecture carried out in [2] makes us believe that it might be true The oular version of the conjecture is its equivalent Statement 4 And from Lemma 8 we have that the conjecture imlies that there are no solutions to the equation below in rime numbers: π( 2 ) = π() However it would be interesting to find solutions to the above equation over all ositive integers Regarding this, we conjecture that the only solutions to the equation: π(n 2 ) = π(n), n are n = 6 and n = 12 Although no clear reason resents itself to us now, as to why the number 6 has such an interesting relationshi with its Pisano eriod, we can seculate why 12 follows it u The Pisano eriod function, π bears certain striking similarities to Euler s totient function, As indicated by comuter investigation, for instance, both seem to obey similar relations: φ( n ) = n 1 φ() [1] π( n ) = n 1 π() [2]

9 A Few Equivalences of Wall-Sun-Sun Prime Conjecture 8 for all rimes Further results such as: φ(mn) = (m)(n), if gcd (m, n) = 1, m, n [1] φ(mn) = l cm(π(m), π(n)), if gcd (m, n) = 1, m, n [2] confirm that there might be deeer links between the two functions Now considering the above equations, it is easier to areciate why π(6) = π(12) = π(6 2 ) = π(12 2 ) On a different note, it has been intuitively argued that π( 2 ) = π() for rime [2] So it is reasonable to exect every rime to divide π( 2 ) However for small values of n, it can be verified that: n π(n 2 ), n Keeing in mind Lemma 4 and certain results mentioned in [2], we claim that: n π(n 2 ), n If we see the above claim in the light of Lemma 6, we attain a better insight into the heart of the roblem, which only becomes more comelling when we bound π(n 2 ) by, π(n) π(n 2 ) nπ(n), n The roof of the inequality is omitted here, but we encourage the reader to rove them (Hint: Use Pigeonhole Princile) Note that no easily detectable attern emerges, as to when the equality holds for the uer bound Also, we have already conjectured regarding the condition when the equality holds for the lower bound Now assuming the above bounds on π(n 2 ), the claim that n π(n 2 ), n, becomes even more intriguing Summarizing, we conjecture the following statements: 1 The only solutions for the equation π(n 2 ) = π(n) over ositive integers are 6 and 12 2 n π(n 2 ), n ACKNOWLEDGMENTS We would like to thank Suryateja Gavva for heling us verify the roofs, checking for any lases of logic and roviding us with the much needed motivation to comlete this aer We would also like to thank Vihang Mehta for heling us cross-refer certain sources REFERENCES [1] T Aostol, (1998),Introduction to Analytic Number Theory, New York, Sringer, ISBN , 28 [2] A S Elsenhans, and J Jahnel, (2010), The Fibonacci sequence modulo 2 An Investigation by Comuter for < 10 14, arxiv: v1 [3] D D Wall, (1960), Fibonacci series modulo m, American Mathematical Monthly, 67, 2-32

10 86 Aran Saha and Karthik C S [4] Z W Sun, and Z H Sun, (1992), Fibonacci Numbers and Fermat s Last Theorem,Acta Mathematica, 60(4), [] A Wiles, (199), Modular Ellitic Curves and Fermat s Last Theorem, Annals of Mathematics, 141(3), [6] A Wiles, and R Taylor, (199), Ring Theoretical Proerties of Certain Hecke Algebras, Annals of Mathematics, 141(3), 3-72 [7] P Ribenboim, (1996), The New Book of Prime Number Records, New York, Sringer, ISBN: , 64 [8] F Lemmermeyer, (2000), Recirocity Laws, New York: Sringer, ISBN: , ex , Aran Saha * & Karthik C S ** Indian Institute of Technology (IIT), Bombay s: aran_saha@iitbacin * & karthikcs@iitbacin **

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS

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

arxiv: v1 [math.nt] 4 Nov 2015

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

Characteristics of Fibonacci-type Sequences

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

Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,

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

CERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education

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

QUADRATIC RECIPROCITY

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

Mersenne and Fermat Numbers

Mersenne and Fermat Numbers NUMBER THEORY CHARLES LEYTEM Mersenne and Fermat Numbers CONTENTS 1. The Little Fermat theorem 2 2. Mersenne numbers 2 3. Fermat numbers 4 4. An IMO roblem 5 1 2 CHARLES LEYTEM 1. THE LITTLE FERMAT THEOREM

More information

#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS

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

QUADRATIC RECIPROCITY

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

On the Multiplicative Order of a n Modulo n

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

When do Fibonacci invertible classes modulo M form a subgroup?

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

The inverse Goldbach problem

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

MATH 3240Q Introduction to Number Theory Homework 7

MATH 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

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

Diophantine Equations and Congruences

Diophantine Equations and Congruences International Journal of Algebra, Vol. 1, 2007, no. 6, 293-302 Diohantine Equations and Congruences R. A. Mollin Deartment of Mathematics and Statistics University of Calgary, Calgary, Alberta, Canada,

More information

#A45 INTEGERS 12 (2012) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES

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

#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS

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

HENSEL S LEMMA KEITH CONRAD

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

1. INTRODUCTION. Fn 2 = F j F j+1 (1.1)

1. INTRODUCTION. Fn 2 = F j F j+1 (1.1) CERTAIN CLASSES OF FINITE SUMS THAT INVOLVE GENERALIZED FIBONACCI AND LUCAS NUMBERS The beautiful identity R.S. Melham Deartment of Mathematical Sciences, University of Technology, Sydney PO Box 23, Broadway,

More information

MATH 361: NUMBER THEORY EIGHTH LECTURE

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

ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM

ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM JOHN BINDER Abstract. In this aer, we rove Dirichlet s theorem that, given any air h, k with h, k) =, there are infinitely many rime numbers congruent to

More information

x 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,

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

MATH342 Practice Exam

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

Representing Integers as the Sum of Two Squares in the Ring Z n

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

CHAPTER 6. Prime Numbers. Definition and Fundamental Results

CHAPTER 6. Prime Numbers. Definition and Fundamental Results CHAPTER 6 Prime Numbers Part VI of PJE. Definition and Fundamental Results 6.1. Definition. (PJE definition 23.1.1) An integer p is prime if p > 1 and the only positive divisors of p are 1 and p. If n

More information

LECTURE 10: JACOBI SYMBOL

LECTURE 10: JACOBI SYMBOL LECTURE 0: JACOBI SYMBOL The Jcobi symbol We wish to generlise the Legendre symbol to ccomodte comosite moduli Definition Let be n odd ositive integer, nd suose tht s, where the i re rime numbers not necessrily

More information

The Fibonacci Quarterly 44(2006), no.2, PRIMALITY TESTS FOR NUMBERS OF THE FORM k 2 m ± 1. Zhi-Hong Sun

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

When do the Fibonacci invertible classes modulo M form a subgroup?

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

arxiv: v2 [math.nt] 9 Oct 2018

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

Dirichlet s Theorem on Arithmetic Progressions

Dirichlet s Theorem on Arithmetic Progressions Dirichlet s Theorem on Arithmetic Progressions Thai Pham Massachusetts Institute of Technology May 2, 202 Abstract In this aer, we derive a roof of Dirichlet s theorem on rimes in arithmetic rogressions.

More information

PARTITIONS AND (2k + 1) CORES. 1. Introduction

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

Primes of the form ±a 2 ± qb 2

Primes of the form ±a 2 ± qb 2 Stud. Univ. Babeş-Bolyai Math. 58(2013), No. 4, 421 430 Primes of the form ±a 2 ± qb 2 Eugen J. Ionascu and Jeff Patterson To the memory of Professor Mircea-Eugen Craioveanu (1942-2012) Abstract. Reresentations

More information

Practice Final Solutions

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

A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract

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

QUADRATIC RESIDUES AND DIFFERENCE SETS

QUADRATIC RESIDUES AND DIFFERENCE SETS QUADRATIC RESIDUES AND DIFFERENCE SETS VSEVOLOD F. LEV AND JACK SONN Abstract. It has been conjectured by Sárközy that with finitely many excetions, the set of quadratic residues modulo a rime cannot be

More information

An Estimate For Heilbronn s Exponential Sum

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

Jacobi symbols and application to primality

Jacobi symbols and application to primality Jacobi symbols and alication to rimality Setember 19, 018 1 The grou Z/Z We review the structure of the abelian grou Z/Z. Using Chinese remainder theorem, we can restrict to the case when = k is a rime

More information

MA3H1 TOPICS IN NUMBER THEORY PART III

MA3H1 TOPICS IN NUMBER THEORY PART III MA3H1 TOPICS IN NUMBER THEORY PART III SAMIR SIKSEK 1. Congruences Modulo m In quadratic recirocity we studied congruences of the form x 2 a (mod ). We now turn our attention to situations where is relaced

More information

Primes - Problem Sheet 5 - Solutions

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

An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p.

An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p. Chapter 6 Prime Numbers Part VI of PJE. Definition and Fundamental Results Definition. (PJE definition 23.1.1) An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p. If n > 1

More information

Math 261 Exam 2. November 7, The use of notes and books is NOT allowed.

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

Elementary Analysis in Q p

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

THE DIOPHANTINE EQUATION x 4 +1=Dy 2

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

Practice Final Solutions

Practice 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

Math 104B: Number Theory II (Winter 2012)

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

On the Rank of the Elliptic Curve y 2 = x(x p)(x 2)

On the Rank of the Elliptic Curve y 2 = x(x p)(x 2) On the Rank of the Ellitic Curve y = x(x )(x ) Jeffrey Hatley Aril 9, 009 Abstract An ellitic curve E defined over Q is an algebraic variety which forms a finitely generated abelian grou, and the structure

More information

MATH 2710: NOTES FOR ANALYSIS

MATH 2710: NOTES FOR ANALYSIS MATH 270: NOTES FOR ANALYSIS The main ideas we will learn from analysis center around the idea of a limit. Limits occurs in several settings. We will start with finite limits of sequences, then cover infinite

More information

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

MAS 4203 Number Theory. M. Yotov

MAS 4203 Number Theory. M. Yotov MAS 4203 Number Theory M. Yotov June 15, 2017 These Notes were comiled by the author with the intent to be used by his students as a main text for the course MAS 4203 Number Theory taught at the Deartment

More information

p-adic Properties of Lengyel s Numbers

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

arxiv: v1 [math.nt] 9 Sep 2015

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

MATH 250: THE DISTRIBUTION OF PRIMES. ζ(s) = n s,

MATH 250: THE DISTRIBUTION OF PRIMES. ζ(s) = n s, MATH 50: THE DISTRIBUTION OF PRIMES ROBERT J. LEMKE OLIVER For s R, define the function ζs) by. Euler s work on rimes ζs) = which converges if s > and diverges if s. In fact, though we will not exloit

More information

Solvability and Number of Roots of Bi-Quadratic Equations over p adic Fields

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

On the Square-free Numbers in Shifted Primes Zerui Tan The High School Attached to The Hunan Normal University November 29, 204 Abstract For a fixed o

On the Square-free Numbers in Shifted Primes Zerui Tan The High School Attached to The Hunan Normal University November 29, 204 Abstract For a fixed o On the Square-free Numbers in Shifted Primes Zerui Tan The High School Attached to The Hunan Normal University, China Advisor : Yongxing Cheng November 29, 204 Page - 504 On the Square-free Numbers in

More information

On Character Sums of Binary Quadratic Forms 1 2. Mei-Chu Chang 3. Abstract. We establish character sum bounds of the form.

On Character Sums of Binary Quadratic Forms 1 2. Mei-Chu Chang 3. Abstract. We establish character sum bounds of the form. On Character Sums of Binary Quadratic Forms 2 Mei-Chu Chang 3 Abstract. We establish character sum bounds of the form χ(x 2 + ky 2 ) < τ H 2, a x a+h b y b+h where χ is a nontrivial character (mod ), 4

More information

On the smallest point on a diagonal quartic threefold

On the smallest point on a diagonal quartic threefold On the smallest oint on a diagonal quartic threefold Andreas-Stehan Elsenhans and Jörg Jahnel Abstract For the family x = a y +a 2 z +a 3 v + w,,, > 0, of diagonal quartic threefolds, we study the behaviour

More information

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

Algebraic Number Theory

Algebraic 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

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

Infinitely Many Quadratic Diophantine Equations Solvable Everywhere Locally, But Not Solvable Globally

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 information

Almost All Palindromes Are Composite

Almost All Palindromes Are Composite Almost All Palindromes Are Comosite William D Banks Det of Mathematics, University of Missouri Columbia, MO 65211, USA bbanks@mathmissouriedu Derrick N Hart Det of Mathematics, University of Missouri Columbia,

More information

GAUSSIAN INTEGERS HUNG HO

GAUSSIAN INTEGERS HUNG HO GAUSSIAN INTEGERS HUNG HO Abstract. We will investigate the ring of Gaussian integers Z[i] = {a + bi a, b Z}. First we will show that this ring shares an imortant roerty with the ring of integers: every

More information

On the Diophantine Equation x 2 = 4q n 4q m + 9

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

Multiplicative group law on the folium of Descartes

Multiplicative group law on the folium of Descartes Multilicative grou law on the folium of Descartes Steluţa Pricoie and Constantin Udrişte Abstract. The folium of Descartes is still studied and understood today. Not only did it rovide for the roof of

More information

CONGRUENCE PROPERTIES MODULO 5 AND 7 FOR THE POD FUNCTION

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

MATH 371 Class notes/outline October 15, 2013

MATH 371 Class notes/outline October 15, 2013 MATH 371 Class notes/outline October 15, 2013 More on olynomials We now consider olynomials with coefficients in rings (not just fields) other than R and C. (Our rings continue to be commutative and have

More information

BOUNDS FOR THE SIZE OF SETS WITH THE PROPERTY D(n) Andrej Dujella University of Zagreb, Croatia

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

Small Zeros of Quadratic Forms Mod P m

Small 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

HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES

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

Algebraic number theory LTCC Solutions to Problem Sheet 2

Algebraic number theory LTCC Solutions to Problem Sheet 2 Algebraic number theory LTCC 008 Solutions to Problem Sheet ) Let m be a square-free integer and K = Q m). The embeddings K C are given by σ a + b m) = a + b m and σ a + b m) = a b m. If m mod 4) then

More information

Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems

Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems Int. J. Oen Problems Comt. Math., Vol. 3, No. 2, June 2010 ISSN 1998-6262; Coyright c ICSRS Publication, 2010 www.i-csrs.org Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various

More information

(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury

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

CONGRUENCE PROPERTIES OF TAYLOR COEFFICIENTS OF MODULAR FORMS

CONGRUENCE PROPERTIES OF TAYLOR COEFFICIENTS OF MODULAR FORMS CONGRUENCE PROPERTIES OF TAYLOR COEFFICIENTS OF MODULAR FORMS HANNAH LARSON AND GEOFFREY SMITH Abstract. In their work, Serre and Swinnerton-Dyer study the congruence roerties of the Fourier coefficients

More information

SUMS OF TWO SQUARES PAIR CORRELATION & DISTRIBUTION IN SHORT INTERVALS

SUMS OF TWO SQUARES PAIR CORRELATION & DISTRIBUTION IN SHORT INTERVALS SUMS OF TWO SQUARES PAIR CORRELATION & DISTRIBUTION IN SHORT INTERVALS YOTAM SMILANSKY Abstract. In this work we show that based on a conjecture for the air correlation of integers reresentable as sums

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013 In this lecture we lay the groundwork needed to rove the Hasse-Minkowski theorem for Q, which states that a quadratic form over

More information

Infinitely Many Insolvable Diophantine Equations

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

By Evan Chen OTIS, Internal Use

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

Some sophisticated congruences involving Fibonacci numbers

Some sophisticated congruences involving Fibonacci numbers A tal given at the National Center for Theoretical Sciences (Hsinchu, Taiwan; July 20, 2011 and Shanghai Jiaotong University (Nov. 4, 2011 Some sohisticated congruences involving Fibonacci numbers Zhi-Wei

More information

Then we characterize primes and composite numbers via divisibility

Then we characterize primes and composite numbers via divisibility International Journal of Advanced Mathematical Sciences, 2 (1) (2014) 1-7 c Science Publishing Cororation www.scienceubco.com/index.h/ijams doi: 10.14419/ijams.v2i1.1587 Research Paer Then we characterize

More information

RECIPROCITY LAWS JEREMY BOOHER

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

A LLT-like test for proving the primality of Fermat numbers.

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

Aliquot sums of Fibonacci numbers

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

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

Lecture notes: Algorithms for integers, polynomials (Thorsten Theobald)

Lecture notes: Algorithms for integers, polynomials (Thorsten Theobald) Lecture notes: Algorithms for integers, polynomials (Thorsten Theobald) 1 Euclid s Algorithm Euclid s Algorithm for computing the greatest common divisor belongs to the oldest known computing procedures

More information

Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively

Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively 6 Prime Numbers Part VI of PJE 6.1 Fundamental Results Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively D (p) = { p 1 1 p}. Otherwise

More information

We collect some results that might be covered in a first course in algebraic number theory.

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

ARITHMETIC PROGRESSIONS OF POLYGONAL NUMBERS WITH COMMON DIFFERENCE A POLYGONAL NUMBER

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

Gaps in Semigroups. Université Pierre et Marie Curie, Paris 6, Equipe Combinatoire - Case 189, 4 Place Jussieu Paris Cedex 05, France.

Gaps in Semigroups. Université Pierre et Marie Curie, Paris 6, Equipe Combinatoire - Case 189, 4 Place Jussieu Paris Cedex 05, France. Gas in Semigrous J.L. Ramírez Alfonsín Université Pierre et Marie Curie, Paris 6, Equie Combinatoire - Case 189, 4 Place Jussieu Paris 755 Cedex 05, France. Abstract In this aer we investigate the behaviour

More information

Jonathan Sondow 209 West 97th Street, New York, New York

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

Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China

Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China Ramanuan J. 40(2016, no. 3, 511-533. CONGRUENCES INVOLVING g n (x n ( n 2 ( 2 0 x Zhi-Wei Sun Deartment of Mathematics, Naning University Naning 210093, Peole s Reublic of China zwsun@nu.edu.cn htt://math.nu.edu.cn/

More information

ERRATA AND SUPPLEMENTARY MATERIAL FOR A FRIENDLY INTRODUCTION TO NUMBER THEORY FOURTH EDITION

ERRATA AND SUPPLEMENTARY MATERIAL FOR A FRIENDLY INTRODUCTION TO NUMBER THEORY FOURTH EDITION ERRATA AND SUPPLEMENTARY MATERIAL FOR A FRIENDLY INTRODUCTION TO NUMBER THEORY FOURTH EDITION JOSEPH H. SILVERMAN Acknowledgements Page vii Thanks to the following eole who have sent me comments and corrections

More information

Around Prime Numbers And Twin Primes

Around Prime Numbers And Twin Primes Theoretical Mathematics & Alications, vol. 3, no. 1, 2013, 211-220 ISSN: 1792-9687 (rint), 1792-9709 (online) Scienress Ltd, 2013 Around Prime Numbers And Twin Primes Ikorong Anouk Gilbert Nemron 1 Abstract

More information

Notes on Systems of Linear Congruences

Notes on Systems of Linear Congruences MATH 324 Summer 2012 Elementary Number Theory Notes on Systems of Linear Congruences In this note we will discuss systems of linear congruences where the moduli are all different. Definition. Given the

More information

Verifying Two Conjectures on Generalized Elite Primes

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

Ma/CS 6a Class 2: Congruences

Ma/CS 6a Class 2: Congruences Ma/CS 6a Class 2: Congruences 1 + 1 5 (mod 3) By Adam Sheffer Reminder: Public Key Cryptography Idea. Use a public key which is used for encryption and a private key used for decryption. Alice encrypts

More information

Research Article New Mixed Exponential Sums and Their Application

Research Article New Mixed Exponential Sums and Their Application Hindawi Publishing Cororation Alied Mathematics, Article ID 51053, ages htt://dx.doi.org/10.1155/01/51053 Research Article New Mixed Exonential Sums and Their Alication Yu Zhan 1 and Xiaoxue Li 1 DeartmentofScience,HetaoCollege,Bayannur015000,China

More information

Multiplicity of weak solutions for a class of nonuniformly elliptic equations of p-laplacian type

Multiplicity of weak solutions for a class of nonuniformly elliptic equations of p-laplacian type Nonlinear Analysis 7 29 536 546 www.elsevier.com/locate/na Multilicity of weak solutions for a class of nonuniformly ellitic equations of -Lalacian tye Hoang Quoc Toan, Quô c-anh Ngô Deartment of Mathematics,

More information

QUADRATIC RECIPROCITY

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

Arithmetic Consequences of Jacobi s Two-Squares Theorem

Arithmetic Consequences of Jacobi s Two-Squares Theorem THE RAMANUJAN JOURNAL 4, 51 57, 2000 c 2000 Kluwer Academic Publishers. Manufactured in The Netherlands. Arithmetic Consequences of Jacobi s Two-Squares Theorem MICHAEL D. HIRSCHHORN School of Mathematics,

More information

CONGRUENCES MODULO 4 OF CALIBERS OF REAL QUADRATIC FIELDS. 1. Definitions and results

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