D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 1. Arithmetic, Zorn s Lemma.

Similar documents
D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 6. Unique Factorization Domains

0 Sets and Induction. Sets

Prof. Ila Varma HW 8 Solutions MATH 109. A B, h(i) := g(i n) if i > n. h : Z + f((i + 1)/2) if i is odd, g(i/2) if i is even.

Math 109 HW 9 Solutions

MATH XYZ. 1. Basics: Sets, Maps, Relations,...

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

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Chapter 1 : The language of mathematics.

Chapter 1 Preliminaries

MATH FINAL EXAM REVIEW HINTS

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

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

Chapter 1. Sets and Mappings

Proof 1: Using only ch. 6 results. Since gcd(a, b) = 1, we have

Recitation 7: Existence Proofs and Mathematical Induction

PRACTICE PROBLEMS: SET 1

Chapter 5: The Integers

MATH 361: NUMBER THEORY FOURTH LECTURE

MATH 215 Final. M4. For all a, b in Z, a b = b a.

Solutions of exercise sheet 6

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

MATH 433 Applied Algebra Lecture 14: Functions. Relations.

Homework #2 solutions Due: June 15, 2012

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers

Solutions to Practice Final

12x + 18y = 50. 2x + v = 12. (x, v) = (6 + k, 2k), k Z.

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

M381 Number Theory 2004 Page 1

Sets. We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth

NOTES ON FINITE FIELDS

INTEGERS. In this section we aim to show the following: Goal. Every natural number can be written uniquely as a product of primes.

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4

CSE 20 DISCRETE MATH. Winter

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

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

Part IA. Numbers and Sets. Year

WORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers:

MATH 501 Discrete Mathematics. Lecture 6: Number theory. German University Cairo, Department of Media Engineering and Technology.

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Elementary Algebra Chinese Remainder Theorem Euclidean Algorithm

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

Writing Assignment 2 Student Sample Questions

Group, Rings, and Fields Rahul Pandharipande. I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S,

CSE 20 DISCRETE MATH. Winter

Number Theory Solutions Packet

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

COMP239: Mathematics for Computer Science II. Prof. Chadi Assi EV7.635

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) 1. RELATIONS

MATH 152 Problem set 6 solutions

Math1a Set 1 Solutions

Part IA Numbers and Sets

Contribution of Problems

Mathematics 228(Q1), Assignment 2 Solutions

There are seven questions, of varying point-value. Each question is worth the indicated number of points.

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35

g(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series.

Lecture 4: Number theory

D-MATH Algebra II FS18 Prof. Marc Burger. Solution 26. Cyclotomic extensions.

CSE 20 DISCRETE MATH. Fall

MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM

that if a b (mod m) and c d (mod m), then ac bd (mod m) soyou aren't allowed to use this fact!) A5. (a) Show that a perfect square must leave a remain

The Euclidean Algorithm and Multiplicative Inverses

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

Math 203A - Solution Set 1

Part 1. For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form

Review Problems for Midterm Exam II MTH 299 Spring n(n + 1) 2. = 1. So assume there is some k 1 for which

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Solutions of exercise sheet 11

Ramsey Theory. May 24, 2015

Answers to Final Exam

Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography

Fall 2017 Test II review problems

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

Course MA2C02, Hilary Term 2013 Section 9: Introduction to Number Theory and Cryptography

Number Theory. CSS322: Security and Cryptography. Sirindhorn International Institute of Technology Thammasat University CSS322. Number Theory.

Tomáš Madaras Congruence classes

Properties of the Integers

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

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

1 Overview and revision

TOPOLOGY HW 2. x x ± y

Finite Fields and Error-Correcting Codes

A SURVEY OF PRIMALITY TESTS

x 3 2x = (x 2) (x 2 2x + 1) + (x 2) x 2 2x + 1 = (x 4) (x + 2) + 9 (x + 2) = ( 1 9 x ) (9) + 0

Homework #5 Solutions

1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

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

Congruent Number Problem and Elliptic curves

CHAPTER 6. Prime Numbers. Definition and Fundamental Results

Topological properties

Section 0. Sets and Relations

Examples: The (left or right) cosets of the subgroup H = 11 in U(30) = {1, 7, 11, 13, 17, 19, 23, 29} are

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

2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}.

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

Transcription:

