LEGENDRE S THEOREM, LEGRANGE S DESCENT

Save this PDF as:

Size: px
Start display at page:

Transcription

1 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 + by 2 + cz 2 = 0 where abc is non-zero and square free: the equation has a non-trivial solution if and only if (i) a, b, c do not all have the same sign, (iia) bc is a square modulo a, (iib) ac is a square modulo b, and (iic) ab is a square modulo c. In this exposition of Legendre s theorem, we give a proof based on Lagrange s descent procedure for equations of the form Z 2 = ax 2 + by 2. This exposition is intended in part to serve as an introduction to the paper Counterexamples to the Hasse Principle: an elementary introduction by W. Aitken and F. Lemmermeyer. 1. Introduction Let F (X, Y, Z) be a quadratic form with integer coefficients. (A quadratic form is a homogeneous polynomial of degree 2). We are interested in determining if there are Z-solutions to the equation F (X, Y, Z) = 0. Of course, (0, 0, 0) is trivially a solution; we are interested only in non-trivial solutions (x 0, y 0, z 0 ) (0, 0, 0). If one non-trivial solution exists then an infinite number exists, and the general solution can be found using a well-known method for parameterizing the conic. In what follows we will confine our attention to determining whether any nontrivial solutions exist, and ignore the problem of finding the general solution. The key result is Legendre s theorem stated and proved below. The proof employs Lagrange s technique of descent, which not only determines existence or non-existence of solutions, but gives a practical method for finding a solution if it exists. (Lagendre s original proof was different 1, but the technique of using Lagrange s descent to prove Legendre s theorem a traditional one. See, for example, Chapter VII, Section 3 of [1], and Chapter II, XIV and Chapter IV, Appendix I of [3].) Since we are considering homogeneous equations, Z-solvability and Q-solvability are seen to be equivalent conditions (one can clear denominators). We will sometimes focus on rational solutions, and sometimes focus on integer solutions. If there is a common factors in an integer solution we can remove it. A primitive triple (x 0, y 0, z 0 ) is a triple of integers, not all zero, whose greatest common divisor (GCD) is 1. So if there is a non-trivial Z-solution or Q-solution then there is a primitive Z-solution: Lemma 1. The following conditions are equivalent: (i) F (X, Y, Z) = 0 has a non-trivial Q-solution. (ii) F (X, Y, Z) = 0 has a non-trivial Z-solution. (iii) F (X, Y, Z) = 0 has a primitive Z-solution. 1 That is, if I understand Weil s remarks after the statement of this theorem in Chapter IV, VI of [3]. 1

2 2 SUPPLEMENT FOR MATH 370: NUMBER THEORY 2. Preliminary reduction using linear algebra Let k = Q, or more generally a field k of characteristic not equal to 2 (i.e., we require that in k). Every quadratic form in k[x 1,..., X n ] can be written as XA X t where A is a symmetric matrix with entries in k and where X = [X1, X 2,..., X n ] is the row vector with variable entries. Basic linear algebra gives a method for finding a non-singular n by n matrix M with entries in k such that M t AM is diagonal (see Theorem 1, Chapter IV, of [2]). In the case where k = Q, we can choose this M so that M t AM has entries in Z. Let A be a matrix representing the quadratic form F (X, Y, Z) and let M t AM be a diagonal matrix with diagonal coefficients a, b, c Z. Then the matrix M gives a bijection between (i) the set of non-trivial Q-solutions of ax 2 + by 2 + cz 2 = 0 and (ii) the set of non-trivial F -solutions of F (X, Y, Z) = 0. By Lemma 1, the diophantine equation F (X, Y, Z) = 0 has a non-trivial Z-solution if and only if ax 2 + by 2 + cz 2 = 0 has a non-trivial Z-solution. If a, b, or c is zero, then we easily find non-trivial Z-solutions. So from now on assume F (X, Y, Z) = ax 2 + by 2 + cz 2 where a, b, c Z are each non-zero. 3. normal forms There are two normal forms of special interest. The first is the case were c = 1 and where a and b are square free. In this case, Z 2 = ax 2 + by 2 is said to be in Lagrange normal form. The second normal form results from the case where the product abc is squarefree. In this case, ax 2 + by 2 + cz 2 = 0 is said to be in square-free normal form. 2 We now show that we can always reduce our equations to these normal forms. Lemma 2. Suppose c Z is non-zero. The map (x 0, y 0, z 0 ) (x 0, y 0, cz 0 ) is a bijection from (i) the set of Q-solutions of ax 2 + by 2 + cz 2 = 0 to (ii) the set of Q-solutions of acx 2 + bcy 2 + Z 2 = 0. Using Lemma 1, we get the following corollary of the above lemma: Corollary 1. The equation ax 2 + by 2 + cz 2 = 0 has a non-trivial Z-solution if and only if acx 2 + bcy 2 + Z 2 = 0 does. Lemma 3. Suppose d 2 a. Then the map (x 0, y 0, z 0 ) (dx 0, y 0, z 0 ) is a bijection from the set of Q-solutions of ax 2 + by 2 + cz 2 = 0 to the set of Q-solutions of (a/d 2 )X 2 + by 2 + cz 2 = 0. Corollary 2. Suppose d 2 a. Then the equation ax 2 + by 2 + cz 2 = 0 has a non-trivial Z-solution if and only if (a/d 2 )X 2 + by 2 + cz 2 = 0 does. A consequence of the above two corollaries is that we can always transform our equation to Lagrange normal form. To get an equation into square-free normal form, we need the following: 2 I was tempted to call it Legendre normal form, but I found that confusing.

