Algebra Interactive. Reader. Arjeh M. Cohen, Hans Cuypers, Hans Sterk. Eindhoven University of Technology

Size: px
Start display at page:

Download "Algebra Interactive. Reader. Arjeh M. Cohen, Hans Cuypers, Hans Sterk. Eindhoven University of Technology"

Transcription

1 Algebra Interactive Reader Arjeh M. Cohen, Hans Cuypers, Hans Sterk Eindhoven University of Technology

2

3 iii Preface Algebra Interactive is designed as modern course material for undergraduate courses in Algebra. It can also be used by students for individual study. The many dynamic illustrations make it suitable for demonstrations in lectures as well. As such it is useful for instructors who wish to enliven their lectures with modern means. Algebra Interactive differs in content from classical material on algebra in that it focuses on algorithms (constructive aspects) and real life applications; the presentation deviates strongly from classical algebra books in that it brings to life the basic concepts of algebra through interactive examples and visualizations. With these modern techniques illustrations are presented in totally new ways that go beyond the traditional presentations. It provides students with a sophisticated learning environment with emphasis on computational and algorithmic aspects. New technology enriches the material in that many examples (in particular, the so called gapplets) allow for experimenting, dynamic illustrations (in particular, the applets under the Cool button) occur throughout the text, buttons enable focusing on specific aspects (proofs, examples, exercises, illustrations), on-line multiple choice tests are offered, on-line calculators pertaining to the subjects covered are available, various ways of cross referencing are supported. More information on the features of Algebra Interactive is given in the Appendix. Algebra Interactive offers a new challenge compared to traditional text books and we recommend that you grasp the material by experimenting with the examples, working through the exercises, testing yourself, etc. However, working with the interactive notes will not replace the full benefits of pad and pencil, it rather adds to them. So keep pad and pencil at hand while you work your way through. Also, for your convenience, we provide this reader, a paper excerpt of Algebra Interactive. It contains most of the text from the main window (in standard font size) and a fair portion of the proofs, examples, remarks, applications and explanations from the secondary window (in a smaller font size). Algebra Interactive covers topics ranging from arithmetic with integers and with polynomials (including modular arithmetic) to permutations in the first five chapters, and then unifies the many common

4 iv aspects of these arithmetic structures in the remaining chapters on groups and rings. Algebra Interactive grew out of algebra lectures given at the Eindhoven University of Technology, The Netherlands, over the past few years. It was developed as IDA: Interactive Document on Algebra. (We still refer to Algebra Interactive as IDA rather than AI.) Algebra Interactive is not the end of the story. It is part of the Open- Math project that ultimately aims at providing a flexible working environment for engineers and researchers using mathematics. In the not so distant future, we hope to produce a second version using the OpenMath standard for sharing mathematical expressions between the user interface and back engines (such as GAP). Arjeh M. Cohen, Hans Cuypers, Hans Sterk, Eindhoven, June 1999.

5 v Contents 1 Arithmetic

6

7 1 1. Arithmetic In this chapter we study the properties of the set Z of integers. We mainly deal with its multiplicative structure and discuss notions such as the greatest common divisor (gcd) and the least common multiple (lcm) of two (or more) integers Divisors and multiples We know how to add integers, how to subtract them and how to multiply them. Division is a bit harder. Definition 1. Let a Z and b Z. We call b a divisor of a if there is an integer q Z such that a = qb. If b is a nonzero divisor of a, then the (unique) integer q with a = qb is called the quotient a over b and denoted by a/b. If b is a divisor of a, we also say that b divides a, or a is a multiple of b, or a is divisible by b. We write this as b a. Suppose that a is an integer. If a is nonzero, not every integer b is a divisor of a. If b (not equal to 0) does not divide a, then there is a remainder after division of a by b. Here is a precise statement about division with remainder. Theorem 2. If a Z and b N \ {0}, then there are exactly one q Z and one r Z such that a = qb + r and 0 r < b. This theorem states that there exist a quotient q and a remainder r, often denoted by a mod b, but it does not tell you how to find those two integers. However, the proof that we give here, is constructive: it provides an algorithm to find q and r. Proof. In the case where a, b > 0, the proof is roughly as follows: find the greatest multiple qb of b that is less than or equal to a; this can be accomplished by starting with q = 0 and increasing q by 1 until a (q + 1)b < 0. Then r = a qb. Existence We first consider the case where a 0 and use induction on a. If a < b, then we set q = 0 and r = a. If a b, then by the induction hypothesis, there exist integers q and r (with 0 r < b) such that a b = q b + r. Thus, a = (q + 1)b + r. Apparently, q = q + 1 and r = r satisfy the conditions of the theorem in this case. If a < 0, then by the above there are q and r with a = q b + r. But then a = (q b + r ) = (q + 1)b + ( r + b). So q = (q + 1) and r = ( r + b) satisfy the conditions of the theorem.

8 2 1 Arithmetic Uniqueness Suppose that a = qb + r and a = q b + r with 0 r, r < b. Suppose moreover that r r. (This is no essential restriction.) By subtracting these equalities we get r r = (q q)b. Now it follows that the multiple (q q)b of b satisfies 0 (q q)b = r r < b. This can only happen if q q = 0. In other words q = q. Now it also follows that r = r. Application. Suppose you need to fit rods of length b one after the other in a box of length a. Then the quotient tells you how many will fit and the remainder what the length of the space left open will be. For instance, in a box of length a = 23 we can fit two rods of length b = 11, and there will be an open space of length 1. We consider common divisors and multiples of two (or more) integers. Let a, b Z. Definition 3. An integer d is a common divisor of a and b if d a and d b. If a and b are not both 0, the largest common divisor of a and b (exists and) is called the greatest common divisor of a and b. If the greatest common divisor of a and b equals 1, then a and b are called relatively prime. Remark. If a and b are not both 0, then they have only a finite number of common divisors. Note that 1 is always a common divisor. Hence the greatest common divisor exists. We denote the greatest common divisor of a and b by gcd(a, b). Analogous to the greatest common divisor of two integers we can define the greatest common divisor of more than two numbers. We now discuss common multiples of two (or more) integers. Let a, b Z. Definition 4. The integer c is a common multiple of a and b if c is a multiple of a and of b (that is, a c and b c). The smallest nonnegative common multiple of a and b is called the least common multiple of a and b. We express the least common multiple of a and b with lcm(a, b) Euclid s algorithm The gcd of two integers a and b (which, for simplicity, we assume to be positive) can be determined with Euclid s algorithm.

