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

Similar documents
MATH 3240Q Introduction to Number Theory Homework 7

Practice Final Solutions

Practice Final Solutions

MATH342 Practice Exam

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,

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

Quadratic Reciprocity

Primes - Problem Sheet 5 - Solutions

Mersenne and Fermat Numbers

6 Binary Quadratic forms

Number Theory Naoki Sato

16 The Quadratic Reciprocity Law

Notes on Systems of Linear Congruences

QUADRATIC RECIPROCITY

Jacobi symbols and application to primality

1 Integers and the Euclidean algorithm

On the Multiplicative Order of a n Modulo n

Math 104B: Number Theory II (Winter 2012)

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

MA3H1 TOPICS IN NUMBER THEORY PART III

HOMEWORK # 4 MARIA SIMBIRSKY SANDY ROGERS MATTHEW WELSH

MA3H1 Topics in Number Theory. Samir Siksek

The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001

MAT 311 Solutions to Final Exam Practice

t s (p). An Introduction

Pythagorean triples and sums of squares

Algebraic Number Theory

By Evan Chen OTIS, Internal Use

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

QUADRATIC RECIPROCITY

Mobius Functions, Legendre Symbols, and Discriminants

Number Theory Proof Portfolio

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

MATH 361: NUMBER THEORY EIGHTH LECTURE

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

Know the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element.

2 Asymptotic density and Dirichlet density

2 Asymptotic density and Dirichlet density

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

On generalizing happy numbers to fractional base number systems

RECIPROCITY LAWS JEREMY BOOHER

Elementary Number Theory

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

MATH 371 Class notes/outline September 24, 2013

Class Field Theory. Peter Stevenhagen. 1. Class Field Theory for Q

HENSEL S LEMMA KEITH CONRAD

MATH 371 Class notes/outline October 15, 2013

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

Introductory Number Theory

A Curious Property of the Decimal Expansion of Reciprocals of Primes

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

Diophantine Equations and Congruences

MATH 310: Homework 7

MAS 4203 Number Theory. M. Yotov

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

GAUSSIAN INTEGERS HUNG HO

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018

LECTURE 10: JACOBI SYMBOL

.4. Congruences. We say that a is congruent to b modulo N i.e. a b mod N i N divides a b or equivalently i a%n = b%n. So a is congruent modulo N to an

MATH 2710: NOTES FOR ANALYSIS

MATH 361: NUMBER THEORY FOURTH LECTURE

All variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points.

Cryptography Assignment 3

MATH 4400 SOLUTIONS TO SOME EXERCISES. 1. Chapter 1

PROBLEM SET 5 SOLUTIONS. Solution. We prove that the given congruence equation has no solutions. Suppose for contradiction that. (x 2) 2 1 (mod 7).

MATH 361: NUMBER THEORY THIRD LECTURE

3 Properties of Dedekind domains

DIRICHLET S THEOREM ON PRIMES IN ARITHMETIC PROGRESSIONS. 1. Introduction

Characteristics of Fibonacci-type Sequences

CHAPTER 6. Prime Numbers. Definition and Fundamental Results

Ernie Croot 1. Department of Mathematics, Georgia Institute of Technology, Atlanta, GA Abstract

A CLASS OF ALGEBRAIC-EXPONENTIAL CONGRUENCES MODULO p. 1. Introduction

Frobenius Elements, the Chebotarev Density Theorem, and Reciprocity

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS

arxiv:math/ v2 [math.nt] 21 Oct 2004

Math 109 HW 9 Solutions

Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields

16.2. Infinite Series. Introduction. Prerequisites. Learning Outcomes

Verifying Two Conjectures on Generalized Elite Primes

PartII Number Theory

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

Homework #2 solutions Due: June 15, 2012

MATH 2112/CSCI 2112, Discrete Structures I Winter 2007 Toby Kenney Homework Sheet 5 Hints & Model Solutions

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

A CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod p) ZHI-HONG SUN

Chapter 3. Number Theory. Part of G12ALN. Contents

Complex Analysis Homework 1

QUADRATIC RECIPROCITY

10 Problem 1. The following assertions may be true or false, depending on the choice of the integers a, b 0. a "

16.2. Infinite Series. Introduction. Prerequisites. Learning Outcomes

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

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

NUMBER SYSTEMS. Number theory is the study of the integers. We denote the set of integers by Z:

The Euler Phi Function

CS 5319 Advanced Discrete Structure. Lecture 9: Introduction to Number Theory II

SQUAREFREE VALUES OF QUADRATIC POLYNOMIALS COURSE NOTES, 2015

Number Theory. Lectured by V. Neale Michaelmas Term 2011