D-MATH Algebra I HS18 Prof. Rahul Pandharipande Solution 1 Arithmetic, Zorn s Lemma. 1. (a) Using the Euclidean division, determine gcd(160, 399). (b) Find m 0, n 0 Z such that gcd(160, 399) = 160m 0 + 399n 0. [Hint: Write the steps of the euclidean algorithm and compute backwards.] (c) Similarly, determine gcd(13456, 876) and find m 0, n 0 Z such that gcd(13456, 876) = 13456m 0 + 876n 0. (d) Determine gcd(l + l + 1, 3l + 4l + 5) for each l Z. Solution: (a) We perform the Euclidean division of 160 by 399. Then we divide 399 by the remainder and so on: Then 160 = 4 399 + 6 399 = 66 6 + 3 6 = 3 + 0. gcd(160, 399) = gcd(399, 6) = gcd(6, 3) = gcd(3, 0) = 3. (b) By looking at the computations done in part (b), we obtain: 3 = 399 66 6 = 399 66 (160 4 399) = 65 399 66 160. (c) We compute 13456 = 140 876 + 816 876 = 816 + 60 816 = 13 60 + 36 60 = 36 + 4 36 = 4 + 1 4 = 1, which implies that gcd(13456, 876) = 1. Then we express 1 by looking at the above equations backwards: 1 = 36 4 = 36 (60 36) = 60 + 36 = 60 + (816 13 60) = 816 7 60 = 816 7 (876 816) = 9 816 7 876 = 9 (13456 1401 876) 7 876 = 9 13456 4087 876. 1