9 1.2 Euclid s algorithm 3 Algorithm 5 (Euclid s algorithm). Input: two positive integers a and b. Output: the gcd of a and b. 1. Replace (simultaneously) a by b and b by the remainder of the division of a by b. 2. Repeat Step 1 until b is equal to Return a. Proof. We use three properties of the greatest common divisor: gcd(a, b) = gcd(b, a), gcd(a, b) = gcd(a, b ka), and gcd(a, 0) = a. These properties imply that in each step of the algorithm the gcd is left invariant. The variable b decreases with each step. Eventually we come to the point that b equals 0. Then the algorithm ends and it will give gcd(a, 0) = a as output. There is also an extended version of Euclid s algorithm, where integers x and y are determined such that ax + by = gcd(a, b). To do this, we record at each step of Euclid s algorithm how to express the intermediate results in the input integers. Algorithm 6 (The extended Euclidean algorithm). Input: positive integers a and b. Output: integers x and y such that gcd(a, b) = xa + yb. 1. Let x = v = 1 and y = u = Determine q and r such that a = qb + r and 0 r < b. Replace (simultaneously) a by b and b by r, x by u and y by v, u by x qu and v by y qv. 3. Repeat Step 2 until b equals Return x and y. Proof. Find the gcd of a and b using Euclid s algorithm. When after some steps using this algorithm a = xa + yb and b = ua + vb for certain integers x, y, u and v, then after the next step a = ua + vb and b = (ua + vb) q(xa + yb) = (x qu)a + (y qv)b, where q is the quotient of a and b. Since Euclid s algorithm will eventually return a as the gcd of a and b, the extended Euclidean algorithm will give x and y with gcd(a, b) = xa + yb. Remark. The integers x and y with xa + yb = gcd(a, b) are not unique: of course, for any integer t we have (x + tb)a + (y ta)b = gcd(a, b). The extended Euclidean algorithm leads us to the following characterization of the gcd. Let a and b be two positive integers.

10 4 1 Arithmetic Theorem 7 (Characterization of the gcd). The following three statements are equivalent. 1. gcd(a, b) = d. 2. d is a positive common divisor of a and b such that any common divisor c of a and b is a divisor of d. 3. d is the least positive integer that can be expressed as xa + yb with integers x and y. Proof. 1 2 Let d = gcd(a, b). Then d is a common divisor of a and b. By the extended Euclidean algorithm d = xa+yb for some integers x and y. If c is any common divisor of a and b, then it also divides d. This proves that the first assertion implies the second. As for the other way around, suppose that d is as in the second statement. Since gcd(a, b) is a common divisor of a and b it must divide d. On the other hand d cannot be larger than the greatest common divisor of a and b. Hence d and gcd(a, b) must be equal. This proves that the second statement implies the first. 1 3 Let d = gcd(a, b) and let e be the least positive integer that can be expressed as xa + yb with integers x and y. We show that d = e. Since d is a common divisor of a and b, the equality e = xa + yb implies that d divides e. So d e. Moreover, d itself can also be written as a linear combination of a and b. So d e by the defining property of e. Hence d must be equal to e. This proves the equivalence. This characterization of the gcd has the following trivial (but important) corollary. Corollary 8. Integers a and b are relatively prime if and only if there exist integers x and y such that xa + yb = 1. Proof. Apply the previous theorem with d = 1. Example. For all natural numbers m, n with m < n, the integers 2 m and 2 n 1 are relatively prime: 2 n m 2 m 1 (2 n 1) = 1. A consequence is the following useful result for deducing divisibility of one integer by another. Proposition 9. Let a, b, c be integers. If a and b are relatively prime, then a bc implies a c. Proof. There exist integers x and y such that xa + yb = 1. Multiply this relation by c to get xac + ybc = c. Since a xac and a bc (and hence also a ybc) we get that a xac + ybc = c.

11 1.3 Linear diophantine equations Linear diophantine equations We describe an algorithm to find all integer solutions to the equation xa + yb = c in the unknown x, y and given a, b, c Z. Such equations are known as linear diophantine equations. We first discuss a special case, the homogeneous equation. Let a, b Z. Lemma 10. If xa + yb = 0 and gcd(a, b) = 1, then there exists an integer n such that x = nb and y = na. Proof. Suppose that xa+yb = 0 and that gcd(a, b) = 1. From xa = by it follows that a by. Since gcd(a, b) = 1, we find a y, see Proposition 9 of Section 1.2. But that means that there exists an integer n such that an = y. Substitution of y in the original equation gives x = nb. This proves the lemma. Remark. If we interpret the equation over Q or R, then the solutions are, assuming b is not equal to 0, of the form (x, y) = (x, (c xa)/b). However, not all of these solutions are integral. From the lemma we conclude the following. Theorem 11. Suppose that a, b are not both 0. Then the integer solutions to the equation xa + yb = 0 are given by x = nb/d and y = na/d, where d = gcd(a, b) and n Z. Proof. Assume that xa + yb = 0 and gcd(a, b) = d. By dividing the equality xa + yb = 0 by d, we get the situation of the lemma. The theorem now follows. Example. The solutions to the equation 28x + 21y = 0 are x = 21n/7 = 3n and y = 28n/7 = 4n, with n Z, since gcd(28, 21) = 7. We are ready for the general case. Algorithm 12. Input: integers a, b, c, with a and b not both 0. Output: all integer solutions x, y to the equation xa + yb = c. 1. Find, using the extended Euclidean algorithm, integers x, y such that d := gcd(a, b) = x a + y b. 2. If d does not divide c, then return that there are no solutions to the equation. 3. If d c, then return x = (x c nb)/d and y = (y c + na)/d, with n Z. Proof. First note that if (x 0, y 0) and (x 1, y 1) are solutions to the equation ax + yb = c, then their difference (x 0 x 1, y 0 y 1) is a solution to the homogeneous equation ax + yb = 0. Hence all solutions of ax + yb = c, if there are any, are of the form (x 0,y 0) plus a solution to the homogeneous equation ax + yb = 0. Correctness of the algorithm is now a direct consequence of the previous lemma and theorem.