3 LEGENDRE S THEOREM 3 Lemma 4. Suppose d a and d b. Then the map (x 0, y 0, z 0 ) (dx 0, dy 0, z 0 ) is a bijection from the set of projective solutions of ax 2 + by 2 + cz 2 = 0 to the set of projective solutions of (a/d)x 2 + (b/d)y 2 + cdz 2 = 0. Corollary 3. Suppose d a and d b. Then the equation ax 2 + by 2 + cz 2 = 0 has a non-trivial Z-solution if and only if (a/d)x 2 + (b/d)y 2 + cdz 2 = 0 does. To convert ax 2 + by 2 + cz 2 = 0 to square-free normal form, first divide by the GCD of a, b, c giving a new equation where the GCD of a, b, c is one. Next, using Corollary 2, we can transform the equation to the case where that a, b, c are squarefree. Now suppose two of the coefficients, a and b say, are divisible by a prime p. By Corollary 3, we can reduce the problem of solving ax 2 + by 2 + cz 2 = 0 to that of solving a X 2 + b Y 2 + c pz 2 = 0 where a = a/p, b = b/p and c = pc. Since a, b were square free, a and b are not divisible by p and are also square free. Also c is square free since p does not divide c. By continuing this process for each p whose square divides abc, we reduce to the case where ax 2 + by 2 + cz 2 = 0 is in square-free normal form. 4. necessary conditions First consider the case where the equation is in Lagrange normal form. Proposition 1. If Z 2 = ax 2 + by 2 has a non-trivial Z-solution, then (i) at least one of a and b is positive, (ii) a is a square modulo b, (iii) b is a square modulo a, and (iv) (a/d)(b/d) is a square modulo d where d is the GCD of a and b. Proof. The condition (i) is clear from the fact that all Z-solutions are R-solutions. By Lemma 1 we can assume that z0 2 = ax by0 2 where (x 0, y 0, z 0 ) is primitive. Any common prime divisor p of x 0 and b also divides z 0. But then p 2 divides by0. 2 Since b is square free, p divides y 0, a contradiction. Thus x 0 is prime to b and a ( z 0 x 1 ) 2 0 mod b. This gives (ii). Of course, (iii) follows as well. Now observe that d 2 divides z0, 2 so d divides z 0. Thus ( z0 ) 2 ( ( ) a b d = x d d) y 2 d 0, so ( ) ( ) ( ) 2 a b b d d d y 0x 1 0 mod d, since, as we saw, x 0 is prime to b and consequently to d. Now we consider equations in square-free normal form. Proposition 2. Suppose ax 2 + by 2 + cz 2 = 0 has a non-trivial Z-solution where abc is square-free. then (i) a, b, c are not all of the same sign, (iia) bc is a square modulo a, (iib) ac is a square modulo b, and (iic) ab is a square modulo c. Proof. The first condition is clear from the fact that all Z-solutions are R-solutions. For the second condition it suffices to prove (iia). By Lemma 1 we can assume that ax 2 0+by 2 0+cz 2 0 = 0 where (x 0, y 0, z 0 ) is primitive. Observe that by 2 0 cz 2 0 mod a. Next observe that a and y 0 are relatively prime: otherwise, if p is a prime dividing both, then p must divide cz 2 0. But a and c are

4 4 SUPPLEMENT FOR MATH 370: NUMBER THEORY relatively prime, so p must divide z 0. But then p 2 must divide ax 2 0. Since a is square free, p must divide x 0 contradicting the GCD 1 condition on (x 0, y 0, z 0 ). Thus y 0 has an inverse modulo a and bc ( cz 0 y0 1 ) 2 mod a. 5. Lagrange s Descent and the main Theorem Rational numbers of the form a 2 + nb 2 and a 2 nb 2 can be regarded as products of numbers in quadratic extensions of Q. For example, u 2 + 5v 2 = ( u + 5v ) ( u 5v ). Such factorizations motivate a variety of classical algebraic identities involving sums or differences of squares. An example is the following: Lemma 5. Suppose a, b, b, e Z are such that a + bb e 2 is a square and bb e 2 0. Then Z 2 = ax 2 + by 2 has a non-trivial Q-solution if and only if Z 2 = ax 2 + b Y 2 does. Proof. By symmetry, it suffices to prove one direction of the biconditional. Suppose (x 0, y 0, z 0 ) is a non-trivial Q-solution to Z 2 = ax 2 + by 2. So by 2 0 = z 2 0 ax 2 0 = ( z 0 + x 0 )( z0 x 0 ) (for a fixed choice of square root C). Now write a + bb e 2 = u 2. So Combining we get bb e 2 = u 2 a = ( u + )( u ). b (bey 0 ) 2 = (bb e 2 )(by 2 0) = ( u + )( u )( z 0 + x 0 )( z0 x 0 ) = ( u + )( )( )( ) z 0 + x 0 a u a z0 x 0 a ( = (uz 0 + ax 0 ) + (ux 0 + z 0 ) )( a (uz 0 + ax 0 ) (ux 0 + z 0 ) ) a = (uz 0 + ax 0 ) 2 a(ux 0 + z 0 ) 2. So (ux 0 + z 0, bey 0, uz 0 + ax 0 ) is a Q-solution to Z 2 = ax 2 + b Y 2. Since u be 0 a 0 u has determinant be(u 2 a) = be(bb e 2 ) 0, the above solution to Z 2 = ax 2 + b Y 2 is non-trivial. The necessary conditions of Proposition 1 turn out to be sufficient conditions to execute a descent: Definition 1. We will say that (a, b) satisfies the descent condition when (i) a, b are square-free non-zero integers not both negative, (ii) a is a square modulo b, (iii) b is a square modulo a, and (iv) (a/d)(b/d) is a square modulo d where d is the GCD of a and b. Lemma 6. Suppose that a, b, b, e are non-zero integers such that a + bb e 2 is a square, but where a, b, b are square-free. If the pair (a, b) satisfies the descent conditions, then so does (a, b ).

