THE JACOBI SYMBOL AND A METHOD OF EISENSTEIN FOR CALCULATING IT

Size: px
Start display at page:

Download "THE JACOBI SYMBOL AND A METHOD OF EISENSTEIN FOR CALCULATING IT"

Transcription

1 THE JACOBI SYMBOL AND A METHOD OF EISENSTEIN FOR CALCULATING IT STEVEN H. WEINTRAUB ABSTRACT. We present an exposition of the asic properties of the Jacoi symol, with a method of calculating it due to Eisenstein. Fix a prime p. For an integer a relatively prime to p the Legendre symol is defined y a/p 1 if a is a quadratic residue mod p and a/p 1 if a is a quadratic nonresidue mod p. We recall Euler s theorem that a/p a p 1/ mod p. We have the famous Law of Quadratic Reciprocity: Theorem 1. The Law of Quadratic Reciprocity Let p and q e distinct odd primes. Then p q 1 p 1 q 1. q p We also recall the following, where a follows directly from Euler s theorem and follows directly from Gauss s Lemma. Theorem. Supplement to the Law of Quadratic Reciprocity Let p e an odd prime. Then p 1 p 1 if p 1mod4 and 1 if p 1mod4, 1 p 1 p 1 if p ±1mod and 1 if p ±3mod. We often regard these results as providing a method for calculating Legendre symols. 000 Mathematics Suject Classification. 11A15, Secondary 01A55. Key words and phrases. Quadratic reciprocity, Jacoi symol, Eisenstein. 1

2 STEVEN H. WEINTRAUB Example 3. We wish to calculate 4661/9901. We have: Note the first step in this example required us to factor In general, factorization is difficult, so this is not an effective method for calculating Legendre symols. We now introduce Jacoi symols, which generalize Legendre symols. In addition to their own intrinsic interest, they enale us to compute Legendre symols without having to factor integers. Definition 4. Let e a positive odd integer, and suppose that 1 l, a product of not necessarily distinct primes. For an integer a relatively prime to, the Jacoi symol a/ is defined to e the product a a a. 1 l If 1, then a/ 1. We now derive asic properties of the Jacoi symol. First, we need a lemma from elementary numer theory. Lemma 5. Let u and v e odd integers. Then uv 1 u 1 + v 1 and uv 1 Proof. We simply calculate [ uv 1 u 1 which is always even, and similarly uv [ 1 u 1 + v 1 which is also always even. u 1 + v 1 mod mod. + v 1 ] uv u v+1 ] uv u v + 1 u 1v 1, u 1v 1,

3 THE JACOBI SYMBOL AND A METHOD OF EISENSTEIN FOR CALCULATING IT 3 Theorem 6. Properties of the Jacoi symol 1 If is a prime, the Jacoi symol a/ is the Legendre symol a/. If a/ 1, then a is not a quadratic residue mod. The converse need not hold if is not a prime. 3 aa / a/a/ a /a / if aa and are relatively prime. 4 a / a/ 1 if a and are relatively prime. 5 1/ if 1mod4 and 1 if 1mod4. 6 / if ±1mod and 1 if ±3mod. 7 If a and are relatively prime odd positive integers, then a 1 a 1 1. a Proof. Parts 1 through 4 are straightforward. We prove part 5 y induction on the numer of prime factors l of. The critical case is l. Thus let 1, with 1 and each prime. In this case the left-hand side is while the right-hand side is and these are equal. We prove part 6 similarly. Again let 1, with 1 and each prime. In this case the left-hand side is 1 while the right-hand side is and these are equal. For part 7, let a a 1 a k and 1 l. Then, y the Law of Quadratic Reciprocity, with ε i, j a i 1 i 1 a a. But then i, j a i 1 ε i 1 i, j [ ] a 1 j 1 j [ ] a 1 ai j j a i 1 a i 1 i 1 1 ε i, j [ j j 1 j i ] a i 1 j 1 [ ][ a 1 1 ] mod.

4 4 STEVEN H. WEINTRAUB Theorem 7. Let a and e relatively prime odd positive integers. 1 If ε ±1, then εa 1 εa 1 1. a If ε 1 ±1 and ε ±1, then ε1 a ε 1 ε 1 a 1 ε 1 + ε 1 1 ε 1. a Proof. 1 If ε 1 there is nothing more to prove. Let ε 1. Then εa a 1 a a a a where x 1 + a 1 1 a+1 On the other hand, in this case, a x 1. 1 εa a y where y a 1 1 a+1 1 x, and y xmod. The only new case here is ε 1 ε 1, so suppose that is the case. Then the left-hand side is a 1 1 a a a a where, setting u a 1 and v 1, x uv+u+v. In this case the right-hand side is 1 a a x, 1 a a y, where y u+1v+1+1 uv+u+v+, and y xmod. Remark. It is convenient to oserve here that if ε ±1, then ε 1 ε 1 1. If ε 1 this is 1/ 1, which is trivial, and if ε 1 this is 1/ 1 1, which we know.