12 6 1 Arithmetic Example. Consider the equation 28x + 21y = 14. Using the extended Euclidean algorithm we find gcd(28, 21) = 7 = Moreover, it is easy to see that x = 2 and y = 2 is a solution of the equation. Hence all solutions are x = 2 21n/7 = 2 3n and y = n/7 = 2 + 4n, with n in Z. Note the structure of the solutions: x c/d, y c/d is one particular solution of the equation xa + yb = c, and all other solutions are obtained by adding all solutions of the homogeneous equation xa + yb = 0 to it Prime numbers In this section we discuss prime numbers, the building blocks for the multiplicative structure of the integers. Definition 13. A prime is an integer p larger than 1 that has no positive divisors other than 1 and p. The first five primes are 2, 3, 5, 7, and 11. But there are many more. Theorem 14. There are infinitely many primes. Proof. Suppose that there are only finitely many primes, say p 1,..., p r. Construct the integer m = p 1 p r + 1. Then m > 1. The integer m is not divisible by any of the p i (i = 1,..., r). The smallest divisor larger than 1 of m is a prime. This is a prime that is not in our list. Contradiction. Eratosthenes sieve is an algorithm to make a list of primes. Algorithm 15 (Eratosthenes sieve). Input: a positive integer n. Output: the list of primes less than or equal to n. 1. Construct the list L := [2,..., n] and the empty list M. 2. Let m be the smallest element in L. Add m to M. Remove all multiples of m from L. 3. Repeat Step 2 until L is empty. 4. Return M. Using this sieve we can find all the primes in the interval [1, n]. The number of such primes can be approximated as follows. Fact 16 (Prime number theorem). Let prime(n) be the number of primes in the interval [1, n]. Then we have prime(n) n/log(n) when n tends to infinity. (This means that lim n prime(n)/(n/ log(n)) = 1.)

13 1.5 Factorization 7 The next theorem gives a characterization of primes. Theorem 17. Let p > 1. Then p is a prime if and only if, for all integers b, c: p bc implies p b or p c. Proof. Suppose p is prime. Assume that p bc. If p b we are done. If p is not a divisor of b, then p and b have no common divisors > 1 and we can apply Proposition 9. Assume that p is not prime, but p = bc, for some b, c > 1. Then p divides the product bc, but it does not divide b or c. Example. Suppose a = bc, where a, b, c are natural numbers. If a is even, then so is at least one of b, c. It is one implication in the special case p = 2 of the theorem. This theorem has the following corollary. Corollary 18. If p is a prime and b 1,..., b s are integers such that p b 1 b 2 b s, then there is an index i {1,..., s} such that p b i. We leave the proof of the corollary to the reader Factorization We will show how integers are built out of primes. Theorem 19. Every positive integer a > 1 can be written as the product of finitely many primes: a = p 1 p s, where s is a positive integer and each p i is a prime. Up to the order of the factors, this factorization is unique. For a positive integer a we denote the number of times that the prime p occurs in its factorization by ord p (a). The factorization in primes of a can be written as a = p ordp(a). p prime Note that only a finite number of factors is distinct from 1. By definition a product that has the empty set as index set (the empty product) is 1. So, using this convention, we could have included this case a = 1 in the theorem. Proof. The proof is divided into two steps.

14 8 1 Arithmetic Existence We prove by induction on a that every positive integer can be written as a product of primes. The case a = 2 is trivial. So suppose that a is at least 3. If a is a prime then we are done. If a is not a prime then it has a divisor b such that 1 < b < a. According to the induction hypothesis b and a/b can both be written as a product of primes: b = p 1 p r, a/b = p r+1 p s. For a we have a = p 1 p r p r+1 p s. Uniqueness Here we also use induction. The case a = 2 is easy. Suppose that a > 2, and also suppose that uniqueness has been proven for the integers < a. If a = p 1 p r and a = q 1 q s are two ways of expressing a as a product of primes, then it follows that p 1 p 1 p r = q 1 q s. From Corollary 18 we may conclude that there exists an index k in the set {1,..., s} such that p 1 q k. But then we have p 1 = q k because q k is a prime. Now apply the induction hypothesis to the integer a/p 1 with the two expressions as products of primes a/p 1 = p 2 p r and a/p 1 = q 1 q k 1 q k+1 q s. These factorizations of a/p 1 are the same (up to the order of the factors) and therefore the two factorizations of a are the same. Application. If a is a square, then ord p(a) is even for each prime p. Using this observation it is not difficult to prove that 2 is not in Q. This means that there are no integers a, b such that (a/b) 2 = 2. For such a and b, we would have 2b 2 = a 2. Now ord 2(2b 2 ) is odd. But ord 2(a 2 ) is even. This is a contradiction. Therefore, the assumption that a and b with (a/b) 2 = 2 exist is false. Remark. There also exist arithmetic systems in which uniqueness of factorizations is not guaranteed. For example, in the system Z[ 5] of numbers of the form a + b 5 with a, b Z we can express 6 in two essentially different ways: 6 = 3 2 = (1 + 5) (1 5). The system Z[ 5] is an example of a ring, a structure we will encounter in Chapter 7. Here is an explicit description of the gcd and lcm in terms of prime factorizations. Theorem 20. If a and b are positive integers, then: gcd(a, b) = p prime pmin{ordp(a),ordp(b)}, lcm(a, b) = p prime pmax{ordp(a),ordp(b)}. In particular we have a b = gcd(a, b) lcm(a, b). Proof. We prove the first equality. The proof of the second is left to the reader. We certainly have min{ord p(a), ord p(b)} ord p(a) and min{ord p(a), ord p(b)} ord p(b). Hence the right-hand side of the equality is a common divisor of a and b. On the other hand, if ord p(ggd(a, b)) = r > 0 for some prime p, then p divides both a and b so that we can conclude that r ord p(a) and r ord p(b). Hence p prime pmin{ordp(a),ordp(b)} equals gcd(a, b). Example. Suppose 0 < p k m for some prime number p and integer k. Suppose k is maximal with this property. Then the binomial coefficient M = ( ) m p is not k divisible by p. Indeed, this binomial can be written as the quotient of m (m 1) (m p k + 1) by p k. Now for all 0 n p k we have ord p(m n) = min(k, ord p(n)) = ord p(p k n), and every factor p in the numerator is canceled by a factor p in the denominator.