5 LEGENDRE S THEOREM 5 Proof. Write a + bb e 2 = u 2. If a and b are both negative, then b must be positive since (a, b) satisfies the descent condition. This implies u 2 is negative, a contradiction. Thus (a, b ) satisfy the first condition. The second condition, that a is a square modulo b, is clear from the equation a + bb e 2 = u 2. To continue, we need to consider four classes of primes (really three). In what follows, let d be the GCD of a and b and let d be the GCD of a and b. Type 1: p a prime dividing a but not bb e 2. Then b b ( 1 e 1 u ) 2 mod p, and so b is a square modulo p since b is a square modulo p. Type 2: p a prime dividing a and b. In other words, p d. Thus p u, since u 2 = a + bb e 2. However, p b and p e since a is square free and a = u 2 bb e 2. By assumption, (a/d)(b/d) is a square modulo d and a and b are square free, so (a/p)(b/p) must be a non-zero square modulo p. Divide both sides of the equation u 2 = a + bb e 2 by p, then multiply by a/p: ( ) 2 u a = a u 2 p p p = a p a + bb e 2 ( ) 2 ( a = a ) b b e 2. p p p p The left hand side of this equation is divisible by p. Solving for b modulo p shows that b is a square modulo p. Type 3: p a prime dividing a and b. In other words, p d. So b is trivially a square modulo p. Now p u since u 2 = a + bb e 2. However, p b and p e since a is square free and a = u 2 bb e 2. Now ( ) ( ) a b 2 ( u a p + be 2 b ) ( ) 2 a = p so be 2 mod p. p p p p p Since b and e 2 are non-zero square modulo p, it follows that (a/p)(b /p) is a square modulo p. From this it follows that (a/d )(b/d ) is a square modulo p. Type 4: p a prime dividing a and e. Now p u since u 2 = a + bb e 2. So p 2 a since a = u 2 bb e 2. But this contradicts the assumption that a is square free, so no such p exists. By the Chinese Remainder Theorem, if p 1,..., p k are distinct primes, and if an integer N is a square modulo p i for each i, then N is a square modulo the product p 1 p k. Since a is square free, and since b is a square for all three types of primes dividing a, it follows that b is a square modulo a, and the third requirement holds for (a, b ). By considering only primes of the third type, we get (a/d )(b/d ) is a square modulo d. So the fourth and final requirement holds for (a, b ). Theorem 1. Suppose that a, b Z are integers such that (a, b) satisfies the descent condition. Then Z 2 = ax 2 + by 2 has a non-trivial Z-solution. Proof. Observe that if a = 1 then (1, 1, 0) is a non-trivial solution, and if b = 1 then (1, 0, 1) is a non-trivial solution. Our goal is to use descent until we get to an equation with a = 1 or b = 1. For convenience, suppose that a b. If a = b = 1 we are done since either a or b must be positive. So assume that b 2. Since (a, b) satisfies the descent condition, a is a square modulo b. Let u be an integer of smallest absolute value so that a u 2 mod b. In other words, u b /2, and b divides u 2 a. Write u 2 a = bb e 2 where b is square free. If bb e 2 = 0, then a is a square. Since a is square free, a = 1 and we are done. So from now on assume that b and e are non-zero.