PRIME NUMBERS YANKI LEKILI

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

Congruences modulo 3 for two interesting partitions arising from two theta function identities

Transcription:

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 P k + 1, and so P 1 64k +16k+1 1 4k + k is even. Similarly, if P 7 mod, then we can write P k 1, and so P 1 64k 16k+1 1 4k k. If P 3 mod, then we can write P k + 3, and in this case P 1 4k + 3k + 1 is odd. Finally, when P mod, we can write P k 3, and in this case P 1 4k 3k + 1 is also odd.. Let P, Q be any odd integers. Show that modulo, P 1 Q 1 { 0 if either P 1 mod 4 or Q 1 mod 4, 1 if P 3 mod 4 and Q 3 mod 4. Proof. If P 1 mod 4, then we can write P 4k + 1, so that P 1 k is even, making the roduct P 1 Q 1 also even. The same reasoning shows that the roduct is even if Q 1 mod 4. So suose that both P and Q are congruent to 3 modulo 4. Then we can write P 4k + 3 and Q 4l + 3, so that P 1 k + 1 and Q 1 l + 1 are odd. Hence, P 1 Q 1 is also odd. 3. Use Gauss s lemma to rove that for each odd rime, { 1 if 1, 3 mod, 1 if, 7 mod. Proof. First we rove this in the case when 1 mod 4. Write 4k + 1, so that 1 k. Then each of the roducts 1,,..., k belongs to the interval /, 0. Shifting each of them forward by which leaves them unchanged modulo, we see they are congruent to integers from the interval /,. So if we write j ɛ j r j, with each ɛ j {±1} and each r j 0, /, then ɛ j 1 for all j with 1 j k. Now consider the remaining roducts k+1, k +,..., k. All of these belong to the interval, /, and so are congruent modulo to integers from the interval 0, /. Hence, ɛ j 1 for k + 1 j k. In total, there are k signs which are 1, and so by Gauss s lemma, 1 k. Thus, 1 if k is even and 1 if k is odd. The even k case corresonds to 1 mod, while the odd k case corresonds to mod. Now consider the case when 3 mod 4. Write 4k + 3, so that 1 k + 1. Then each of the roducts 1,,..., k belongs to the interval /, 0,

while each of the roducts k+1,..., k+1 belongs to, /. Reasoning as before, we see that ɛ j 1 for 1 j k and that ɛ j 1 for k + 1 j k + 1. Again, the total number of 1s is k, and so 1 k. Thus, 1 if k is even and 1 if k is odd. The even k case corresonds to 3 mod, and the odd k case corresonds to 7 mod. 4. Let m be a ositive integer. By definition, there are φm integers in [0, m that are relatively rime to m. Suose we list these out, say 0 a 1 < a < a 3 < < a φm < m. Show that every rime either divides m or is congruent, modulo m, to one of the a i. Proof. Let be a rime number. If does not divide m, then is relatively rime to m. Let a be the remainder when is divided by m, so that 0 a < m. Then a mod m. Moreover, you will remember from our roof of the Euclidean algorithm that and a have the same greatest common divisor with m. Thus gcda, m 1, and so a must be one of the a i.. Determine whether or not there is an integer x satisfying the congruence x 116 mod 09. Hint: 09 is a rime number. Proof. We have to comute 116 09. We start off by noting that 116 09 9 09 09 9 09 09 9 09. Now we aly quadratic recirocity. Since both 9 and 09 are rime, and 9 is 1 modulo 4, we have 9 09 3. 09 9 9 Now 3 and 9 are rime, and 9 is 1 modulo 4, so 3 9 6 3. 9 3 3 3 3 Now we know 3 1, since 3 7 mod. We also know from an examle done in class that 3 3 1, since 3 11 mod 1. Hence, 3 3 3 1. Tracing through the above reasoning shows that 116 09 1, so that the congruence x 116 mod 09 does have a solution. In fact, the smallest ositive solution is given by x 376; this would not have been easy to find by hand! 6. Use the law of quadratic recirocity to determine the set of odd rimes for which 1. Exress your answer in terms of ossible residue classes of modulo 40. Solution. We ignore in what follows, since 0. Notice that. Thus, 1 if and only if 1 OR 1. As we showed in class, { 1 if 1, 7 mod, 1 if 3, mod.

On the other hand, since by QR, and since the quadratic residues modulo are 1, 4, we see that { 1 if 1, 4 mod, 1 if, 3 mod. We comuted this examle in class. Thus, if we want 1, we are led to solve the following four systems of congruences: a 1 mod and 1 mod, b 1 mod and 4 mod, c 7 mod and 1 mod, d 7 mod and 4 mod. By the Chinese remainder theorem, each of these has solutions, and the solution to each is unique modulo 40. Solving the systems, we find that the solutions are resectively 1 mod 40, 9 mod 40, 31 mod 40, and 39 mod 40. On the other hand, if we want 1, we are led to solve the following four systems of congruences: a 3 mod and mod, b 3 mod and 3 mod, c mod and mod, d mod and 3 mod. Solving these systems, we get the solutions 7 mod 40, 3 mod 40, 37 mod 40, and 13 mod 40. Putting everything together, we see that the odd rimes for which 1 are recisely those which satisfy 1, 3, 9, 13, 7, 31, 37, 39 mod 40. 7. This exercise is a continuation of one on your last HW assignment. Let F n n + 1 be the nth Fermat number. For this exercise, we suose that n. a Let be a rime dividing F n. Use the exercise from your revious HW to show that 1 mod. Proof. According to the revious week s HW, we have that 1 mod n+1. Since we are assuming that n, we have n + 1 3, and so n+1 1. Thus, 1 mod. b Exlain why the order of modulo divides 1. Proof. Since 1 mod, we know that is a quadratic residue modulo. So by Euler s criterion, 1/ 1 mod. Thus, the order of modulo must divide 1. 3

c Show that 1 mod n+. This is stronger than what you concluded in your last homework, where the modulus of the congruence was n+1. Proof. In last week s HW, you determined that the order of modulo was exactly n+1. Since the order divides 1 by art b, we see that 1 n+1 q for some q Z. Hence, 1 n+ q, and so 1 mod n+. 4

MATH 6400 roblems. Do two of the following three. G1. Show that there are infinitely many rimes of the form 4k + 1. Proof. Suose for a contradiction that 1,,..., k is a comlete list of rimes of the form 4k + 1. Consider the number P 1 k + 1. Since P > 1 and is odd, there is an odd rime dividing P. Choose one and call it. Then 1 k 1 mod, so that 1 is a quadratic residue modulo. Hence, is of the form 4k + 1. But is not any of the i, since each i 1 k, making P 0 + 1 1 mod i, whereas P 0 mod. This is a contradiction. G. If is a rime, we say that an integer a not divisible by is a biquadratic residue modulo if the congruence x 4 a mod has an integer solution x. For a given a, one can ask for a characterization of the rimes for which a is a biquadratic residue modulo. For quadratic residues, this roblem is solved by the law of quadratic recirocity; the corresonding roblem for biquadratic residues is much harder! However, certain secial cases can be handled in an elementary fashion. Here are two examles. a Show that 1 is a biquadratic residue modulo the odd rime if and only if 1 mod. Proof. Suose that x 4 1 mod for some integer x. Then x 1 1 mod. From these two congruences, we can read off that the order of x modulo divides but does not divide 4. It follows that x has order modulo. Since the order divides 1, we get that 1 mod. On the other hand, suose that 1 mod. Let a be a rimitive root mod, and let x a 1/. Then a has order 1, x has order, and x 4 has order. But the only element of order modulo an odd rime is 1. Thus, x 4 1 mod, making 1 is a biquadratic residue. b Show that 4 is a biquadratic residue modulo the odd rime if and only if 1 mod 4. Proof. Suose that 1 mod 4. Choose an x Z with x 1 mod. Then 1 + x 1 + x + x x mod, and 1 + x 4 x 4x 4 mod. So 4 is a biquadratic residue mod. Conversely, suose that 4 is a biquadratic residue modulo. Choose x Z with x 4 4 mod. Then x 4 + 4 x + x + x x +, and so either x + x + or x x +. In the first case, x + 1 1 mod, and in the second case, x 1 1 mod. Either way, 1 is a quadratic residue modulo, and so 1 mod 4. G3. Let F n n + 1. Show that the following criterion holds for all n 1: F n is rime 3 Fn 1 1 mod F n.

Proof. Suose that 3 Fn 1 1 mod F n. Let K Fn 1. Then 3 K 1 mod F n, so that 3 K 1 mod F n. Hence, the order of 3 modulo F n divides K but not K. However, K n 1 is a ower of, and so the only ositive integer dividing K but not K is K. So 3 has order K F n 1 modulo F n. Thus, F n 1 divides the size of the unit grou mod F n. But the size of the unit grou mod F n is smaller than F n 1 unless F n is rime. This roves the direction. For the direction, we first determine F n modulo 1. Notice that F 1 mod 1. But whenever F n mod 1, we have F n+1 F n 1 + 1 4 + 1 17 mod 1. So by induction, each F n mod 1. So if F n is rime, then 3 F n 1. By Euler s criterion, 3 Fn 1 3 1 mod F n. F n 6