15 1.6 Exercises Exercises 1. If c is a common multiple of a and b, then c is a multiple of lcm(a, b). Prove this. 2. For any positive integer n divide 10 3n by 10 n 1 and find the remainder. 3. Three cogwheels with 24, 15 and 16 cogs, respectively, touch as shown in the picture. Fig. 1. (a) What is the smallest positive number of times you have to turn the lefthand cogwheel before the right-hand cogwheel is back in its original position? (b) What is the smallest positive number of times you have to turn the lefthand cogwheel before all three wheels are back in their original position? 4. Prove that the square of an odd integer is again odd, where odd means not divisible by 2 or, equivently, leaving remainder 1 upon division by 2. Show that the remainder of division by 4 of the square of an odd integer is 1. Does the last statement hold if we replace 4 by 8? And by 16? 5. Prove each of the following statements. (a) If a b and b c then a c. (b) If a b and c d then ac bd. 6. Determine the gcd of each of the following pairs of numbers, and write the gcd as a linear combination of the given numbers: (a) 480, 175; (b) 5621, 219; (c) , Show that, for all positive integers x, y, z, gcd(zx, zy) = z gcd(x, y). 8. Prove: If a and b are integers, not both zero, and c = gcd(a, b), then c = min{xa + yb xa + yb > 0, x, y Z}. 9. Let a be a rational number such that both 18a and 25a are integers. Show that a itself is an integer. 10. Find all integers x and y such that 32x + 10y = Prove that there exist infinitely many primes of the form 4n For which positive integers n is n 2 1 prime? 13. Which integers of the form 13p + 1 (with p prime) are squares of integers? 14. Find all primes p and q such that 4p + 7q = pq. 15. Let a, b be distinct integers. (a) Show that a b a 2 b 2 and determine the quotient. (b) Show that a b a 3 b 3 and determine the quotient. (c) Prove that a b divides a n b n for all positive integers n. (d) Show that a + b a 2n+1 + b 2n+1 for each positive integer n. (e) Find the prime factorization of Prove that the cube root of 17 is not a rational number. 17. Find the factorization of

Today s Topics. Primes & Greatest Common Divisors

Today s Topics. Primes & Greatest Common Divisors Today s Topics Primes & Greatest Common Divisors Prime representations Important theorems about primality Greatest Common Divisors Least Common Multiples Euclid s algorithm Once and for all, what are prime

More information

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

CS 103X: Discrete Structures Homework Assignment 3 Solutions

CS 103X: Discrete Structures Homework Assignment 3 Solutions CS 103X: Discrete Structures Homework Assignment 3 s Exercise 1 (20 points). On well-ordering and induction: (a) Prove the induction principle from the well-ordering principle. (b) Prove the well-ordering

More information

The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors.