6 6 SUPPLEMENT FOR MATH 370: NUMBER THEORY Claim: b < b. To see this observe that b b e 2 = u 2 a u 2 + a b 2 /4 + b, so b b / This gives b b /4 + 1 < b /4 + 3 b /4 = b. (1 < 3 b /4 since we are in the case where b 2.) By Lemma 5 we have reduced the equation to one with smaller coefficients (their product is smaller in absolute value). The new equation has coefficients a and b. These coefficients satisfy the descent condition by the previous lemma. If either is 1 we are done. Otherwise repeat the descent, reducing the problem to an equation with yet smaller coefficients. In this way we continue until one of the coefficients is 1 and we are guaranteed a solution. Corollary 4 (Legendre s Theorem). Suppose a, b, c Z are such that abc is a non-zero square-free integer. Then the equation ax 2 + by 2 + cz 2 = 0 has a nontrivial Z-solution if and only if (i) a, b, c do not all have the same sign, (iia) bc is a square modulo a, (iib) ac is a square modulo b, and (iic) ab is a square modulo c. Proof. One direction has been done (Proposition 2). By Corollary 1, for the other direction it is enough to show that Z 2 = acx 2 bcy 2 has a non-trivial Z-solution, and by the previous theorem, it is enough to show that a = ac and b = bc satisfy the descent conditions. Since abc is a non-zero square-free integer, the same is true of a = ac and b = bc. Since a, b, c are not all of the same sign, either a or b is positive. So the first descent condition is satisfied. By assumption, a = ac is a square modulo b. Trivially, ac is a square modulo c. Since b and c are relatively prime (abc is square free), we have that a is a square modulo b = bc. So the second descent condition is satisfied. The third is satisfied for similar reasons. Since abc is square-free, the GCD of a = ac and b = bc is just c. And (a / c )(b / c ) = ab is a square modulo c by assumption. So the fourth and final descent condition is satisfied. 6. Hasse Principle In this section we consider the congruences ax 2 + by 2 + cz 2 0 mod p k and their relation to the Diophantine equation ax 2 + by 2 + cz 2 = 0. As before, we assume a, b, c Z are such that abc is non-zero and square-free. A triple (x 0, y 0, z 0 ) is said to be p-primitive if at least one of x 0, y 0, z 0 is not divisible by p. Now above we saw that primitive Z-solutions had the stronger property that x 0, y 0, z 0 were pairwise relatively prime. With this in mind we say that a solution (x 0, y 0, z 0 ) to the congruence is p-strong if at most one of x 0, y 0, z 0 is divisible by p. Exercise 1. Show that if k 2 then any p-primitive solution to ax 2 + by 2 + cz 2 0 mod p k is automatically a p-strong solution. (Of course this fails if k = 1 and p abc.)

7 LEGENDRE S THEOREM 7 Exercise 2. Suppose that p a and that the congruence ax 2 +by 2 +cz 2 0 mod p has a p-strong solution. Show that bc is a square modulo p. Conclude that if ax 2 + by 2 + cz 2 0 mod p 2 has a p-primitive solution then bc is a square modulo p. Exercise 3. Suppose that, for all p a, the congruence ax 2 +by 2 +cz 2 0 mod p has a p-strong solution. Show that bc is a square modulo a. Conclude that if ax 2 + by 2 + cz 2 0 mod p 2 has a p-primitive solution for all p a then bc is a square modulo a. Exercise 4. Show that in the previous exercise it suffices to have solutions for all odd p a. From the above exercises together with Legendre s theorem we get the following Theorem 2. Suppose ax 2 + by 2 + cz 2 0 mod p has a p-strong solution for all odd p abc. Suppose also that ax 2 + by 2 + cz 2 = 0 has a non-trivial R-solution. Then ax 2 + by 2 + cz 2 = 0 has a non-trivial Z-solution. Theorem 3. Suppose ax 2 + by 2 + cz 2 0 mod p 2 has a p-primitive solution for all odd p abc. Suppose also that ax 2 +by 2 +cz 2 = 0 has a non-trivial R-solution. Then ax 2 + by 2 + cz 2 = 0 has a non-trivial Z-solution. Corollary 5 (Hasse Principle: form 1). The equation ax 2 + by 2 + cz 2 = 0 has a non-trivial Z-solution if and only if (i) it has a non-trivial R-solution, and (ii) it has a primitive solution modulo p k for all primes p and integers k 1. This can be restated using the p-adic integers: Corollary 6 (Hasse Principle: form 2). The equation ax 2 + by 2 + cz 2 = 0 has a non-trivial Z-solution if and only if (i) it has a non-trivial R-solution, and (ii) it has a non-trivial Z p -solution for all primes p. The advantage of this statement is that it is obvious that all these conditions are preserved under matrix transformations (as discussed in the second section), so one gets Corollary 7 (Hasse Principle: form 3). Consider a quadratic homogeneous Diophantine equation F (X, Y, Z) = 0 where F (X, Y, Z) Z[X, Y, Z] has degree 2. Then this equation has a non-trivial Z-solution if and only if (i) it has a non-trivial R-solution, and (ii) it has a non-trivial Z p -solution for all primes p. References [1] H. Davenport, The Higher Arithmetic: An Introduction to the Theory of Numbers, Dover 1983 (original edition, Hutchinson & Company Ltd, 1952). [2] J.-P. Serre, A course in arithmetic, Springer-Verlag 1973 [3] A. Weil, Number theory: an approach through history, Birkhäuser 1984

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

Introduction to Arithmetic Geometry Fall 2013 Lecture #2 09/10/2013

18.78 Introduction to Arithmetic Geometry Fall 013 Lecture # 09/10/013.1 Plane conics A conic is a plane projective curve of degree. Such a curve has the form C/k : ax + by + cz + dxy + exz + fyz with

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?

Chapter 3: Theory of Modular Arithmetic 25 SECTION C Solving Linear Congruences By the end of this section you will be able to solve congruence equations determine the number of solutions find the multiplicative

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?