5 THE JACOBI SYMBOL AND A METHOD OF EISENSTEIN FOR CALCULATING IT 5 We now come to Eisenstein s method of computing Jacoi symols. Theorem 9. Eisenstein [1] Let e a positive odd integer and let a e an aritrary odd integer. Set a 1 a, a, and then a 1 q 1 a + ε 1 a q + ε a 4... a n q n a n+1 + ε n a n+ with a > >... > a n+ 1, all a i odd, and ε i ±1 for each i. For each i 1,...,n, let so Let t n i1 s i. Then s i 0 if at least one of a i+1 and ε i a i+ 1mod4, 1 if oth of a i+1 and ε i a i+ 3mod4. Proof. We have a/ a 1 /a. Now a1 ε1 a a a ε a 4 an a n+1 a n+1 a 1 t. 1 ε ε a 4 1 a 1 a3 1 a a3 a 4 1 s 1 1 s... εn a n+ 1 εna n+ 1 an s n a n i1 1 s i 1 n i1 s i 1 t. a a3 Actually, it is not necessary to carry the computation all the way to the end. Corollary 10. In the situation of the aove theorem, let t k k i1 s i. Then for any k n a 1 t ak+1 k. Proof. Exactly the same. Example 11. We present several typical computations. The first is Eisenstein s illustration of his method. 1 We compute 773/343. a k so s so s so s so s 4 1 Hence a 4

6 6 STEVEN H. WEINTRAUB We compute 4661/ so s so s so s so s 4 0 Hence We compute 10399/ so s so s so s 3 1 Hence a 6 as Remark 1. We may speed up Eisenstein s algorithm. Suppose that we are using this algorithm and at some stage we arrive at a i /a i+1. Write a i q i a i+1 + ε i e ia i+ where ε i ±1, e i > 0, e ia i+ < a i+1, and a i+ is a positive odd numer. Then a i/a i+1 e i/a i+1 ε i a i+ /a i+1, and the first factor is easy to compute. Note that a i+ < 1 a i+1. Hence we see that this modified algorithm reduces the denominator of the Jacoi symol y a factor of at least every step, ensuring that it ends quickly. It turns out that sometimes the choice of odd remainder leads to the smaller value of a i+, and sometimes the choice of even remainder does, so the most efficient way to proceed is to choose whichever one yields the smaller value. We thus otain the following modified algorithm: Theorem 13. Let a and e odd integers with > 0. Set a 1 a, a, and then, assuming that a i and a i+1 are defined, set with a i+ ε i ±1. a i q ia i+1 + ε i a i+, a i q i a i+1 + ε i e i a i+ and a i+ positive odd integers, e i > 0, a i+ < a i+1, e ia i+ < a i+1, ε i ±1, and If a i+ a i+, set a i+ a i+, ε i ε i, and r i 0. If a i+ < a i+, set a i+ a i+, ε i ε i, and set r i 0 if e i is even or a i+1 ±1 mod and r i 1 if e i is odd and a i+1 ±3 mod. Set s i 0 if at least one of a i+1 and ε i a i+ 1mod4, and s i 1 if oth of a i+1 and ε i a i+ 3mod4. Let u k k i1 r i + s i. Then a1 a 1 u k ak+1 a k+.

7 THE JACOBI SYMBOL AND A METHOD OF EISENSTEIN FOR CALCULATING IT 7 In particular, if a n+ 1, a1 a 1 u n. Example 14. The computation of 3767/9999 y Eisenstein s original algorithm takes 3 steps. We compute 3767/9999 using this faster algorithm so r 1 0, s so r 0, s so r 3 1, s so s 4 0, r so r 5 0, s 5 0 Hence Remark 15. Of course, any valid computation with Legendre symols is also a valid computation with Jacoi symols. REFERENCES [1] G. Eisenstein, Einfacher Algorithmus zur Bestimmung des Werthes von a/, J. reine angew. Math , DEPARTMENT OF MATHEMATICS, LEHIGH UNIVERSITY, BETHLEHEM, PA , USA address: shw@lehigh.edu

Quadratic reciprocity and the Jacobi symbol Stephen McAdam Department of Mathematics University of Texas at Austin

Quadratic reciprocity and the Jacobi symbol Stephen McAdam Department of Mathematics University of Texas at Austin Quadratic reciprocity and the Jacobi symbol Stephen McAdam Department of Mathematics University of Texas at Austin mcadam@math.utexas.edu Abstract: We offer a proof of quadratic reciprocity that arises

More information

The Jacobi Symbol. q q 1 q 2 q n

The Jacobi Symbol. q q 1 q 2 q n The Jacobi Symbol It s a little inconvenient that the Legendre symbol a is only defined when the bottom is an odd p prime You can extend the definition to allow an odd positive number on the bottom using

More information

School of Mathematics