(d) We compute: 3l + 4l + 5 = 3 (l + l + 1) + (l + ) l + l + 1 = (l 1)(l + ) + 3. This implies that gcd(3l + 4l + 5, l + l + 1) = gcd(l + l + 1, l + ) = gcd(l +, 3). Since 3 is a prime number, the greatest common divisor is either equal to 3 (if 3 l + ) or 1 (if 3 l + ). Hence we can conclude that { 1 if l 0, (mod 3) gcd(3l + 4l + 5, l + l + 1) = 3 if l 1 (mod 3).. A Pythagorean triple is an ordered triple (a, b, c) of positive integers for which a + b = c. It is called primitive if a, b and c are coprime, that is, if there is no integer d > 1 which divides a, b and c. (a) Let 1 x < y be odd integers. Prove that ) (xy, y x, y + x is a Pythagorean triple. (b) Suppose that x and y are also coprime. Prove that the Pythagorean triple (1) is primitive. *(c) Prove that all primitive Pythagorean triples are of the form (1) with coprime odd integers 1 x < y, up to switching the first two entries. [Hint: Reduce to the case in which a is odd. Prove that c+b c b = 1 and write down c+b = u a a a t and c b = t for coprime positive integers u > t. Find c and b in terms of t a u a a and u.] Solution: (a) First, we notice that (1) consists of positive integers. Indeed, xy Z >0 as it is the product of two positive integers, whereas x and y are odd numbers because they are powers of odd numbers (e.g., the prime number cannot divide the integer x without dividing x), so that y + x and y x are even numbers and the given fractions in (1) represent integers. It is also clear that both numbers are positive as y > x > 0. Now we only need to check that the identity a + b = c is satisfied for (a, b, c) = done as follows: a + b = x y + y4 + x y + x 4 4 ( xy, y x, y +x = y4 x y + x 4 4 = (y x ) 4 (1) ). This can be = c.

(b) This is equivalent to check that for each prime number p there is an entry in (1) which is not divided by p. For p = this is the case because xy is odd by assumption (as x and y are both odd). Now assume by contraddiction that an odd prime p divides all the entries in (1). Then p divides y + x, because it divides y +x. Moreover p xy, which implies that p x or p y. If p x, then p x, so that it also divides (y + x ) x = y and being p prime it must divide y. If p y we similarly show that p x. In any case, p divides both x and y, which is a contradiction to the assumption that x and y are coprime. Hence p cannot divide all the entries in (1) simultaneously, as we wanted to show. (c) Let (a, b, c) be a primitive Pythagorean triple. Suppose that a and b are both even. Then c = a +b is even, too. This implies that c is even, contradicting the hypothesis that (a, b, c) is primitive. Hence at least one among the numbers a and b is odd and since we are allowed to switch the first two entries in the Pythagorean triple, we can assume WLOG that this is a. The equality a + b = c is equivalent to 1 = c b which reads a a c + b a c b a = 1. () Since c+b > 0, we can write c+b = u for coprime positive integers u and t. a a t Notice that c = a + b > a, implying that c > a so that c + b > c > a and u > t. Moreover, () implies that c b = t. Summing and subtracting the two a u equations we obtain c + b = u a t c b = t a u b a = u t ut c a = u + t ut Notice that primitivity of (a, b, c) implies that gcd(a, c) = 1, because any common prime factor of a and c would divide b = c a and hence b. Similarly gcd(a, b) = 1. Moreover, since a is odd, must divide u t and u +t. Now the same argument as in part (b) gives gcd(ut, u +t ) = 1 because u and t are coprime, and similarly we get gcd(ut, u t ) = 1. The only possibility is that a = ut, c = u +t and b = u t, so that we can conclude by taking x = u and y = v. 3

3. In this exercise we give a famous proof by Zagier of Fermat s theorem on sums of two squares. For m, n, r Z we say that m is congruent to r modulo n, and write m r (mod n), if m r nz. Theorem 0.1 (Fermat). Let p be an odd prime number. Then it is possible to express p = x + y for some x, y Z if and only if p 1(mod 4). Let X be a set. An involution of X is a map ϕ : X X such that ϕ ϕ = id X. (a) Prove: if X is finite and has odd cardinality, then every involution of X has a fixed point. (b) Prove: if X is finite and an involution of X has a unique fixed point, then X is odd. In parts (c)-(f), suppose that p 1 (mod 4) is a prime number. Let X p := {(x, y, z) Z 3 0 : x + 4yz = p}. (c) Show that X p is finite and non-empty. (d) Show that the maps f, g : X p X p sending (x + z, z, y x z) if x < y z f : (x, y, z) (y x, y, x y + z) if y z < x < y (x y, x y + z, y) if x > y g : (x, y, z) (x, z, y) are well defined involutions. (e) Let A = {(x, y, z) X p : x < y z}, B = {(x, y, z) X p : y z < x < y} and C = {(x, y, z) X p : x > y}. Prove that f(a) C and f(c) A. Deduce that f(b) B and use this to prove that f has a unique fixed point. (f) Deduce that X p is odd and conclude that the if statement holds. (g) Prove that if p = x + y for x, y Z, then p 1(mod 4). Solution: (a) Let ϕ be an involution of X. Denote by X ϕ the set of fixed points of X, i.e. X ϕ := {x X : ϕ(x) = x}. Then X = X ϕ {x X : ϕ(x) x}. (3) The set Y := {x X : ϕ(x) x} has even cardinality, as can be checked by induction on its cardinality: If Y =, then Y = 0 is even and we are done. 4

Else fix y 0 Y. Notice that ϕ(y ) Y as for y Y one can observe that ϕ(ϕ(y)) = y ϕ(y), so that ϕ(y) Y. Moreover, ϕ being an involution, we see that {y 0, ϕ(y 0 )} is mapped to itself by ϕ and so is Y := Y {y 0, ϕ(y 0 )} again because ϕ is an involution. Now consider the involution ϕ of X given by { ϕ(x) x ϕ {y0, ϕ(y (x) = 0 )} x x {y 0, ϕ(y 0 )}. We have X ϕ = X ϕ {y 0, ϕ(y 0 )} so that {x X : ϕ (x) x} = Y has cardinality Y = Y < Y which by inductive hypothesis has even cardinality. Hence Y has even cardinality as well. Now if X is even, then X ϕ must be odd by what we have just showed and (3), so that it cannot be empty. This means that there exists a fixed point. (b) If ϕ has a unique fixed point, then X ϕ = 1 is odd. Since {x X : ϕ(x) x} has even cardinality as seen in (a), equation (3) implies that X is odd. (c) First of all, notice that for (x, y, z) X p one has x 0, y 0 and z 0. Indeed, if x = 0 then 4yz = p, whereas for y = 0 or z = 0 we obtain x = p, and both conclusions are impossible since p is prime. Then x, y, z are all smaller than x + 4yz = p, so that they all lie in the set {1,..., p}. Hence X p is finite with at most p 3 elements. Writing p = 1 + 4k, we see that (1, 1, k) X p which in turn is non-empty. (d) Clearly, for (x, y, z) X p one has (x, z, y) X p and g (x, y, z) = g(x, z, y) = (x, y, z) so that g is a well defined involution. Let s now deal with f. First notice that the three stated cases are disjoint and cover all the possibilities: the equalities of coordinates x = y z and x = y are both impossible for (x, y, z) X p. The former implies p = x + 4yz = (y + z) whereas the latter implies that p = x + 4yz = 4y(y + z) and both conclusions are a contradiction with primality of p. We use the claim from the next point that f switches A and C and that it fixes B, which we prove later together with the fact that ϕ actually maps elements of X p in X p, so that it is well defined. We will denote (x, y, z ) := f(x, y, z). Then If (x, y, z) A, so that f(x, y, z) C, then f (x, y, z) = f(x + z, z, y x z) = (x y, x y + z, y ) = (x + z z, x + z z + y x z, z) = (x, y, z). If (x, y, z) C, so that f(x, y, z) A, then f (x, y, z) = f(x y, x y + z, y) = (x + z, z, y x z ) = (x y + y, y, x y + z (x y) y) = (x, y, z). 5

If (x, y, z) B, so that f(x, y, z) B, then f (x, y, z) = f(y x, y, x y + z) = (y x, y, x y + z ) = (y (y x), y, y x y + x y + z) = (x, y, z). (e) First, for each (x, y, z) in A, B or C, we prove that the image of (x, y, z) is in X p and precisely in the subset prescribed in the exercise. Again, for (x, y, z) X p, we use the notation (x, y, z ) = f(x, y, z). If (x, y, z) A, then x + z, z and y z x are all non-negative and x + 4y z = (x + z) + 4z(y x z) = x + 4yz = p, so that f(x, y, z) X p. Moreover, x y = x > 0 This means that f(a) C. If (x, y, z) B, then y x, y and x y + z are all non-negative and x + 4y z = (y x) + 4y(x y + z) = x + 4yz = p y z = y x z < y x = x < y = y, so that f(x, y, z) B. If (x, y, z) C, then x y + z > x > x y > 0, y > 0 and x + 4y z = (x y) + 4(x y + z)y = x + 4yz = p x = x y < (x y + z) y = y z since z > 0, so that f(x, y, z) A. Notice that assuming that f is an involution, then the fact that f switches A and C already immediately implies that f(b) B, because b = f(f(b)) cannot be in B if f(b) B. However, since in part (d) we used all the three inclusions that we have just proved in order to show that f is an involution, we cannot skip the proof that f(b) B, else there would be a circular argument. Suppose that (x, y, z) X p is a fixed point. Then it must belong to B but what we have just proved. The map f on B extends to the Q-linear map ˆf : Q 3 Q 3 given by the matrix 1 0 M = 0 1 0 1 1 1 6

In order to find fixed points, we look at the eigenvectors associated to 1, that is, at the subspace of Q 3 described by the matrix 0 M I = 0 0 0. 1 1 0 Hence the fixed points of X p are all those of the form (x, x, z) Z 3 0 which satisfy x + 4xz = p and x z < x < x. The inequality is always true because x, z Z already remarked above, whereas the equality p = x + 4xz = x(x + 4z) (4) implies that x = 1 and x + 4z = p, since x < x + 4z are two distinct factors of p. This is true for x = 1 and for a unique value z = z 0 for which p = 1 + 4z 0 (which is the case by hypothesis on p). The unique fixed point of f is then (1, 1, z 0 ). Notice that it is in B. (f) Parts (b), (c) and (e) together imply that X p is odd. Then part (a) implies that g has a fixed point (x 0, y 0, z 0 ) X p, which means y 0 = z 0. Hence there exist x 0, z 0 Z 0 such that x 0 + 4z 0 = p. Let x = x 0 and y = y 0. Then x + y = p as desired. (g) If p = x + y is odd, then exactly one out of x and y is odd. WLOG suppose it is x and write x = k + 1. Then x = 4k + 4k + 1. On the other hand, y = 4l for some l Z since y. Then p = 4k + 4k + 1 + 4l, which means that p 1 (mod 4). 4. Let S be a set. A well-order on S is a total order on S such that every nonempty subset S has a minimal element. For example, the natural order in N is a well-order. (a) Define a well-order on Z. (b) Define a well-order on Q. (c) Using Zorn s lemma, prove that every set S admits a well-order. [Hint: Consider the partially ordered set S := {(A, R) : A S, R is a well-order on A} endowed with the partial order defined by ( (A, R) (A, R def. A A ) ; x, y A, xry xr y and a A, a A, a R a = a A Check that (S, ) satisfies the hypotheses of Zorn s lemma and get a maximal element (M, R 0 ). Prove that M = S.] 7 ).

Solution: For every bijection ϕ : S N, one can define a total order on S via def. s t ϕ(s) ϕ(t). (a) Consider the bijection ϕ : Z N sending 0 < k k 1 and 0 k k. This is easily seen to be a bijection and it induces the following well-order on Z: 0 1 1 3 3... (b) One can construct a bijection ψ : Z Q as follows: ψ(0) = 0; ψ( n) = ψ(n) for each n; write, for k Z >0, { a } F k := b Q : gcd(a, b) = 1, a + b = k + 1 and denote f k := F k < k + 1. Then the values of ψ(n) for n > 0 range, in the order, on the sets F 1 = {1}, F = {, 1/}, F 3,... starting, in each F k, with the fraction of highest denominator. This means that ψ(n) F k if and only if k 1 j=1 f j < n k j=1 f j, and in this case ψ(n) is equal to the (n k 1 j=1 f j)-th element in F k, the elements in F k being ordered with decreasing denominators. The map ψ is a bijection because the F j s form a partition of Q >0. Considering ϕ as in the previous part, the bijection ϕ ψ 1 : Q N induces the following well-order on Q: 0 1 1 1 1 1 3 1 3 3 3 1 4 1 4 3... (c) We follow the hint. We first notice that defines a partial order on S: reflexivity is clear, antisymmetry descends from the same property on sets and transitivity is immediate by definition. Now we check that (S, ) satisfies the hypothesis of Zorn s lemma: S, as it contains (, ). For every chain (A i, R i ) i I S, consider A 0 = i I A i. Define a relation R 0 on A 0 as follows: for a 1 A i1 and a A i, let j = max{i 1, i } (the total order on i being induced by (A i, R i ) i I being a chain), so that a 1, a A j, and we set a 1 R 0 a if and only if a 1 R j a. This relation is well defined: if it is also the case that a 1 A i 1 and a A i with j = max{i 1, i }, let J := max{j, j }; then a 1 R j a a 1 R J a a 1 R j a, 8

because the R J is an extension of both R j and R j by definition of the partial order on S. All the axioms for R 0 being a total order are satisfied because each R i is a well-order. For example, totality is proven by noticing that for each a 1, a A 0 there exist i 1, i I such that a λ A iλ and for j = max{a 1, a } one obtains that a 1, a A j, so that either a 1 R j a (and then a 1 R 0 a ) or a R j a 1 (and then a R 0 a 1 ), as R j is a total order. Consider now a non-empty subset A 00 of A 0. Let i I be such that A 00 A i. Then the set A 00 A i A i has a minimum a 0i with respect to R i. Let a 00 A 00 and let j I be such that a 0 0 A j. We want to show that a 0i R 0 a 00, so that we can prove that a 0i is minimal element of A 00. In order to show that a 0i R 0 a 00 it is enough to check that a 0i R j a 00. This is clearly the case if A j A i, so assume that (A i, R i ) (A j, R j ) strictly, so that a 00 A j A i. Suppose that a 00 R j a 0i. Then, by definition of on S, we get a 0 0 A i, a contradiction, so that a 00 R j a 0i and by totality of R j we have a 0i R j a 00. This allows us to deduce that (A 0, R 0 ) S. Finally, (A i, R i ) (A 0, R 0 ) for each i I because A i A 0 by definition of R 0. By Zorn s lemma, we obtain a maximal element (M, R 0 ) of (S, ) and we now prove that M = S. Suppose by contradiction that S M. Let s S M. On the set M {s}, define the order for which t 1 R t if and only if t 1 = s or t 1, t M and t 1 R 0 t. Then R is a well-order on M {s}. Indeed, it is a total order because the freshly added element can be compared with all elements in M {s} and, moreover, every subset of M {s} has a minimum, because either it is a subset of the well-ordered set (M, R 0 ) or it contains s which satisfies sr t for each t M {s}. 9