The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors. The Prime Numbers Before starting our study of primes, we record the following important lemma. Recall that integers a, b are said to be relatively prime if gcd(a, b) = 1. Lemma (Euclid s Lemma). If gcd(a,

More information

CHAPTER 5. Number Theory. 1. Integers and Division. Discussion

CHAPTER 5. Number Theory. 1. Integers and Division. Discussion CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a

More information

GREATEST COMMON DIVISOR

GREATEST COMMON DIVISOR DEFINITION: GREATEST COMMON DIVISOR The greatest common divisor (gcd) of a and b, denoted by (a, b), is the largest common divisor of integers a and b. THEOREM: If a and b are nonzero integers, then their

More information

Homework until Test #2

Homework until Test #2 MATH31: Number Theory Homework until Test # Philipp BRAUN Section 3.1 page 43, 1. It has been conjectured that there are infinitely many primes of the form n. Exhibit five such primes. Solution. Five such

More information

Kevin James. MTHSC 412 Section 2.4 Prime Factors and Greatest Comm

Kevin James. MTHSC 412 Section 2.4 Prime Factors and Greatest Comm MTHSC 412 Section 2.4 Prime Factors and Greatest Common Divisor Greatest Common Divisor Definition Suppose that a, b Z. Then we say that d Z is a greatest common divisor (gcd) of a and b if the following

More information

8 Divisibility and prime numbers

8 Divisibility and prime numbers 8 Divisibility and prime numbers 8.1 Divisibility In this short section we extend the concept of a multiple from the natural numbers to the integers. We also summarize several other terms that express

More information

MATH10040 Chapter 2: Prime and relatively prime numbers

MATH10040 Chapter 2: Prime and relatively prime numbers MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive

More information

8 Primes and Modular Arithmetic

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.

More information

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12 CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.

More information

11 Ideals. 11.1 Revisiting Z

11 Ideals. 11.1 Revisiting Z 11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(

More information

MATH 289 PROBLEM SET 4: NUMBER THEORY

MATH 289 PROBLEM SET 4: NUMBER THEORY MATH 289 PROBLEM SET 4: NUMBER THEORY 1. The greatest common divisor If d and n are integers, then we say that d divides n if and only if there exists an integer q such that n = qd. Notice that if d divides

More information

The last three chapters introduced three major proof techniques: direct,

The last three chapters introduced three major proof techniques: direct, CHAPTER 7 Proving Non-Conditional Statements The last three chapters introduced three major proof techniques: direct, contrapositive and contradiction. These three techniques are used to prove statements

More information

Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.

Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook. Elementary Number Theory and Methods of Proof CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 1 Number theory Properties: 2 Properties of integers (whole

More information

Number Theory. Proof. Suppose otherwise. Then there would be a finite number n of primes, which we may

Number Theory. Proof. Suppose otherwise. Then there would be a finite number n of primes, which we may Number Theory Divisibility and Primes Definition. If a and b are integers and there is some integer c such that a = b c, then we say that b divides a or is a factor or divisor of a and write b a. Definition

More information

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory

More information

Discrete Mathematics, Chapter 4: Number Theory and Cryptography

Discrete Mathematics, Chapter 4: Number Theory and Cryptography Discrete Mathematics, Chapter 4: Number Theory and Cryptography Richard Mayr University of Edinburgh, UK Richard Mayr (University of Edinburgh, UK) Discrete Mathematics. Chapter 4 1 / 35 Outline 1 Divisibility

More information

PYTHAGOREAN TRIPLES KEITH CONRAD

PYTHAGOREAN TRIPLES KEITH CONRAD 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

More information

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

More information

Intermediate Math Circles March 7, 2012 Linear Diophantine Equations II

Intermediate Math Circles March 7, 2012 Linear Diophantine Equations II Intermediate Math Circles March 7, 2012 Linear Diophantine Equations II Last week: How to find one solution to a linear Diophantine equation This week: How to find all solutions to a linear Diophantine

More information

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2. Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given

More information

Number Theory Hungarian Style. Cameron Byerley s interpretation of Csaba Szabó s lectures

Number Theory Hungarian Style. Cameron Byerley s interpretation of Csaba Szabó s lectures Number Theory Hungarian Style Cameron Byerley s interpretation of Csaba Szabó s lectures August 20, 2005 2 0.1 introduction Number theory is a beautiful subject and even cooler when you learn about it

More information

The Euclidean Algorithm

The Euclidean Algorithm The Euclidean Algorithm A METHOD FOR FINDING THE GREATEST COMMON DIVISOR FOR TWO LARGE NUMBERS To be successful using this method you have got to know how to divide. If this is something that you have

More information

Some Polynomial Theorems. John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom.

Some Polynomial Theorems. John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom. Some Polynomial Theorems by John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom.com This paper contains a collection of 31 theorems, lemmas,

More information

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5. PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

More information

Lecture 3: Finding integer solutions to systems of linear equations

Lecture 3: Finding integer solutions to systems of linear equations Lecture 3: Finding integer solutions to systems of linear equations Algorithmic Number Theory (Fall 2014) Rutgers University Swastik Kopparty Scribe: Abhishek Bhrushundi 1 Overview The goal of this lecture

More information

Number Theory: A Mathemythical Approach. Student Resources. Printed Version

Number Theory: A Mathemythical Approach. Student Resources. Printed Version Number Theory: A Mathemythical Approach Student Resources Printed Version ii Contents 1 Appendix 1 2 Hints to Problems 3 Chapter 1 Hints......................................... 3 Chapter 2 Hints.........................................

More information

Chapter 11 Number Theory

Chapter 11 Number Theory Chapter 11 Number Theory Number theory is one of the oldest branches of mathematics. For many years people who studied number theory delighted in its pure nature because there were few practical applications

More information

Section 4.2: The Division Algorithm and Greatest Common Divisors

Section 4.2: The Division Algorithm and Greatest Common Divisors Section 4.2: The Division Algorithm and Greatest Common Divisors The Division Algorithm The Division Algorithm is merely long division restated as an equation. For example, the division 29 r. 20 32 948

More information

Quotient Rings and Field Extensions

Quotient Rings and Field Extensions Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.

More information

Factoring Polynomials

Factoring Polynomials Factoring Polynomials Sue Geller June 19, 2006 Factoring polynomials over the rational numbers, real numbers, and complex numbers has long been a standard topic of high school algebra. With the advent

More information

Integer roots of quadratic and cubic polynomials with integer coefficients

Integer roots of quadratic and cubic polynomials with integer coefficients Integer roots of quadratic and cubic polynomials with integer coefficients Konstantine Zelator Mathematics, Computer Science and Statistics 212 Ben Franklin Hall Bloomsburg University 400 East Second Street

More information

Primality - Factorization

Primality - Factorization Primality - Factorization Christophe Ritzenthaler November 9, 2009 1 Prime and factorization Definition 1.1. An integer p > 1 is called a prime number (nombre premier) if it has only 1 and p as divisors.

More information

Handout NUMBER THEORY

Handout NUMBER THEORY Handout of NUMBER THEORY by Kus Prihantoso Krisnawan MATHEMATICS DEPARTMENT FACULTY OF MATHEMATICS AND NATURAL SCIENCES YOGYAKARTA STATE UNIVERSITY 2012 Contents Contents i 1 Some Preliminary Considerations

More information

PROBLEM SET 6: POLYNOMIALS

PROBLEM SET 6: POLYNOMIALS PROBLEM SET 6: POLYNOMIALS 1. introduction In this problem set we will consider polynomials with coefficients in K, where K is the real numbers R, the complex numbers C, the rational numbers Q or any other

More information

SUM OF TWO SQUARES JAHNAVI BHASKAR

SUM OF TWO SQUARES JAHNAVI BHASKAR SUM OF TWO SQUARES JAHNAVI BHASKAR Abstract. I will investigate which numbers can be written as the sum of two squares and in how many ways, providing enough basic number theory so even the unacquainted

More information

Applications of Fermat s Little Theorem and Congruences

Applications of Fermat s Little Theorem and Congruences Applications of Fermat s Little Theorem and Congruences Definition: Let m be a positive integer. Then integers a and b are congruent modulo m, denoted by a b mod m, if m (a b). Example: 3 1 mod 2, 6 4

More information

How To Know If A Domain Is Unique In An Octempo (Euclidean) Or Not (Ecl)

How To Know If A Domain Is Unique In An Octempo (Euclidean) Or Not (Ecl) Subsets of Euclidean domains possessing a unique division algorithm Andrew D. Lewis 2009/03/16 Abstract Subsets of a Euclidean domain are characterised with the following objectives: (1) ensuring uniqueness

More information

Continued Fractions. Darren C. Collins

Continued Fractions. Darren C. Collins Continued Fractions Darren C Collins Abstract In this paper, we discuss continued fractions First, we discuss the definition and notation Second, we discuss the development of the subject throughout history

More information

Breaking The Code. Ryan Lowe. Ryan Lowe is currently a Ball State senior with a double major in Computer Science and Mathematics and

Breaking The Code. Ryan Lowe. Ryan Lowe is currently a Ball State senior with a double major in Computer Science and Mathematics and Breaking The Code Ryan Lowe Ryan Lowe is currently a Ball State senior with a double major in Computer Science and Mathematics and a minor in Applied Physics. As a sophomore, he took an independent study

More information

k, then n = p2α 1 1 pα k

k, then n = p2α 1 1 pα k Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square

More information

Copy in your notebook: Add an example of each term with the symbols used in algebra 2 if there are any.

Copy in your notebook: Add an example of each term with the symbols used in algebra 2 if there are any. Algebra 2 - Chapter Prerequisites Vocabulary Copy in your notebook: Add an example of each term with the symbols used in algebra 2 if there are any. P1 p. 1 1. counting(natural) numbers - {1,2,3,4,...}

More information

Unique Factorization

Unique Factorization Unique Factorization Waffle Mathcamp 2010 Throughout these notes, all rings will be assumed to be commutative. 1 Factorization in domains: definitions and examples In this class, we will study the phenomenon

More information

The Division Algorithm for Polynomials Handout Monday March 5, 2012

The Division Algorithm for Polynomials Handout Monday March 5, 2012 The Division Algorithm for Polynomials Handout Monday March 5, 0 Let F be a field (such as R, Q, C, or F p for some prime p. This will allow us to divide by any nonzero scalar. (For some of the following,

More information

DIVISIBILITY AND GREATEST COMMON DIVISORS

DIVISIBILITY AND GREATEST COMMON DIVISORS DIVISIBILITY AND GREATEST COMMON DIVISORS KEITH CONRAD 1 Introduction We will begin with a review of divisibility among integers, mostly to set some notation and to indicate its properties Then we will

More information

9. POLYNOMIALS. Example 1: The expression a(x) = x 3 4x 2 + 7x 11 is a polynomial in x. The coefficients of a(x) are the numbers 1, 4, 7, 11.

9. POLYNOMIALS. Example 1: The expression a(x) = x 3 4x 2 + 7x 11 is a polynomial in x. The coefficients of a(x) are the numbers 1, 4, 7, 11. 9. POLYNOMIALS 9.1. Definition of a Polynomial A polynomial is an expression of the form: a(x) = a n x n + a n-1 x n-1 +... + a 1 x + a 0. The symbol x is called an indeterminate and simply plays the role

More information

Mathematical Induction

Mathematical Induction Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,

More information

RSA and Primality Testing

RSA and Primality Testing and Primality Testing Joan Boyar, IMADA, University of Southern Denmark Studieretningsprojekter 2010 1 / 81 Correctness of cryptography cryptography Introduction to number theory Correctness of with 2

More information

Notes on Factoring. MA 206 Kurt Bryan

Notes on Factoring. MA 206 Kurt Bryan The General Approach Notes on Factoring MA 26 Kurt Bryan Suppose I hand you n, a 2 digit integer and tell you that n is composite, with smallest prime factor around 5 digits. Finding a nontrivial factor

More information

z 0 and y even had the form

z 0 and y even had the form Gaussian Integers The concepts of divisibility, primality and factoring are actually more general than the discussion so far. For the moment, we have been working in the integers, which we denote by Z

More information

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us

More information

Lectures on Number Theory. Lars-Åke Lindahl

Lectures on Number Theory. Lars-Åke Lindahl Lectures on Number Theory Lars-Åke Lindahl 2002 Contents 1 Divisibility 1 2 Prime Numbers 7 3 The Linear Diophantine Equation ax+by=c 12 4 Congruences 15 5 Linear Congruences 19 6 The Chinese Remainder

More information

Math Review. for the Quantitative Reasoning Measure of the GRE revised General Test

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

More information

SOLVING POLYNOMIAL EQUATIONS

SOLVING POLYNOMIAL EQUATIONS C SOLVING POLYNOMIAL EQUATIONS We will assume in this appendix that you know how to divide polynomials using long division and synthetic division. If you need to review those techniques, refer to an algebra

More information

Elementary Number Theory

Elementary Number Theory Elementary Number Theory A revision by Jim Hefferon, St Michael s College, 2003-Dec of notes by W. Edwin Clark, University of South Florida, 2002-Dec L A TEX source compiled on January 5, 2004 by Jim Hefferon,

More information

3. Mathematical Induction

3. Mathematical Induction 3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)

More information

Math Workshop October 2010 Fractions and Repeating Decimals

Math Workshop October 2010 Fractions and Repeating Decimals Math Workshop October 2010 Fractions and Repeating Decimals This evening we will investigate the patterns that arise when converting fractions to decimals. As an example of what we will be looking at,

More information

Basic Algorithms In Computer Algebra

Basic Algorithms In Computer Algebra Basic Algorithms In Computer Algebra Kaiserslautern SS 2011 Prof. Dr. Wolfram Decker 2. Mai 2011 References Cohen, H.: A Course in Computational Algebraic Number Theory. Springer, 1993. Cox, D.; Little,

More information

it is easy to see that α = a

it is easy to see that α = a 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 UF. Therefore

More information

MATH 537 (Number Theory) FALL 2016 TENTATIVE SYLLABUS

MATH 537 (Number Theory) FALL 2016 TENTATIVE SYLLABUS MATH 537 (Number Theory) FALL 2016 TENTATIVE SYLLABUS Class Meetings: MW 2:00-3:15 pm in Physics 144, September 7 to December 14 [Thanksgiving break November 23 27; final exam December 21] Instructor:

More information

SYSTEMS OF PYTHAGOREAN TRIPLES. Acknowledgements. I would like to thank Professor Laura Schueller for advising and guiding me

SYSTEMS OF PYTHAGOREAN TRIPLES. Acknowledgements. I would like to thank Professor Laura Schueller for advising and guiding me SYSTEMS OF PYTHAGOREAN TRIPLES CHRISTOPHER TOBIN-CAMPBELL Abstract. This paper explores systems of Pythagorean triples. It describes the generating formulas for primitive Pythagorean triples, determines

More information

Real Roots of Univariate Polynomials with Real Coefficients

Real Roots of Univariate Polynomials with Real Coefficients Real Roots of Univariate Polynomials with Real Coefficients mostly written by Christina Hewitt March 22, 2012 1 Introduction Polynomial equations are used throughout mathematics. When solving polynomials

More information

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. 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

More information

MATH 22. THE FUNDAMENTAL THEOREM of ARITHMETIC. Lecture R: 10/30/2003

MATH 22. THE FUNDAMENTAL THEOREM of ARITHMETIC. Lecture R: 10/30/2003 MATH 22 Lecture R: 10/30/2003 THE FUNDAMENTAL THEOREM of ARITHMETIC You must remember this, A kiss is still a kiss, A sigh is just a sigh; The fundamental things apply, As time goes by. Herman Hupfeld

More information

On the generation of elliptic curves with 16 rational torsion points by Pythagorean triples

On the generation of elliptic curves with 16 rational torsion points by Pythagorean triples On the generation of elliptic curves with 16 rational torsion points by Pythagorean triples Brian Hilley Boston College MT695 Honors Seminar March 3, 2006 1 Introduction 1.1 Mazur s Theorem Let C be a

More information

5544 = 2 2772 = 2 2 1386 = 2 2 2 693. Now we have to find a divisor of 693. We can try 3, and 693 = 3 231,and we keep dividing by 3 to get: 1

5544 = 2 2772 = 2 2 1386 = 2 2 2 693. Now we have to find a divisor of 693. We can try 3, and 693 = 3 231,and we keep dividing by 3 to get: 1 MATH 13150: Freshman Seminar Unit 8 1. Prime numbers 1.1. Primes. A number bigger than 1 is called prime if its only divisors are 1 and itself. For example, 3 is prime because the only numbers dividing

More information

Winter Camp 2011 Polynomials Alexander Remorov. Polynomials. Alexander Remorov alexanderrem@gmail.com

Winter Camp 2011 Polynomials Alexander Remorov. Polynomials. Alexander Remorov alexanderrem@gmail.com Polynomials Alexander Remorov alexanderrem@gmail.com Warm-up Problem 1: Let f(x) be a quadratic polynomial. Prove that there exist quadratic polynomials g(x) and h(x) such that f(x)f(x + 1) = g(h(x)).

More information

= 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that

= 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Credit will not be given for answers (even correct ones) without

More information

CONTINUED FRACTIONS AND FACTORING. Niels Lauritzen

CONTINUED FRACTIONS AND FACTORING. Niels Lauritzen CONTINUED FRACTIONS AND FACTORING Niels Lauritzen ii NIELS LAURITZEN DEPARTMENT OF MATHEMATICAL SCIENCES UNIVERSITY OF AARHUS, DENMARK EMAIL: niels@imf.au.dk URL: http://home.imf.au.dk/niels/ Contents

More information

Grade 6 Math Circles March 10/11, 2015 Prime Time Solutions

Grade 6 Math Circles March 10/11, 2015 Prime Time Solutions Faculty of Mathematics Waterloo, Ontario N2L 3G1 Centre for Education in Mathematics and Computing Lights, Camera, Primes! Grade 6 Math Circles March 10/11, 2015 Prime Time Solutions Today, we re going

More information

THE DIMENSION OF A VECTOR SPACE

THE DIMENSION OF A VECTOR SPACE THE DIMENSION OF A VECTOR SPACE KEITH CONRAD This handout is a supplementary discussion leading up to the definition of dimension and some of its basic properties. Let V be a vector space over a field

More information

6.2 Permutations continued

6.2 Permutations continued 6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of

More information

DigitalCommons@University of Nebraska - Lincoln

DigitalCommons@University of Nebraska - Lincoln University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln MAT Exam Expository Papers Math in the Middle Institute Partnership 7-1-007 Pythagorean Triples Diane Swartzlander University

More information

FACTORING IN QUADRATIC FIELDS. 1. Introduction. This is called a quadratic field and it has degree 2 over Q. Similarly, set

FACTORING IN QUADRATIC FIELDS. 1. Introduction. This is called a quadratic field and it has degree 2 over Q. Similarly, set FACTORING IN QUADRATIC FIELDS KEITH CONRAD For a squarefree integer d other than 1, let 1. Introduction K = Q[ d] = {x + y d : x, y Q}. This is called a quadratic field and it has degree 2 over Q. Similarly,

More information

Math 319 Problem Set #3 Solution 21 February 2002

Math 319 Problem Set #3 Solution 21 February 2002 Math 319 Problem Set #3 Solution 21 February 2002 1. ( 2.1, problem 15) Find integers a 1, a 2, a 3, a 4, a 5 such that every integer x satisfies at least one of the congruences x a 1 (mod 2), x a 2 (mod

More information

The Chinese Remainder Theorem

The Chinese Remainder Theorem The Chinese Remainder Theorem Evan Chen evanchen@mit.edu February 3, 2015 The Chinese Remainder Theorem is a theorem only in that it is useful and requires proof. When you ask a capable 15-year-old why

More information

Lecture 13 - Basic Number Theory.

Lecture 13 - Basic Number Theory. Lecture 13 - Basic Number Theory. Boaz Barak March 22, 2010 Divisibility and primes Unless mentioned otherwise throughout this lecture all numbers are non-negative integers. We say that A divides B, denoted

More information

POLYNOMIAL FUNCTIONS

POLYNOMIAL FUNCTIONS POLYNOMIAL FUNCTIONS Polynomial Division.. 314 The Rational Zero Test.....317 Descarte s Rule of Signs... 319 The Remainder Theorem.....31 Finding all Zeros of a Polynomial Function.......33 Writing a

More information

JUST THE MATHS UNIT NUMBER 1.8. ALGEBRA 8 (Polynomials) A.J.Hobson

JUST THE MATHS UNIT NUMBER 1.8. ALGEBRA 8 (Polynomials) A.J.Hobson JUST THE MATHS UNIT NUMBER 1.8 ALGEBRA 8 (Polynomials) by A.J.Hobson 1.8.1 The factor theorem 1.8.2 Application to quadratic and cubic expressions 1.8.3 Cubic equations 1.8.4 Long division of polynomials

More information

Notes on Determinant

Notes on Determinant ENGG2012B Advanced Engineering Mathematics Notes on Determinant Lecturer: Kenneth Shum Lecture 9-18/02/2013 The determinant of a system of linear equations determines whether the solution is unique, without

More information

The Fundamental Theorem of Arithmetic

The Fundamental Theorem of Arithmetic The Fundamental Theorem of Arithmetic 1 Introduction: Why this theorem? Why this proof? One of the purposes of this course 1 is to train you in the methods mathematicians use to prove mathematical statements,

More information

Stupid Divisibility Tricks

Stupid Divisibility Tricks Stupid Divisibility Tricks 101 Ways to Stupefy Your Friends Appeared in Math Horizons November, 2006 Marc Renault Shippensburg University Mathematics Department 1871 Old Main Road Shippensburg, PA 17013

More information

CONTENTS 1. Peter Kahn. Spring 2007

CONTENTS 1. Peter Kahn. Spring 2007 CONTENTS 1 MATH 304: CONSTRUCTING THE REAL NUMBERS Peter Kahn Spring 2007 Contents 2 The Integers 1 2.1 The basic construction.......................... 1 2.2 Adding integers..............................

More information

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization

More information

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).

More information

The Factor Theorem and a corollary of the Fundamental Theorem of Algebra

The Factor Theorem and a corollary of the Fundamental Theorem of Algebra Math 421 Fall 2010 The Factor Theorem and a corollary of the Fundamental Theorem of Algebra 27 August 2010 Copyright 2006 2010 by Murray Eisenberg. All rights reserved. Prerequisites Mathematica Aside

More information

Theorem3.1.1 Thedivisionalgorithm;theorem2.2.1insection2.2 If m, n Z and n is a positive

Theorem3.1.1 Thedivisionalgorithm;theorem2.2.1insection2.2 If m, n Z and n is a positive Chapter 3 Number Theory 159 3.1 Prime Numbers Prime numbers serve as the basic building blocs in the multiplicative structure of the integers. As you may recall, an integer n greater than one is prime

More information

The Method of Partial Fractions Math 121 Calculus II Spring 2015

The Method of Partial Fractions Math 121 Calculus II Spring 2015 Rational functions. as The Method of Partial Fractions Math 11 Calculus II Spring 015 Recall that a rational function is a quotient of two polynomials such f(x) g(x) = 3x5 + x 3 + 16x x 60. The method

More information

God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886)

God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886) Chapter 2 Numbers God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886) God created the integers and the rest is the work