School of Mathematics School of Mathematics Programmes in the School of Mathematics Programmes including Mathematics Final Examination Final Examination 06 22498 MSM3P05 Level H Number Theory 06 16214 MSM4P05 Level M Number

More information

ELEMENTARY PROOFS OF PARITY RESULTS FOR 5-REGULAR PARTITIONS

ELEMENTARY PROOFS OF PARITY RESULTS FOR 5-REGULAR PARTITIONS Bull Aust Math Soc 81 (2010), 58 63 doi:101017/s0004972709000525 ELEMENTARY PROOFS OF PARITY RESULTS FOR 5-REGULAR PARTITIONS MICHAEL D HIRSCHHORN and JAMES A SELLERS (Received 11 February 2009) Abstract

More information

SEVERAL PROOFS OF THE IRREDUCIBILITY OF THE CYCLOTOMIC POLYNOMIALS

SEVERAL PROOFS OF THE IRREDUCIBILITY OF THE CYCLOTOMIC POLYNOMIALS SEVERAL PROOFS OF THE IRREDUCIBILITY OF THE CYCLOTOMIC POLYNOMIALS STEVEN H. WEINTRAUB ABSTRACT. We present a number of classical proofs of the irreducibility of the n-th cyclotomic polynomial Φ n (x).

More information

Parvati Shastri. 2. Kummer Theory

Parvati Shastri. 2. Kummer Theory Reciprocity Laws: Artin-Hilert Parvati Shastri 1. Introduction In this volume, the early reciprocity laws including the quadratic, the cuic have een presented in Adhikari s article [1]. Also, in that article

More information

arxiv: v1 [math.nt] 24 Oct 2013

arxiv: v1 [math.nt] 24 Oct 2013 A SUPPLEMENT TO SCHOLZ S RECIPROCITY LAW arxiv:13106599v1 [mathnt] 24 Oct 2013 FRANZ LEMMERMEYER Abstract In this note we will present a supplement to Scholz s reciprocity law and discuss applications

More information

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2 8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose

More information

IRREDUCIBILITY TESTS IN F p [T ]

IRREDUCIBILITY TESTS IN F p [T ] IRREDUCIBILITY TESTS IN F p [T ] KEITH CONRAD 1. Introduction Let F p = Z/(p) be a field of prime order. We will discuss a few methods of checking if a polynomial f(t ) F p [T ] is irreducible that are

More information

MATH 310: Homework 7