Chapter 3: Theory of Modular Arithmetic 25 SECTION C Solving Linear Congruences By the end of this section you will be able to solve congruence equations determine the number of solutions find the multiplicative

HASSE-MINKOWSKI THEOREM

HASSE-MINKOWSKI THEOREM KIM, SUNGJIN 1. Introduction In rough terms, a local-global principle is a statement that asserts that a certain property is true globally if and only if it is true everywhere locally.

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

The first exam will be on Monday, June 8, 202. The syllabus will be sections. and.2 in Lax, and the number theory handout found on the class web site, plus the handout on the method of successive squaring

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences. Congruences Let n be a postive integer. The integers a and b are called congruent modulo n if they have the same

Perspectives of Mathematics

Perspectives of Mathematics Module on Diophantine Equations and Geometry Fall 2004 Michael Stoll What is a diophantine equation? 1. Introduction and Examples Being diophantine is not so much a property

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,

PYTHAGOREAN TRIPLES KEITH CONRAD 1. Introduction A Pythagorean triple is a triple of positive integers (a, b, c) where a + b = c. Examples include (3, 4, 5), (5, 1, 13), and (8, 15, 17). Below is an ancient

A Classical Introduction to Modern Number Theory

Kenneth Ireland Michael Rosen A Classical Introduction to Modern Number Theory Second Edition Springer Contents Preface to the Second Edition Preface v vii CHAPTER 1 Unique Factorization 1 1 Unique Factorization

ax b mod m. has a solution if and only if d b. In this case, there is one solution, call it x 0, to the equation and there are d solutions x m d

10. Linear congruences In general we are going to be interested in the problem of solving polynomial equations modulo an integer m. Following Gauss, we can work in the ring Z m and find all solutions to

A FIRST COURSE IN NUMBER THEORY

A FIRST COURSE IN NUMBER THEORY ALEXANDRU BUIUM Contents 1. Introduction 2 2. The integers 4 3. Induction 6 4. Finite sets, finite sums, finite products 7 5. The rationals 8 6. Divisibility and Euclid

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

Finite Fields: An introduction through exercises Jonathan Buss Spring 2014

Finite Fields: An introduction through exercises Jonathan Buss Spring 2014 A typical course in abstract algebra starts with groups, and then moves on to rings, vector spaces, fields, etc. This sequence

THE TRIANGULAR THEOREM OF THE PRIMES : BINARY QUADRATIC FORMS AND PRIMITIVE PYTHAGOREAN TRIPLES

THE TRIANGULAR THEOREM OF THE PRIMES : BINARY QUADRATIC FORMS AND PRIMITIVE PYTHAGOREAN TRIPLES Abstract. This article reports the occurrence of binary quadratic forms in primitive Pythagorean triangles

Elementary Number Theory. Franz Luef

Elementary Number Theory Congruences Modular Arithmetic Congruence The notion of congruence allows one to treat remainders in a systematic manner. For each positive integer greater than 1 there is an arithmetic

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

* 8 Groups, with Appendix containing Rings and Fields.

* 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that

1. multiplication is commutative and associative;

Chapter 4 The Arithmetic of Z In this chapter, we start by introducing the concept of congruences; these are used in our proof (going back to Gauss 1 ) that every integer has a unique prime factorization.

Mathematical Olympiad Training Polynomials Definition A polynomial over a ring R(Z, Q, R, C) in x is an expression of the form p(x) = a n x n + a n 1 x n 1 + + a 1 x + a 0, a i R, for 0 i n. If a n 0,

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

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

Two Diophantine Approaches to the Irreducibility of Certain Trinomials

Two Diophantine Approaches to the Irreducibility of Certain Trinomials M. Filaseta 1, F. Luca 2, P. Stănică 3, R.G. Underwood 3 1 Department of Mathematics, University of South Carolina Columbia, SC 29208;

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

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

x y z 2x y 2y z 2z x n

Integer Solutions, Rational solutions of the equations 4 4 4 x y z x y y z z x n 4 4 and x y z xy xz y z n; And Crux Mathematicorum Contest Corner problem CC4 Konstantine Zelator P.O. Box 480 Pittsburgh,

Wednesday, February 21. Today we will begin Course Notes Chapter 5 (Number Theory).

Wednesday, February 21 Today we will begin Course Notes Chapter 5 (Number Theory). 1 Return to Chapter 5 In discussing Methods of Proof (Chapter 3, Section 2) we introduced the divisibility relation from

Arithmetic Progressions Over Quadratic Fields Alexander Diaz, Zachary Flores, Markus Vasquez July 2010 Abstract In 1640 Pierre De Fermat proposed to Bernard Frenicle de Bessy the problem of showing that

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary

This theorem allows us to describe all integer solutions as follows:

On the Diophantine equation a 3 + b 3 + c 3 + d 3 = 0 by RACHEL GAR-EL and LEONID VASERSTEIN (University Park, PA) Introduction. The equation a 3 + b 3 + c 3 + d 3 = 0 (1) has been studied by many mathematicians

GROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION

Chapter-1 GROUPS 1.1. INTRODUCTION The theory of groups arose from the theory of equations, during the nineteenth century. Originally, groups consisted only of transformations. The group of transformations

JUST THE MATHS UNIT NUMBER 6.1. COMPLEX NUMBERS 1 (Definitions and algebra) A.J.Hobson

JUST THE MATHS UNIT NUMBER 6.1 COMPLEX NUMBERS 1 (Definitions and algebra) by A.J.Hobson 6.1.1 The definition of a complex number 6.1.2 The algebra of complex numbers 6.1.3 Exercises 6.1.4 Answers to exercises

Primes and Modular Arithmetic! CSCI 2824, Fall 2014!!

Primes and Modular Arithmetic! CSCI 2824, Fall 2014!!! Scheme version of the algorithm! for finding the GCD (define (gcd a b)! (if!(= b 0)!!!!a!!!!(gcd b (remainder a b))))!! gcd (812, 17) = gcd(17, 13)

Chapter 8. P-adic numbers. 8.1 Absolute values

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

POLYGONAL-SIERPIŃSKI-RIESEL SEQUENCES WITH TERMS HAVING AT LEAST TWO DISTINCT PRIME DIVISORS

#A40 INTEGERS 16 (2016) POLYGONAL-SIERPIŃSKI-RIESEL SEQUENCES WITH TERMS HAVING AT LEAST TWO DISTINCT PRIME DIVISORS Daniel Baczkowski Department of Mathematics, The University of Findlay, Findlay, Ohio

Integers and Division

Integers and Division Notations Z: set of integers N : set of natural numbers R: set of real numbers Z + : set of positive integers Some elements of number theory are needed in: Data structures, Random

SUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by

SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples

Chinese Remainder Theorem

Chinese Remainder Theorem Theorem Let R be a Euclidean domain with m 1, m 2,..., m k R. If gcd(m i, m j ) = 1 for 1 i < j k then m = m 1 m 2 m k = lcm(m 1, m 2,..., m k ) and R/m = R/m 1 R/m 2 R/m k ;

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

MATH 145 Algebra, Solutions to Assignment 4

MATH 145 Algebra, Solutions to Assignment 4 1: a) Find the inverse of 178 in Z 365. Solution: We find s and t so that 178s + 365t = 1, and then 178 1 = s. The Euclidean Algorithm gives 365 = 178 + 9 178

MTH 346: The Chinese Remainder Theorem

MTH 346: The Chinese Remainder Theorem March 3, 2014 1 Introduction In this lab we are studying the Chinese Remainder Theorem. We are going to study how to solve two congruences, find what conditions are

Number theory lectures

Number theory lectures By Dr. Mohammed M. AL-Ashker Associated professor Mathematics Department E.mail:mashker @ mail.iugaza.edu Islamic University of Gaza P.O.Box 108, Gaza, Palestine 1 Contents 1 Divisibility

NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS

NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS CARRIE E. FINCH AND LENNY JONES Abstract. Let G be a finite group and let x G. Define the order subset of G determined by x to be the set of all elements in

FACULTY FEATURE ARTICLE 6 The Congruent Number Problem

FACULTY FEATURE ARTICLE 6 The Congruent Number Problem Abstract Keith Conrad University of Connecticut Storrs, CT 06269 kconrad@math.uconn.edu We discuss a famous problem about right triangles with rational

Prime Divisors of Palindromes

Prime Divisors of Palindromes William D. Banks Department of Mathematics, University of Missouri Columbia, MO 6511 USA bbanks@math.missouri.edu Igor E. Shparlinski Department of Computing, Macquarie University

How many units can a commutative ring have?

How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the

Table of Contents Chapter 1 What is Number Theory? 1 Chapter Pythagorean Triples 5 Chapter 3 Pythagorean Triples and the Unit Circle 11 Chapter 4 Sums of Higher Powers and Fermat s Last Theorem 16 Chapter

11 Division Mod n, Linear Integer Equations, Random Numbers, The Fundamental Theorem of Arithmetic

11 Division Mod n, Linear Integer Equations, Random Numbers, The Fundamental Theorem of Arithmetic Bezout s Lemma Let's look at the values of 4x + 6y when x and y are integers. If x is -6 and y is 4 we

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions Warm-up Problems 1. What is a prime number? Give an example of an even prime number and an odd prime number. A prime number

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998

CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic

Rings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R.

Rings 10-26-2008 A ring is an abelian group R with binary operation + ( addition ), together with a second binary operation ( multiplication ). Multiplication must be associative, and must distribute over

3.4. ZEROS OF POLYNOMIAL FUNCTIONS

3.4. ZEROS OF POLYNOMIAL FUNCTIONS What You Should Learn Use the Fundamental Theorem of Algebra to determine the number of zeros of polynomial functions. Find rational zeros of polynomial functions. Find

A Local-Global Principle for Diophantine Equations

A Local-Global Principle for Diophantine Equations (Extended Abstract) Richard J. Lipton and Nisheeth Vishnoi {rjl,nkv}@cc.gatech.edu Georgia Institute of Technology, Atlanta, GA 30332, USA. Abstract.

8 Primes and Modular Arithmetic