More information

GCDs and Relatively Prime Numbers! CSCI 2824, Fall 2014!

GCDs and Relatively Prime Numbers! CSCI 2824, Fall 2014! GCDs and Relatively Prime Numbers! CSCI 2824, Fall 2014!!! Challenge Problem 2 (Mastermind) due Fri. 9/26 Find a fourth guess whose scoring will allow you to determine the secret code (repetitions are

More information

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

More information

CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs

CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce

More information

17 Greatest Common Factors and Least Common Multiples

17 Greatest Common Factors and Least Common Multiples 17 Greatest Common Factors and Least Common Multiples Consider the following concrete problem: An architect is designing an elegant display room for art museum. One wall is to be covered with large square

More information

V55.0106 Quantitative Reasoning: Computers, Number Theory and Cryptography

V55.0106 Quantitative Reasoning: Computers, Number Theory and Cryptography V55.0106 Quantitative Reasoning: Computers, Number Theory and Cryptography 3 Congruence Congruences are an important and useful tool for the study of divisibility. As we shall see, they are also critical

More information

Factoring & Primality

Factoring & Primality Factoring & Primality Lecturer: Dimitris Papadopoulos In this lecture we will discuss the problem of integer factorization and primality testing, two problems that have been the focus of a great amount

More information

Settling a Question about Pythagorean Triples

Settling a Question about Pythagorean Triples Settling a Question about Pythagorean Triples TOM VERHOEFF Department of Mathematics and Computing Science Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, The Netherlands E-Mail address:

More information

Chapter 4. Polynomial and Rational Functions. 4.1 Polynomial Functions and Their Graphs

Chapter 4. Polynomial and Rational Functions. 4.1 Polynomial Functions and Their Graphs Chapter 4. Polynomial and Rational Functions 4.1 Polynomial Functions and Their Graphs A polynomial function of degree n is a function of the form P = a n n + a n 1 n 1 + + a 2 2 + a 1 + a 0 Where a s

More information

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS John A. Beachy Northern Illinois University 2014 ii J.A.Beachy This is a supplement to Abstract Algebra, Third Edition by John A. Beachy and William D. Blair

More information