MATH 310: Homework 7 1 MATH 310: Homework 7 Due Thursday, 12/1 in class Reading: Davenport III.1, III.2, III.3, III.4, III.5 1. Show that x is a root of unity modulo m if and only if (x, m 1. (Hint: Use Euler s theorem and

More information

UNAMBIGUOUS EVALUATIONS OF BIDECIC JACOBI AND JACOBSTHAL SUMS

UNAMBIGUOUS EVALUATIONS OF BIDECIC JACOBI AND JACOBSTHAL SUMS /. Austral. Math. Soc. (Series A) 28 (1979), 235-240 UNAMBIGUOUS EVALUATIONS OF BIDECIC JACOBI AND JACOBSTHAL SUMS RONALD J. EVANS (Received 30 October 1978; revised 24 January 1979) Communicated by A.

More information

Introduction to Number Theory

Introduction to Number Theory INTRODUCTION Definition: Natural Numbers, Integers Natural numbers: N={0,1,, }. Integers: Z={0,±1,±, }. Definition: Divisor If a Z can be writeen as a=bc where b, c Z, then we say a is divisible by b or,

More information

Number Theory and Algebra: A Brief Introduction

Number Theory and Algebra: A Brief Introduction Number Theory and Algebra: A Brief Introduction Indian Statistical Institute Kolkata May 15, 2017 Elementary Number Theory: Modular Arithmetic Definition Let n be a positive integer and a and b two integers.

More information

Solving the general quadratic congruence. y 2 Δ (mod p),

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

9 Modular Exponentiation and Square-Roots

9 Modular Exponentiation and Square-Roots 9 Modular Exponentiation and Square-Roots Modular arithmetic is used in cryptography. In particular, modular exponentiation is the cornerstone of what is called the RSA system. 9. Modular Exponentiation

More information

Number Theory Homework.

Number Theory Homework. Number Theory Homewor. 1. The Theorems of Fermat, Euler, and Wilson. 1.1. Fermat s Theorem. The following is a special case of a result we have seen earlier, but as it will come up several times in this

More information

Chapter 1. Introduction to prime number theory. 1.1 The Prime Number Theorem

Chapter 1. Introduction to prime number theory. 1.1 The Prime Number Theorem Chapter 1 Introduction to prime number theory 1.1 The Prime Number Theorem In the first part of this course, we focus on the theory of prime numbers. We use the following notation: we write f( g( as if

More information

Sums of Squares. Bianca Homberg and Minna Liu

Sums of Squares. Bianca Homberg and Minna Liu Sums of Squares Bianca Homberg and Minna Liu June 24, 2010 Abstract For our exploration topic, we researched the sums of squares. Certain properties of numbers that can be written as the sum of two squares

More information

Colloq. Math. 145(2016), no. 1, ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS. 1. Introduction. x(x 1) (1.1) p m (x) = (m 2) + x.

Colloq. Math. 145(2016), no. 1, ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS. 1. Introduction. x(x 1) (1.1) p m (x) = (m 2) + x. Colloq. Math. 145(016), no. 1, 149-155. ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS FAN GE AND ZHI-WEI SUN Abstract. For m = 3, 4,... those p m (x) = (m )x(x 1)/ + x with x Z are called generalized

More information

ON MONIC BINARY QUADRATIC FORMS

ON MONIC BINARY QUADRATIC FORMS ON MONIC BINARY QUADRATIC FORMS JEROME T. DIMABAYAO*, VADIM PONOMARENKO**, AND ORLAND JAMES Q. TIGAS*** Abstract. We consider the quadratic form x +mxy +ny, where m n is a prime number. Under the assumption

More 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

Characters (definition)

Characters (definition) Characters (definition) Let p be a prime. A character on F p is a group homomorphism F p C. Example The map a 1 a F p denoted by ɛ. is called the trivial character, henceforth Example If g is a generator

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

Elementary Number Theory Review. Franz Luef

Elementary Number Theory Review. Franz Luef Elementary Number Theory Review Principle of Induction Principle of Induction Suppose we have a sequence of mathematical statements P(1), P(2),... such that (a) P(1) is true. (b) If P(k) is true, then

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

SOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM

SOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM Acta Arith. 183(018), no. 4, 339 36. SOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM YU-CHEN SUN AND ZHI-WEI SUN Abstract. Lagrange s four squares theorem is a classical theorem in number theory. Recently,

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

Chapter 1. Introduction to prime number theory. 1.1 The Prime Number Theorem

Chapter 1. Introduction to prime number theory. 1.1 The Prime Number Theorem Chapter 1 Introduction to prime number theory 1.1 The Prime Number Theorem In the first part of this course, we focus on the theory of prime numbers. We use the following notation: we write f g as if lim

More information

Math 430 Midterm II Review Packet Spring 2018 SOLUTIONS TO PRACTICE PROBLEMS

Math 430 Midterm II Review Packet Spring 2018 SOLUTIONS TO PRACTICE PROBLEMS Math 40 Midterm II Review Packet Spring 2018 SOLUTIONS TO PRACTICE PROBLEMS WARNING: Remember, it s best to rely as little as possible on my solutions. Therefore, I urge you to try the problems on your

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

CPSC 467b: Cryptography and Computer Security

CPSC 467b: Cryptography and Computer Security Outline Quadratic residues Useful tests Digital Signatures CPSC 467b: Cryptography and Computer Security Lecture 14 Michael J. Fischer Department of Computer Science Yale University March 1, 2010 Michael

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

Zeroing the baseball indicator and the chirality of triples

Zeroing the baseball indicator and the chirality of triples 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 7 (2004), Article 04.1.7 Zeroing the aseall indicator and the chirality of triples Christopher S. Simons and Marcus Wright Department of Mathematics

More information

A NOTE ON AN ADDITIVE PROPERTY OF PRIMES

A NOTE ON AN ADDITIVE PROPERTY OF PRIMES A NOTE ON AN ADDITIVE PROPERTY OF PRIMES LUCA GOLDONI Abstract. An elementary construction is given of an infinite sequence of natural numbers, having at least two different decompositions as sum of primes

More information

Theorem 1.1 (Prime Number Theorem, Hadamard, de la Vallée Poussin, 1896). let π(x) denote the number of primes x. Then x as x. log x.

Theorem 1.1 (Prime Number Theorem, Hadamard, de la Vallée Poussin, 1896). let π(x) denote the number of primes x. Then x as x. log x. Chapter 1 Introduction 1.1 The Prime Number Theorem In this course, we focus on the theory of prime numbers. We use the following notation: we write f( g( as if lim f(/g( = 1, and denote by log the natural

More information

Quadratic Residues, Quadratic Reciprocity. 2 4 So we may as well start with x 2 a mod p. p 1 1 mod p a 2 ±1 mod p

Quadratic Residues, Quadratic Reciprocity. 2 4 So we may as well start with x 2 a mod p. p 1 1 mod p a 2 ±1 mod p Lecture 9 Quadratic Residues, Quadratic Recirocity Quadratic Congruence - Consider congruence ax + bx + c 0 mod, with a 0 mod. This can be reduced to x + ax + b 0, if we assume that is odd ( is trivial

More information

MATH 152 Problem set 6 solutions

MATH 152 Problem set 6 solutions MATH 52 Problem set 6 solutions. Z[ 2] is a Euclidean domain (i.e. has a division algorithm): the idea is to approximate the quotient by an element in Z[ 2]. More precisely, let a+b 2, c+d 2 Z[ 2] (of

More information

Lucas Lehmer primality test - Wikipedia, the free encyclopedia

Lucas Lehmer primality test - Wikipedia, the free encyclopedia Lucas Lehmer primality test From Wikipedia, the free encyclopedia In mathematics, the Lucas Lehmer test (LLT) is a primality test for Mersenne numbers. The test was originally developed by Edouard Lucas

More information

Wilson s Theorem and Fermat s Little Theorem

Wilson s Theorem and Fermat s Little Theorem Wilson s Theorem and Fermat s Little Theorem Wilson stheorem THEOREM 1 (Wilson s Theorem): (p 1)! 1 (mod p) if and only if p is prime. EXAMPLE: We have (2 1)!+1 = 2 (3 1)!+1 = 3 (4 1)!+1 = 7 (5 1)!+1 =

More information

The Diophantine equation x n = Dy 2 + 1

The Diophantine equation x n = Dy 2 + 1 ACTA ARITHMETICA 106.1 (2003) The Diophantine equation x n Dy 2 + 1 by J. H. E. Cohn (London) 1. Introduction. In [4] the complete set of positive integer solutions to the equation of the title is described

More information

ASSIGNMENT Use mathematical induction to show that the sum of the cubes of three consecutive non-negative integers is divisible by 9.

ASSIGNMENT Use mathematical induction to show that the sum of the cubes of three consecutive non-negative integers is divisible by 9. ASSIGNMENT 1 1. Use mathematical induction to show that the sum of the cubes of three consecutive non-negative integers is divisible by 9. 2. (i) If d a and d b, prove that d (a + b). (ii) More generally,

More information

SOME AMAZING PROPERTIES OF THE FUNCTION f(x) = x 2 * David M. Goldschmidt University of California, Berkeley U.S.A.

SOME AMAZING PROPERTIES OF THE FUNCTION f(x) = x 2 * David M. Goldschmidt University of California, Berkeley U.S.A. SOME AMAZING PROPERTIES OF THE FUNCTION f(x) = x 2 * David M. Goldschmidt University of California, Berkeley U.S.A. 1. Introduction Today we are going to have a look at one of the simplest functions in

More information

An Elementary Proof that any Natural Number can be Written as the Sum of Three Terms of the Sequence n2

An Elementary Proof that any Natural Number can be Written as the Sum of Three Terms of the Sequence n2 1 47 6 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.7.6 An Elementary Proof that any Natural Number can be Written as the Sum of Three Terms of the Sequence n Bakir Farhi Department of Mathematics

More information

arxiv: v1 [math.nt] 6 Sep 2017

arxiv: v1 [math.nt] 6 Sep 2017 ON THE DIOPHANTINE EQUATION p x `p y z 2n DIBYAJYOTI DEB arxiv:1709.01814v1 [math.nt] 6 Sep 2017 Abstract. In[1], TatongandSuvarnamaniexplorestheDiophantineequationp x`p y z 2 for a prime number p. In

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

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

ON THE ELEMENTS OF THE CONTINUED FRACTIONS OF QUADRATIC IRRATIONALS

ON THE ELEMENTS OF THE CONTINUED FRACTIONS OF QUADRATIC IRRATIONALS ON THE ELEMENTS OF THE CONTINUED FRACTIONS OF QUADRATIC IRRATIONALS YAN LI AND LIANRONG MA Abstract In this paper, we study the elements of the continued fractions of Q and ( 1 + 4Q + 1)/2 (Q N) We prove

More information

Quadratic Reciprocity

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

joint with Katherine Thompson July 29, 2015 The Wake Forest/Davidson Experience in Number Theory Research A Generalization of Mordell to Ternary

joint with Katherine Thompson July 29, 2015 The Wake Forest/Davidson Experience in Number Theory Research A Generalization of Mordell to Ternary to to joint with Katherine Thompson The Wake Forest/Davidson Experience in Number Theory Research July 29, 2015 cknowledgements to Thanks to UG and to the organizers. Special thanks to Dr. Jeremy Rouse,

More information

PRIME NUMBERS YANKI LEKILI

PRIME NUMBERS YANKI LEKILI PRIME NUMBERS YANKI LEKILI We denote by N the set of natural numbers: 1,2,..., These are constructed using Peano axioms. We will not get into the philosophical questions related to this and simply assume

More information

ON UNIVERSAL SUMS OF POLYGONAL NUMBERS

ON UNIVERSAL SUMS OF POLYGONAL NUMBERS Sci. China Math. 58(2015), no. 7, 1367 1396. ON UNIVERSAL SUMS OF POLYGONAL NUMBERS Zhi-Wei SUN Department of Mathematics, Nanjing University Nanjing 210093, People s Republic of China zwsun@nju.edu.cn

More information

FIBONACCI NUMBERS AND SEMISIMPLE CONTINUED FRACTION. and Ln

FIBONACCI NUMBERS AND SEMISIMPLE CONTINUED FRACTION. and Ln Commun Korean Math Soc 29 (204), No 3, pp 387 399 http://dxdoiorg/0434/ckms204293387 FIBONACCI NUMBERS AND SEMISIMPLE CONTINUED FRACTION Eunmi Choi Abstract The ratios of any two Fibonacci numbers are

More information

Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.

Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission. On Runs of Residues Author(s): D. H. Lehmer and Emma Lehmer Source: Proceedings of the American Mathematical Society, Vol. 13, No. 1 (Feb., 1962), pp. 102-106 Published by: American Mathematical Society

More information

QUADRATIC RESIDUES OF CERTAIN TYPES

QUADRATIC RESIDUES OF CERTAIN TYPES ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 36, Number 6, 2006 QUADRATIC RESIDUES OF CERTAIN TYPES ALEXANDRU GICA ABSTRACT. The main purpose of the paper is to show that if p is a prime different from

More information

Rational Representations of Primes by Binary Quadratic Forms

Rational Representations of Primes by Binary Quadratic Forms Rational Representations of Primes by Binary Quadratic Forms Ronald Evans Department of Mathematics, 0112 University of California at San Diego La Jolla, CA 92093-0112 revans@ucsd.edu Mark Van Veen Varasco

More information

How To Test If a Polynomial Is Identically Zero?

How To Test If a Polynomial Is Identically Zero? How To Test If a Polynomial Is Identically Zero? det(a G ) is a polynomial in n 2 variables. There are exponentially many terms in det(a G ). Expanding the determinant polynomial is not feasible. Too many

More information

arxiv:math/ v1 [math.nt] 9 Aug 2004

arxiv:math/ v1 [math.nt] 9 Aug 2004 arxiv:math/0408107v1 [math.nt] 9 Aug 2004 ELEMENTARY RESULTS ON THE BINARY QUADRATIC FORM a 2 + ab + b 2 UMESH P. NAIR Abstract. This paper examines with elementary proofs some interesting properties of

More information

k 2r n k n n k) k 2r+1 k 2r (1.1)

k 2r n k n n k) k 2r+1 k 2r (1.1) J. Number Theory 130(010, no. 1, 701 706. ON -ADIC ORDERS OF SOME BINOMIAL SUMS Hao Pan and Zhi-Wei Sun Abstract. We prove that for any nonnegative integers n and r the binomial sum ( n k r is divisible

More information

ON INTEGERS EXPRESSIBLE BY SOME SPECIAL LINEAR FORM. 1. Introduction

ON INTEGERS EXPRESSIBLE BY SOME SPECIAL LINEAR FORM. 1. Introduction ON INTEGERS EXPRESSIBLE BY SOME SPECIAL LINEAR FORM A. DUBICKAS and A. NOVIKAS Abstract. Let E(4) be the set of positive integers expressible by the form 4M d, where M is a multiple of the product ab and

More information

Projects on elliptic curves and modular forms

Projects on elliptic curves and modular forms Projects on elliptic curves and modular forms Math 480, Spring 2010 In the following are 11 projects for this course. Some of the projects are rather ambitious and may very well be the topic of a master

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

A Note on Jacobi Symbols and Continued Fractions

A Note on Jacobi Symbols and Continued Fractions Reprinted from: The American Mathematical Monthly Volume 06, Number, pp 52 56 January, 999 A Note on Jacobi Symbols and Continued Fractions A. J. van der Poorten and P. G. Walsh. INTRODUCTION. It is well

More information

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ).

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ). Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms

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

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 J. Number Theory 16(016), 190 11. A RESULT SIMILAR TO LAGRANGE S THEOREM Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing 10093, People s Republic of China zwsun@nju.edu.cn http://math.nju.edu.cn/

More information

THE ARITHMETIC OF THE COEFFICIENTS OF HALF INTEGRAL WEIGHT EISENSTEIN SERIES. H(1, n)q n =

THE ARITHMETIC OF THE COEFFICIENTS OF HALF INTEGRAL WEIGHT EISENSTEIN SERIES. H(1, n)q n = THE ARITHMETIC OF THE COEFFICIENTS OF HALF INTEGRAL WEIGHT EISENSTEIN SERIES ANTAL BALOG, WILLIAM J. MCGRAW AND KEN ONO 1. Introduction and Statement of Results If H( n) denotes the Hurwitz-Kronecer class

More information

AN EXTENSION OF A THEOREM OF EULER. 1. Introduction

AN EXTENSION OF A THEOREM OF EULER. 1. Introduction AN EXTENSION OF A THEOREM OF EULER NORIKO HIRATA-KOHNO, SHANTA LAISHRAM, T. N. SHOREY, AND R. TIJDEMAN Abstract. It is proved that equation (1 with 4 109 does not hold. The paper contains analogous result

More information

REPRESENTATION OF A POSITIVE INTEGER BY A SUM OF LARGE FOUR SQUARES. Byeong Moon Kim. 1. Introduction

REPRESENTATION OF A POSITIVE INTEGER BY A SUM OF LARGE FOUR SQUARES. Byeong Moon Kim. 1. Introduction Korean J. Math. 24 (2016), No. 1, pp. 71 79 http://dx.doi.org/10.11568/kjm.2016.24.1.71 REPRESENTATION OF A POSITIVE INTEGER BY A SUM OF LARGE FOUR SQUARES Byeong Moon Kim Abstract. In this paper, we determine

More information

A Division Algorithm Approach to p-adic Sylvester Expansions

A Division Algorithm Approach to p-adic Sylvester Expansions arxiv:1508.01503v1 [math.nt] 6 Aug 2015 A Division Algorithm Approach to p-adic Sylvester Expansions Eric Errthum Department of Mathematics and Statistics Winona State University Winona, MN E-mail: eerrthum@winona.edu

More information

A Few Primality Testing Algorithms

A Few Primality Testing Algorithms A Few Primality Testing Algorithms Donald Brower April 2, 2006 0.1 Introduction These notes will cover a few primality testing algorithms. There are many such, some prove that a number is prime, others

More information

CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q)

CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q) CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ωq) AND νq) GEORGE E. ANDREWS, DONNY PASSARY, JAMES A. SELLERS, AND AE JA YEE Abstract. Recently, Andrews, Dixit and Yee introduced partition

More information

Corollary 4.2 (Pepin s Test, 1877). Let F k = 2 2k + 1, the kth Fermat number, where k 1. Then F k is prime iff 3 F k 1

Corollary 4.2 (Pepin s Test, 1877). Let F k = 2 2k + 1, the kth Fermat number, where k 1. Then F k is prime iff 3 F k 1 4. Primality testing 4.1. Introduction. Factorisation is concerned with the problem of developing efficient algorithms to express a given positive integer n > 1 as a product of powers of distinct primes.

More information

THESIS. Presented in Partial Fulfillment of the Requirements for the Degree Master of Science in the Graduate School of The Ohio State University

THESIS. Presented in Partial Fulfillment of the Requirements for the Degree Master of Science in the Graduate School of The Ohio State University The Hasse-Minkowski Theorem in Two and Three Variables THESIS Presented in Partial Fulfillment of the Requirements for the Degree Master of Science in the Graduate School of The Ohio State University By

More information

CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q)

CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q) CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ωq) AND νq) GEORGE E. ANDREWS, DONNY PASSARY, JAMES A. SELLERS, AND AE JA YEE Abstract. Recently, Andrews, Dixit, and Yee introduced partition

More information

Super congruences involving binomial coefficients and new series for famous constants

Super congruences involving binomial coefficients and new series for famous constants Tal at the 5th Pacific Rim Conf. on Math. (Stanford Univ., 2010 Super congruences involving binomial coefficients and new series for famous constants Zhi-Wei Sun Nanjing University Nanjing 210093, P. R.

More information

GUO-NIU HAN AND KEN ONO

GUO-NIU HAN AND KEN ONO HOOK LENGTHS AND 3-CORES GUO-NIU HAN AND KEN ONO Abstract. Recently, the first author generalized a formula of Nekrasov and Okounkov which gives a combinatorial formula, in terms of hook lengths of partitions,

More information

Fermat s Little Theorem. Fermat s little theorem is a statement about primes that nearly characterizes them.

Fermat s Little Theorem. Fermat s little theorem is a statement about primes that nearly characterizes them. Fermat s Little Theorem Fermat s little theorem is a statement about primes that nearly characterizes them. Theorem: Let p be prime and a be an integer that is not a multiple of p. Then a p 1 1 (mod p).

More information

Classification of Finite Fields

Classification of Finite Fields Classification of Finite Fields In these notes we use the properties of the polynomial x pd x to classify finite fields. The importance of this polynomial is explained by the following basic proposition.

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

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

An Additive Characterization of Fibers of Characters on F p

An Additive Characterization of Fibers of Characters on F p An Additive Characterization of Fibers of Characters on F p Chris Monico Texas Tech University Lubbock, TX c.monico@ttu.edu Michele Elia Politecnico di Torino Torino, Italy elia@polito.it January 30, 2009

More information

THE SOLOVAY STRASSEN TEST

THE SOLOVAY STRASSEN TEST THE SOLOVAY STRASSEN TEST KEITH CONRAD 1. Introduction The Jacobi symbol satisfies many formulas that the Legendre symbol does, such as these: for a, b Z and odd m, n Z +, (1) a b mod n ( a n ) = ( b n

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

The Euclidean Algorithm in Quadratic Number Fields

The Euclidean Algorithm in Quadratic Number Fields The Euclidean Algorithm in Quadratic Number Fields Sarah Mackie Supervised by: Prof. Christopher Smyth September 6, 06 Abstract The purpose of this report is to investigate the Euclidean Algorithm in quadratic

More information

Rational Points on Conics, and Local-Global Relations in Number Theory

Rational Points on Conics, and Local-Global Relations in Number Theory Rational Points on Conics, and Local-Global Relations in Number Theory Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu http://www.math.purdue.edu/ lipman November 26, 2007

More information

On the number of representations of n by ax 2 + by(y 1)/2, ax 2 + by(3y 1)/2 and ax(x 1)/2 + by(3y 1)/2

On the number of representations of n by ax 2 + by(y 1)/2, ax 2 + by(3y 1)/2 and ax(x 1)/2 + by(3y 1)/2 ACTA ARITHMETICA 1471 011 On the number of representations of n by ax + byy 1/, ax + by3y 1/ and axx 1/ + by3y 1/ by Zhi-Hong Sun Huaian 1 Introduction For 3, 4,, the -gonal numbers are given by p n n

More information

A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS

A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS BRIAN L MILLER & CHRIS MONICO TEXAS TECH UNIVERSITY Abstract We describe a particular greedy construction of an arithmetic progression-free

More information

198 VOLUME 46/47, NUMBER 3

198 VOLUME 46/47, NUMBER 3 LAWRENCE SOMER Abstract. Rotkiewicz has shown that there exist Fibonacci pseudoprimes having the forms p(p + 2), p(2p 1), and p(2p + 3), where all the terms in the products are odd primes. Assuming Dickson

More information

On Anti-Elite Prime Numbers

On Anti-Elite Prime Numbers 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 10 (2007), Article 07.9.4 On Anti-Elite Prime Numbers Tom Müller Institut für Cusanus-Forschung an der Universität und der Theologischen Fakultät Trier

More information

Selected Chapters from Number Theory and Algebra

Selected Chapters from Number Theory and Algebra Selected Chapters from Number Theory and Algebra A project under construction Franz Rothe Department of Mathematics University of North Carolina at Charlotte Charlotte, NC 83 frothe@uncc.edu December 8,

More information

NOTES ON SIMPLE NUMBER THEORY

NOTES ON SIMPLE NUMBER THEORY NOTES ON SIMPLE NUMBER THEORY DAMIEN PITMAN 1. Definitions & Theorems Definition: We say d divides m iff d is positive integer and m is an integer and there is an integer q such that m = dq. In this case,

More information

Number Theory. Henry Liu, 6 July 2007

Number Theory. Henry Liu, 6 July 2007 Number Theory Henry Liu, 6 July 007 1. Introduction In one sentence, number theory is the area of mathematics which studies the properties of integers. Some of the most studied subareas are the theories

More information

Appending Digits to Generate an Infinite Sequence of Composite Numbers

Appending Digits to Generate an Infinite Sequence of Composite Numbers 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 14 2011, Article 11.5.7 Appending Digits to Generate an Infinite Sequence of Composite Numbers Lenny Jones and Daniel White Department of Mathematics

More information

A Guide to Arithmetic

A Guide to Arithmetic A Guide to Arithmetic Robin Chapman August 5, 1994 These notes give a very brief resumé of my number theory course. Proofs and examples are omitted. Any suggestions for improvements will be gratefully

More information

arxiv: v2 [math.nt] 4 Jun 2016

arxiv: v2 [math.nt] 4 Jun 2016 ON THE p-adic VALUATION OF STIRLING NUMBERS OF THE FIRST KIND PAOLO LEONETTI AND CARLO SANNA arxiv:605.07424v2 [math.nt] 4 Jun 206 Abstract. For all integers n k, define H(n, k) := /(i i k ), where the

More information

MATH 25 CLASS 21 NOTES, NOV Contents. 2. Subgroups 2 3. Isomorphisms 4

MATH 25 CLASS 21 NOTES, NOV Contents. 2. Subgroups 2 3. Isomorphisms 4 MATH 25 CLASS 21 NOTES, NOV 7 2011 Contents 1. Groups: definition 1 2. Subgroups 2 3. Isomorphisms 4 1. Groups: definition Even though we have been learning number theory without using any other parts

More information

M381 Number Theory 2004 Page 1

M381 Number Theory 2004 Page 1 M81 Number Theory 2004 Page 1 [[ Comments are written like this. Please send me (dave@wildd.freeserve.co.uk) details of any errors you find or suggestions for improvements. ]] Question 1 20 = 2 * 10 +

More information

Elementary Number Theory MARUCO. Summer, 2018

Elementary Number Theory MARUCO. Summer, 2018 Elementary Number Theory MARUCO Summer, 2018 Problem Set #0 axiom, theorem, proof, Z, N. Axioms Make a list of axioms for the integers. Does your list adequately describe them? Can you make this list as

More information

4 PRIMITIVE ROOTS Order and Primitive Roots The Index Existence of primitive roots for prime modulus...

4 PRIMITIVE ROOTS Order and Primitive Roots The Index Existence of primitive roots for prime modulus... PREFACE These notes have been prepared by Dr Mike Canfell (with minor changes and extensions by Dr Gerd Schmalz) for use by the external students in the unit PMTH 338 Number Theory. This booklet covers

More information