8 Primes and Modular Arithmetic 8.1 Primes and Factors Over two millennia ago already, people all over the world were considering the properties of numbers. One of the simplest concepts is prime numbers.

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism

21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore

Bjorn Poonen. MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties. January 17, 2006

University of California at Berkeley MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional (organized by Jean-Louis Colliot-Thélène, Roger Heath-Brown, János Kollár,, Alice Silverberg,

Our Number Theory Textbook

Our Number Theory Textbook Math 311: Fall 2015 December, 2015 Contents 1 Divisibility 2 M. Gonsalves, L. Lewis.......................... 2 1.1 Introduction.............................. 2 1.2 Glossary

Integral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract

Integral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract Let F be a field, M n (F ) the algebra of n n matrices over F and

Math Review. for the Quantitative Reasoning measure of the GRE General Test

Math Review for the Quantitative Reasoning measure of the GRE General Test www.ets.org Overview This Math Review will familiarize you with the mathematical skills and concepts that are important for solving

Fermat s Last Theorem for Regular Primes

Fermat s Last Theorem for Regular Primes S. M.-C. 22 September 2015 Abstract Fermat famously claimed in the margin of a book that a certain family of Diophantine equations have no solutions in integers.

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

This is a recursive algorithm. The procedure is guaranteed to terminate, since the second argument decreases each time.

8 Modular Arithmetic We introduce an operator mod. Let d be a positive integer. For c a nonnegative integer, the value c mod d is the remainder when c is divided by d. For example, c mod d = 0 if and only

Explicit solution of a class of quartic Thue equations

ACTA ARITHMETICA LXIV.3 (1993) Explicit solution of a class of quartic Thue equations by Nikos Tzanakis (Iraklion) 1. Introduction. In this paper we deal with the efficient solution of a certain interesting

Elementary Properties of the Integers

Elementary Properties of the Integers 1 1. Basis Representation Theorem (Thm 1-3) 2. Euclid s Division Lemma (Thm 2-1) 3. Greatest Common Divisor 4. Properties of Prime Numbers 5. Fundamental Theorem of

QUADRATIC RINGS PETE L. CLARK 1. Quadratic fields and quadratic rings Let D be a squarefree integer not equal to 0 or 1. Then D is irrational, and Q[ D], the subring of C obtained by adjoining D to Q,

2 so Q[ 2] is closed under both additive and multiplicative inverses. a 2 2b 2 + b

. FINITE-DIMENSIONAL VECTOR SPACES.. Fields By now you ll have acquired a fair knowledge of matrices. These are a concrete embodiment of something rather more abstract. Sometimes it is easier to use matrices,

Solutions to Problem Set 3 - Fall 2008 Due Tuesday, Sep. 30 at 1:00

Solutions to 18.781 Problem Set 3 - Fall 2008 Due Tuesday, Sep. 30 at 1:00 1. (Niven 2.3.3) Solve the congruences x 1 (mod 4), x 0 (mod 3), x 5 (mod 7). First we note that 4, 3, and 7 are pairwise relatively

Direct Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

Direct Proof MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Direct Proof Fall 2014 1 / 24 Outline 1 Overview of Proof 2 Theorems 3 Definitions 4 Direct Proof 5 Using

Diophantine equations

Diophantine equations So far, we have considered solutions to equations over the real and complex numbers. This chapter instead focuses on solutions over the integers, natural and rational numbers. There

D-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups

D-MATH Algebra I HS 2013 Prof. Brent Doran Solution 3 Modular arithmetic, quotients, product groups 1. Show that the functions f = 1/x, g = (x 1)/x generate a group of functions, the law of composition

( 3) ( ) ( ) ( ) ( ) ( )

81 Instruction: Determining the Possible Rational Roots using the Rational Root Theorem Consider the theorem stated below. Rational Root Theorem: If the rational number b / c, in lowest terms, is a root

An unusual cubic representation problem

Annales Mathematicae et Informaticae 43 (014) pp. 9 41 http://ami.ektf.hu An unusual cubic representation problem Andrew Bremner a, Allan Macleod b a School of Mathematics and Mathematical Statistics,

CYCLES AND FIXED POINTS OF HAPPY FUNCTIONS

Journal of Combinatorics and Number Theory Volume 2, Issue 3, pp. 65-77 ISSN 1942-5600 c 2010 Nova Science Publishers, Inc. CYCLES AND FIXED POINTS OF HAPPY FUNCTIONS Kathryn Hargreaves and Samir Siksek

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.

PUTNAM TRAINING NUMBER THEORY (Last updated: December 11, 2017) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice

Commutative Rings and Fields

Commutative Rings and Fields 1-22-2017 Different algebraic systems are used in linear algebra. The most important are commutative rings with identity and fields. Definition. A ring is a set R with two

disc f R 3 (X) in K[X] G f in K irreducible S 4 = in K irreducible A 4 in K reducible D 4 or Z/4Z = in K reducible V Table 1

GALOIS GROUPS OF CUBICS AND QUARTICS IN ALL CHARACTERISTICS KEITH CONRAD 1. Introduction Treatments of Galois groups of cubic and quartic polynomials usually avoid fields of characteristic 2. Here we will

Homework 7 solutions M328K by Mark Lindberg/Marie-Amelie Lawn

Homework 7 solutions M328K by Mark Lindberg/Marie-Amelie Lawn Problem 1: 4.4 # 2:x 3 + 8x 2 x 1 0 (mod 1331). a) x 3 + 8x 2 x 1 0 (mod 11). This does not break down, so trial and error gives: x = 0 : f(0)

A SURVEY OF PRIMALITY TESTS

A SURVEY OF PRIMALITY TESTS STEFAN LANCE Abstract. In this paper, we show how modular arithmetic and Euler s totient function are applied to elementary number theory. In particular, we use only arithmetic

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

Hermite normal form: Computation and applications

Integer Points in Polyhedra Gennady Shmonin Hermite normal form: Computation and applications February 24, 2009 1 Uniqueness of Hermite normal form In the last lecture, we showed that if B is a rational

Math From Scratch Lesson 20: The Chinese Remainder Theorem

Math From Scratch Lesson 20: The Chinese Remainder Theorem W. Blaine Dowler January 2, 2012 Contents 1 Relatively Prime Numbers 1 2 Congruence Classes 1 3 Algebraic Units 2 4 Chinese Remainder Theorem

Number Theory Proof Portfolio

Number Theory Proof Portfolio Jordan Rock May 12, 2015 This portfolio is a collection of Number Theory proofs and problems done by Jordan Rock in the Spring of 2014. The problems are organized first by

Integer-sided equable shapes

Integer-sided equable shapes Shapes with integer side lengths and with equal area and perimeter. Rectangles ab = (a + b) 1 = 1 a + 1 b Trapezia 6 8 14 1 4 3 0 Triangles 6 10 8 P = = 4 13 1 P = = 30 8 10

THUE S LEMMA AND IDONEAL QUADRATIC FORMS

THUE S LEMMA AND IDONEAL QUADRATIC FORMS PETE L. CLARK Abstract. The representation of integers by binary quadratic forms is one of the oldest problems in number theory, going back at least to Fermat s

Notes on Primitive Roots Dan Klain

Notes on Primitive Roots Dan Klain last updated March 22, 2013 Comments and corrections are welcome These supplementary notes summarize the presentation on primitive roots given in class, which differed

Chapter 5: The Integers

c Dr Oksana Shatalov, Fall 2014 1 Chapter 5: The Integers 5.1: Axioms and Basic Properties Operations on the set of integers, Z: addition and multiplication with the following properties: A1. Addition

CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA

CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA BJORN POONEN Abstract. We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential

LARGE PRIME NUMBERS (32, 42; 4) (32, 24; 2) (32, 20; 1) ( 105, 20; 0).

LARGE PRIME NUMBERS 1. Fast Modular Exponentiation Given positive integers a, e, and n, the following algorithm quickly computes the reduced power a e % n. (Here x % n denotes the element of {0,, n 1}

A Readable Introduction to Real Mathematics

Solutions to selected problems in the book A Readable Introduction to Real Mathematics D. Rosenthal, D. Rosenthal, P. Rosenthal Chapter 7: The Euclidean Algorithm and Applications 1. Find the greatest

Contribution of Problems

Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary

MATH 537 Class Notes

MATH 537 Class Notes Ed Belk Fall, 014 1 Week One 1.1 Lecture One Instructor: Greg Martin, Office Math 1 Text: Niven, Zuckerman & Montgomery Conventions: N will denote the set of positive integers, and

MATH10212 Linear Algebra B Homework Week 5

MATH Linear Algebra B Homework Week 5 Students are strongly advised to acquire a copy of the Textbook: D C Lay Linear Algebra its Applications Pearson 6 (or other editions) Normally homework assignments

The group (Z/nZ) February 17, In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer.

The group (Z/nZ) February 17, 2016 1 Introduction In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer. If we factor n = p e 1 1 pe, where the p i s are distinct

Ch 4.2 Divisibility Properties

Ch 4.2 Divisibility Properties - Prime numbers and composite numbers - Procedure for determining whether or not a positive integer is a prime - GCF: procedure for finding gcf (Euclidean Algorithm) - Definition:

cse547, math547 DISCRETE MATHEMATICS Professor Anita Wasilewska

cse547, math547 DISCRETE MATHEMATICS Professor Anita Wasilewska LECTURE 12 CHAPTER 4 NUMBER THEORY PART1: Divisibility PART 2: Primes PART 1: DIVISIBILITY Basic Definitions Definition Given m,n Z, we say

. In particular if a b then N(

Gaussian Integers II Let us summarise what we now about Gaussian integers so far: If a, b Z[ i], then N( ab) N( a) N( b). In particular if a b then N( a ) N( b). Let z Z[i]. If N( z ) is an integer prime,

Number Theory. Modular Arithmetic

Number Theory The branch of mathematics that is important in IT security especially in cryptography. Deals only in integer numbers and the process can be done in a very fast manner. Modular Arithmetic

Number Theory and Group Theoryfor Public-Key Cryptography

Number Theory and Group Theory for Public-Key Cryptography TDA352, DIT250 Wissam Aoudi Chalmers University of Technology November 21, 2017 Wissam Aoudi Number Theory and Group Theoryfor Public-Key Cryptography