Proposed by Jean-Marie De Koninck, Université Laval, Québec, Canada. (a) Let φ denote the Euler φ function, and let γ(n) = p n

Size: px
Start display at page:

Download "Proposed by Jean-Marie De Koninck, Université Laval, Québec, Canada. (a) Let φ denote the Euler φ function, and let γ(n) = p n"

Transcription

1 Proposed by Jean-Marie De Koninck, Université aval, Québec, Canada. (a) et φ denote the Euler φ function, and let γ(n) = p n p, with γ(1) = 1. Prove that there are exactly six positive integers such that φ(n) = (γ(n)) 2. (b)* et σ(n) denote the sum of divisors of n. Prove or disprove that the only solutions to σ(n) = (γ(n)) 2 are n = 1 and n = Solution: The first result will follow from a more general theorem, which will be proved. This theorem includes an algorithm whose output proves (a). There will also be an outline of a possible resolution of (b); some partial results will be presented. Theorem. For any integer k > 0, there are a finite number of integers n such that φ(n) = γ(n) k. Furthermore, there is a sophisticated algorithm to find all such n. Proof of the theorem: Write γ = γ(n) and φ = φ(n), and suppose γ k = φ. Write n as a product of prime numbers: n = p αi i, so that γ = p i and φ = (p i 1)p αi 1 i, where p 1 < p 2 < < p, and α i > 0, for all applicable i. The finiteness result will follow after three claims are proven: (1) α i k + 1, for all i = 1, 2,...,. If φ = γ k, then equating the above formulas for γ and φ implies that (p i 1) = φ p 1 αi i = γ k p 1 αi i = p k+1 αi i. (E1) Since the left-hand side is an integer, the right-hand side must also be one. Hence k + 1 α i 0, which proves (1). (2) k + 1. First, p 1 = 2; this can be shown with (E1): if n is odd, then the left-hand side of (E1) is even, and the right-hand side is odd. Now we look for the highest power of 2 which divides into both sides. That power is at least on the left-hand side, and on the right-hand side it is k + 1 α 1 k + 1. This proves (2). (3) p Q k () Q k (k + 1), where Q k (h) is the function defined by Q k (h) = { 2, if i = 1; 1 + Q k (1) k Q k (2) k Q k (i 1) k, otherwise. The second inequality in the statement of (3) follows because Q k is an increasing function. To prove the first inequality is true, we will show R(i) is true for j =, where R(i) denotes the proposition For all 1 i j, p i Q k (h), and there exist j integers β 1, β 2,..., β j between 0 and k + 1 such that p β1 1 pβ2 2 pβj j p k+1 αj+1 j+2 p k+1 α = (p i 1). (E2) i=j+1 This will be proven by induction on j. The proposition R(1) is true because p 1 = 2, and the equality (E2) is the equality (E1) above when j = 1. Now suppose R(j) is true, and consider the prime factors of p j+1 1. Since p j+1 1 is strictly less than p j+1,..., p, the only possible prime factors of p j+1 1 are among p 1, p 2,..., p j. 1

2 (Otherwise some prime divides evenly into the right-hand side of (E2) but not the left-hand side.) So we may write p j+1 1 = p δ1 1 pδ2 2 pδj j, for some δ 1, δ 2,..., δ j. The highest power of p i that divides evenly into the left-hand side of (E2) is β 1 (if i j), so 0 δ i β i, for all i j. Thus p j+1 = 1 + p δ1 1 pδ2 2 pδj j p β1 1 pβ2 2 pβj j To prove (E2) for j + 1, note that i=j+2 p k+1 1 p k+1 2 p k+1 j 1 + Q k (1) k Q k (2) k Q k (i) k = Q k (j + 1). (p i 1) = i=j+1 (p i 1) p j+1 1 = pβ1 1 pβ2 2 pβj j p k+1 αj+1 j+2 p k+1 α p δ1 1 pδ2 2 pδj j = p β1 δ1 1 p β2 δ2 2 p βj δj j p k+1 αj+1 j+2 p k+1 α, so R(j + 1) is true, if R(j) is. This proves claim (3). Putting claims (1), (2), and (3) together, we get n = p αi i p k+1 Q k (k + 1) k+1 [Q k (k + 1) k+1 ] [Q k (k + 1)] (k+1)2, which shows that there are only a finite number of integers n such that φ = γ k. Now for the algorithm. A non-sophisticated algorithm exists to determine all values of n such that φ = γ k, namely the one which checks all integers between 1 and [Q k (k +1)] (k+1)2. A more sophisticated one exists, which does not require (nearly) as much time. This algorithm proceeds along the line of the proof, and proceeds in two phases. Quantities in brackets should be read as arrays (ordered lists). (I) Put (j, 1, [k + 1], [2]) on a stack (a queue also works), for all j between 1 and k + 1. (II) While there is an item (, j, [β 1, β 2,..., β j ], [p 1, p 2,... p j ]) on the stack, do the following: If j =, then output the factorization p β1 1 pβ2 2 pβj j (as a value of n where φ(n) = γ(n) k ). Otherwise, find all sequences [δ 1, δ 2,..., δ j ] such that (a) β i 1 δ i 0, for i = 1, 2,..., j; and (b) P = 1 + p δ1 1 pδ2 2 pδj j is prime and greater than p j ; and put the item (, j + 1, [β 1 δ 1, β 2 δ 2,..., β j δ j, k + 1], [p 1, p 2,..., p j, P ]) on the stack. Note that the item (, j, [β 1, β 2,..., β j ], [p 1, p 2,, p j ]) being on the stack means that (E2) is true. This proves the theorem. Using the algorithm given in the theorem for k = 2 produces the numbers 1 (where = 0), 2 3 ( = 1), and ( = 2), and and ( = 3). (The bound given by the theorem (101 9 ) is many orders of magnitude larger than the actual upper bound (43,434), but this is typical of finiteness results.) 2

3 Turning to part (b), a similar approach was attempted, and some partial results have been obtained. Using the prime factorization of n, we have σ = σ(n) = S 1 S 2 S, where S i = 1 + p i + p 2 i + + pαi i. The goal then is to find the prime factorization of S i, for all i, assuming that σn = γ(n) 2. This means that the prime factors of S i are among p 1, p 2,... p. Also, no cube of p j divides into S i, so this suggests a combinatorial ( finite ) approach may also work here. Partial results are given below as a list of lemmas. emma 1. Suppose σ = γ 2, and n > 1. Then: (a) There is an I such that α I = 1; (b) p 1 = 2; (c) p i S i ; (d) p j S I, if j > I; (e) If p 1 S i, then α i is even, for any i > 1; (f) If p 1 S i, then α i 1 (mod 4), for any i; (g) If i = max{j : p 1 S j }, then α i = 1. (h) S i 1, and if S i = p j, then p i < p j (and hence i < j); (i) If S j = p 2 i and i < j, then (i, j) = (1, 2), p 2 = 3, and α 2 = 1. Proof: If α i 2 for all i, then S i 1 + p i + p 2 i > p2 i, and thus σ = S i > p 2 i = γ 2. This proves (a). To prove (b), suppose that every p i is odd. Part (a) implies that p βi i = S I = 1 + p I, for some nonnegative integers β 1,..., β. But the left-hand side is the product of odd numbers and is hence odd; the right-hand side is even. This contradiction proves (b). Part (c) follows because S i 1 (mod p i ) (since p j i 0 (mod p i), for all i and j). Part (d) follows because otherwise p j p βi i = S I = 1 + p I < 1 + (p j 1) = p j, where β i are nonnegative integers and β j 1. To prove (e), suppose p 1 S i. Then S 1 is odd, and since i > 1, p i > 2, and p i is odd as well. Thus, 1 S i 1 + p i + p 2 i + + p αi i α i + 1 (mod 2), which proves (e). A similar equality shows that if p 1 S i, then α i is odd, which proves part of (f). Now, if α i = 4m + 3 for some integer m, then ( ) S i = 1 + p i + p 2 i + + p 4m+3 i = (1 + p i ) 1 + p 2 i + p 4 i + p 2(2m+1) i, which implies that p 2 1 S i (because 1+p 2 i +p4 i +p2(2m+1) i is even). Thus, for every j i, p 1 S j, and hence α j 2, by (e). By hypothesis, α i 3; but then these inequalities violate (a). This proves (f). If (g) does not hold, then α i 5, by (f). If p 2 1 S i, then p 4 k > p2 k p 1, if k = i; S k > p k, if k = 1; p 2 k, if k 1, i, since α k is even. 3

4 Multiplying these inequalities together for all k results in the inequality σ > γ 2. If p 1 S j, where j < i, then p 5 k > p2 k p 1 p j, if k = i; p S k > k, if k = j; p 1, if k = 1;, if k 1, i, j. p 2 k Once again, multiplying these inequalties together yields σ > γ 2. This proves (g). If (h) does not hold, then 1 + p j < 1 + p i = S i = p j. Finally, we show (i): Note that p αj j < S j = p 2 i < p2 j, so 1 α j < 2. Hence α j = 1, which implies that p 1 S j by (e). Hence 1 + p j = S j = p 2 1 = 4, or p j = 3. But then we must have j = 2 as well, since p 3 5. Now for the constructive results: emma 2. If = 1 or 2, then σ(n) γ(n) 2 (where and α come from the prime factorization of n). Proof: If = 1, then emma 1(a) and (b) imply that n = 2 1, but σ(2) = If = 2, then emma 1(c) implies that p 2 1 = S 2 and p 2 2 = S 1. emma 1(g) implies that α 2 = 1, so 4 = p 2 1 = S 2 = 1 + p 2, so p 2 = 3. This implies that 9 = p 2 2 = S 1 = 1 + p p α1 1, but there is no integer α 1 which makes this equality true. Hence there are no values of n where σ = γ 2, if = 2. emma 3. If = 3 and σ = γ 2, then n = 1782 = Proof: The general method of proof will be determining which of the prime factors p 1, p 2, and p 3 divide evenly into each of S 1, S 2, and S 3 and whether p 2 1, p 2 2, or p 2 3 divides evenly into any of them. There are only a finite number of ways for this to happen, since there are only six prime factors and three values of S i (p 2 1p 2 2p 2 3 = S 1 S 2 S 3 ) one possibility is that S 1 = p 2, S 2 = p 2 3, and S 3 = p 2 1p 2. Then some bounds will be determined for α i from these equations; it turns out that certain exponents cannot be too large without a contradiction occuring in the example given, it is shown that α 2 is 2 or 4, because the assumption that α 2 6 lead to contradictions. Finally, the information about some α i will be used to find out further information about the values of the other S i s, and the primes p i ; most of the time, this new information will lead to a quick contradiction. In the example given, it is shown if α 2 = 4, then p 2 = 3, α 1 = 1, S 2 = 121, p 3 = 11, and n = 1782 (which are deduced in this order); if α 2 = 2, then a contradiction results (p 3 must be 3/5 or 0, neither of which is a prime number). It is likely that using this technique, the conjecture may be resolved for values of n with > 3. Now suppose σ = γ 2. Note that p 1 S 3, because otherwise, S 3 = p 2 or S 3 = p 2 2, which do not happen, according to emma 1(h) and (i). Also because of emma 1(h) and (i), S 3 p 1, p 2 1, so S 3 = p 2 1p 2 2 (Case I), S 3 = p 1 p 2 2 (Case II), S 3 = p 1 p 2 (Case III), or S 3 = p 2 1p 2 (Case IV). Furthermore, α 3 = 1, by emma 1(g). We eliminate Case I first; if S 3 = p 2 1p 2 2, p 3 = S 3 1 = p 2 1p = (p 1 p 2 1)(p 1 p 2 + 1), which is a non-trivial factorization of p 3, as p 1 p > 1. Now for Case II. Since p 2 1 S 3, p 1 S 2 ; otherwise p 1 S 1, contradicting emma 1(c). Since S 2 p 1, p 3 S 2 as well, because of emma 1(h). If p 2 3 S 2, then, in order for σ to equal γ 2, we must have S 1 = 1, which contradicts emma 1(h). Thus p 3 S 1, and we have S 1 = p 3 and S 2 = p 1 p 3 ; in particular, p 3 = S 1 = α1 = 2 α1+1 1, and so 2p 2 2 = p 1 p 2 2 = S 3 = 1 + p 3 = 2 α1+1, but then p 2 divides evenly into the left-hand side and not into the right-hand side. This takes care of Case II. 4

5 Now consider Case III (S 3 = p 2 1p 2, noting that p 3 = 4p 2 1). Since S 1 S 2 S 3 = p 2 1p 2 2p 2 3 and p 2 S 2, p 2 S 1. Similarly, p 3 S 2. Thus we either have S 2 = p 2 3 and S 1 = p 2 (Case IIIA) or S 2 = p 3 and S 1 = p 2 p 3 (Case IIIB). For Case IIIA: S 2 = p 2 3 = (4p 2 1) 2, and α 2 is even. If α 2 4, then (4p 2 1) 2 = p 2 3 = S 2 p 4 2 [> 0], so 4p 2 1 p 2 2, which implies that p 2 = 3, and consequently p 3 = S 3 1 = 4p 2 1 = 11. We also have α 2 = 4, because if α 2 6, Since 121 = 11 2 = (4p 2 1) 2 = S 2 > p 6 2 = 3 6 = α1+1 1 = 1 + p p α1 1 = S 1 = p 2 = 3, α 1 = 1. Thus n = = If α 2 = 2, then (4p 2 1) 2 = p 2 3 = S 2 = 1 + p 2 + p 2 2, which implies that p 2 = 3/5 or 0, neither of which is prime. This settles Case IIIA. For Case IIIB: S 2 = p 3 has no p 1 factors, so by emma 1(e), α 2 is even and at least two. Hence 1 + p 2 + p 2 2 S 2 = p 3 = 4p 2 1, which implies that p 2 2 3p , which only occurs if 1 p 2 2. Since p 2 > p 1 = 2, this is a contradiction. This takes care of Case III. Now we turn to Case IV, where S 3 = p 1 p 2 and hence p 3 = 2p 2 1. Because there needs to be another p 1 factor and another p 2 factor in S 1 S 2 S 3, p 1 S 2 and p 2 S 1. Since p 3 S 3, we must have S 2 = p 1 (which cannot occur, by emma 1(h)), S 2 = p 1 p 3 (Case IVA), or S 2 = p 1 p 2 3 (Case IVB). We consider Case IVA: If α 2 5, then 2(2p 2 1) = p 1 p 3 = S 2 > 1 + p p 5 2 > p , or 0 > p 2 2 4p = (p 2 2) 2. Thus, α 2 5, and so by emma 1(f), α 2 = 1, and 1 + p 2 = S 2 = 2(2p 2 1) = 4p 2 2, which implies that p 2 = 1. This is not possible, either. Finally, consider Case IVB. If α 2 5, then 8p 2 2 8p = 2(2p 2 1) 2 = p 1 p 2 3 = S 2 > 1 + p 2 + p 5 2 > p 3 2 = 2 + 2p 3 2, which implies that 8p 2 2 8p 2 > 2p 3 2, or Thus α 2 = 1 by emma 1(f), and so 0 > 2p 2 8p = 2(p 2 2) p 2 = S 2 = p 1 p 2 3 = 2(p 2 1) 2 = 8p 2 2 8p 2 + 2, or 0 = 8p 2 2 9p = (8p 2 1)(p 2 1), which implies that p 2 is 1 or 1/8; but neither of these numbers is prime. This settles all possible cases, and proves emma 3. 5

Sums of Squares. Bianca Homberg and Minna Liu

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

More information

Climbing an Infinite Ladder

Climbing an Infinite Ladder Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite

More information

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

MATH 215 Final. M4. For all a, b in Z, a b = b a. MATH 215 Final We will assume the existence of a set Z, whose elements are called integers, along with a well-defined binary operation + on Z (called addition), a second well-defined binary operation on

More information

Climbing an Infinite Ladder

Climbing an Infinite Ladder Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite

More information

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)

More information

Proof by Contradiction

Proof by Contradiction Proof by Contradiction MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Proof by Contradiction Fall 2014 1 / 12 Outline 1 Proving Statements with Contradiction 2 Proving

More information

Math 324, Fall 2011 Assignment 6 Solutions

Math 324, Fall 2011 Assignment 6 Solutions Math 324, Fall 2011 Assignment 6 Solutions Exercise 1. (a) Find all positive integers n such that φ(n) = 12. (b) Show that there is no positive integer n such that φ(n) = 14. (c) Let be a positive integer.

More information

Problem Set 5 Solutions

Problem Set 5 Solutions Problem Set 5 Solutions Section 4.. Use mathematical induction to prove each of the following: a) For each natural number n with n, n > + n. Let P n) be the statement n > + n. The base case, P ), is true

More information

On Integers for Which the Sum of Divisors is the Square of the Squarefree Core

On Integers for Which the Sum of Divisors is the Square of the Squarefree Core 1 3 47 6 3 11 Journal of Integer Sequences, Vol. 15 (01), Article 1.7.5 On Integers for Which the Sum of Divisors is the Square of the Squarefree Core Kevin A. Broughan Department of Mathematics University

More information

We want to show P (n) is true for all integers

We want to show P (n) is true for all integers Generalized Induction Proof: Let P (n) be the proposition 1 + 2 + 2 2 + + 2 n = 2 n+1 1. We want to show P (n) is true for all integers n 0. Generalized Induction Example: Use generalized induction to

More information

Proof of Infinite Number of Triplet Primes. Stephen Marshall. 28 May Abstract

Proof of Infinite Number of Triplet Primes. Stephen Marshall. 28 May Abstract Proof of Infinite Number of Triplet Primes Stephen Marshall 28 May 2014 Abstract This paper presents a complete and exhaustive proof that an Infinite Number of Triplet Primes exist. The approach to this

More information

An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p.

An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p. Chapter 6 Prime Numbers Part VI of PJE. Definition and Fundamental Results Definition. (PJE definition 23.1.1) An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p. If n > 1

More information

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

All variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points. Math 152, Problem Set 2 solutions (2018-01-24) All variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points. 1. Let us look at the following equation: x 5 1

More information

Split Rank of Triangle and Quadrilateral Inequalities

Split Rank of Triangle and Quadrilateral Inequalities Split Rank of Triangle and Quadrilateral Inequalities Santanu Dey 1 Quentin Louveaux 2 June 4, 2009 Abstract A simple relaxation of two rows of a simplex tableau is a mixed integer set consisting of two

More information

SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION

SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION CHAPTER 5 SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION Copyright Cengage Learning. All rights reserved. SECTION 5.4 Strong Mathematical Induction and the Well-Ordering Principle for the Integers Copyright

More information

ON THE SET OF REDUCED φ-partitions OF A POSITIVE INTEGER

ON THE SET OF REDUCED φ-partitions OF A POSITIVE INTEGER ON THE SET OF REDUCED φ-partitions OF A POSITIVE INTEGER Jun Wang Department of Applied Mathematics, Dalian University of Technology, Dalian 116024, P.R. China Xin Wang Department of Applied Mathematics,

More information

HW2 Solutions Problem 1: 2.22 Find the sign and inverse of the permutation shown in the book (and below).

HW2 Solutions Problem 1: 2.22 Find the sign and inverse of the permutation shown in the book (and below). Teddy Einstein Math 430 HW Solutions Problem 1:. Find the sign and inverse of the permutation shown in the book (and below). Proof. Its disjoint cycle decomposition is: (19)(8)(37)(46) which immediately

More information

Mathematical Induction. Section 5.1

Mathematical Induction. Section 5.1 Mathematical Induction Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction

More information

Properties of the Integers

Properties of the Integers Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called

More information

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.

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. Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called

More information

Math 324, Fall 2011 Assignment 7 Solutions. 1 (ab) γ = a γ b γ mod n.

Math 324, Fall 2011 Assignment 7 Solutions. 1 (ab) γ = a γ b γ mod n. Math 324, Fall 2011 Assignment 7 Solutions Exercise 1. (a) Suppose a and b are both relatively prime to the positive integer n. If gcd(ord n a, ord n b) = 1, show ord n (ab) = ord n a ord n b. (b) Let

More information

Elementary Proof that an Infinite Number of Pierpont Primes Exist

Elementary Proof that an Infinite Number of Pierpont Primes Exist Elementary Proof that an Infinite Number of Pierpont Primes Exist Stephen Marshall 27 February 2017 Abstract This paper presents a complete proof of the Pierpont Primes are infinite, even though only 16

More information

AN UPPER BOUND FOR ODD PERFECT NUMBERS. Pace P. Nielsen Department of Mathematics, University of California, Berkeley, CA 94720, U.S.A.

AN UPPER BOUND FOR ODD PERFECT NUMBERS. Pace P. Nielsen Department of Mathematics, University of California, Berkeley, CA 94720, U.S.A. AN UPPER BOUND FOR ODD PERFECT NUMBERS Pace P. Nielsen Department of Mathematics, University of California, Berkeley, CA 94720, U.S.A. pace@math.berkeley.edu Received:1/31/03, Revised: 9/29/03, Accepted:

More information

ON A TWO-DIMENSIONAL SEARCH PROBLEM. Emil Kolev, Ivan Landgev

ON A TWO-DIMENSIONAL SEARCH PROBLEM. Emil Kolev, Ivan Landgev Serdica Math. J. 21 (1995), 219-230 ON A TWO-DIMENSIONAL SEARCH PROBLEM Emil Kolev, Ivan Landgev Communicated by R. Hill Abstract. In this article we explore the so-called two-dimensional tree search problem.

More information

CHAPTER 6. Prime Numbers. Definition and Fundamental Results

CHAPTER 6. Prime Numbers. Definition and Fundamental Results CHAPTER 6 Prime Numbers Part VI of PJE. Definition and Fundamental Results 6.1. Definition. (PJE definition 23.1.1) An integer p is prime if p > 1 and the only positive divisors of p are 1 and p. If n

More information

Partial Sums of Powers of Prime Factors

Partial Sums of Powers of Prime Factors 1 3 47 6 3 11 Journal of Integer Sequences, Vol. 10 (007), Article 07.1.6 Partial Sums of Powers of Prime Factors Jean-Marie De Koninck Département de Mathématiques et de Statistique Université Laval Québec

More information

Discrete Mathematics. Spring 2017

Discrete Mathematics. Spring 2017 Discrete Mathematics Spring 2017 Previous Lecture Principle of Mathematical Induction Mathematical Induction: rule of inference Mathematical Induction: Conjecturing and Proving Climbing an Infinite Ladder

More information

Homework #2 solutions Due: June 15, 2012

Homework #2 solutions Due: June 15, 2012 All of the following exercises are based on the material in the handout on integers found on the class website. 1. Find d = gcd(475, 385) and express it as a linear combination of 475 and 385. That is

More information

Proof worksheet solutions

Proof worksheet solutions Proof worksheet solutions These are brief, sketched solutions. Comments in blue can be ignored, but they provide further explanation and outline common misconceptions Question 1 (a) x 2 + 4x +12 = (x +

More information

Complete Induction and the Well- Ordering Principle

Complete Induction and the Well- Ordering Principle Complete Induction and the Well- Ordering Principle Complete Induction as a Rule of Inference In mathematical proofs, complete induction (PCI) is a rule of inference of the form P (a) P (a + 1) P (b) k

More information

Mathematical Induction

Mathematical Induction Mathematical Induction Let s motivate our discussion by considering an example first. What happens when we add the first n positive odd integers? The table below shows what results for the first few values

More information

Generell Topologi. Richard Williamson. May 28, 2013

Generell Topologi. Richard Williamson. May 28, 2013 Generell Topologi Richard Williamson May 28, 2013 1 20 Thursday 21st March 20.1 Link colourability, continued Examples 20.1. (4) Let us prove that the Whitehead link is not p-colourable for any odd prime

More information

Notes on Primitive Roots Dan Klain

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

More information

Basic Proof Examples

Basic Proof Examples Basic Proof Examples Lisa Oberbroeckling Loyola University Maryland Fall 2015 Note. In this document, we use the symbol as the negation symbol. Thus p means not p. There are four basic proof techniques

More information

Summary: Divisibility and Factorization

Summary: Divisibility and Factorization Summary: Divisibility and Factorization One of the main subjects considered in this chapter is divisibility of integers, and in particular the definition of the greatest common divisor Recall that we have

More information

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

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is 1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,

More information

Recitation 7: Existence Proofs and Mathematical Induction

Recitation 7: Existence Proofs and Mathematical Induction Math 299 Recitation 7: Existence Proofs and Mathematical Induction Existence proofs: To prove a statement of the form x S, P (x), we give either a constructive or a non-contructive proof. In a constructive

More information

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction CSC 344 Algorithms and Complexity Lecture #1 Review of Mathematical Induction Proof by Mathematical Induction Many results in mathematics are claimed true for every positive integer. Any of these results

More information

ITERATES OF THE SUM OF THE UNITARY DIVISORS OF AN INTEGER

ITERATES OF THE SUM OF THE UNITARY DIVISORS OF AN INTEGER Annales Univ. Sci. Budapest., Sect. Comp. 45 (06) 0 0 ITERATES OF THE SUM OF THE UNITARY DIVISORS OF AN INTEGER Jean-Marie De Koninck (Québec, Canada) Imre Kátai (Budapest, Hungary) Dedicated to Professor

More information

Math 319 Problem Set #2 Solution 14 February 2002

Math 319 Problem Set #2 Solution 14 February 2002 Math 39 Problem Set # Solution 4 February 00. (.3, problem 8) Let n be a positive integer, and let r be the integer obtained by removing the last digit from n and then subtracting two times the digit ust

More information

Zsigmondy s Theorem. Lola Thompson. August 11, Dartmouth College. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, / 1

Zsigmondy s Theorem. Lola Thompson. August 11, Dartmouth College. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, / 1 Zsigmondy s Theorem Lola Thompson Dartmouth College August 11, 2009 Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 1 / 1 Introduction Definition o(a modp) := the multiplicative order

More information

Sieving 2m-prime pairs

Sieving 2m-prime pairs Notes on Number Theory and Discrete Mathematics ISSN 1310 5132 Vol. 20, 2014, No. 3, 54 60 Sieving 2m-prime pairs Srečko Lampret Pohorska cesta 110, 2367 Vuzenica, Slovenia e-mail: lampretsrecko@gmail.com

More information

NOTES ON SIMPLE NUMBER THEORY

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

More information

PRIMALITY TEST FOR FERMAT NUMBERS USING QUARTIC RECURRENCE EQUATION. Predrag Terzic Podgorica, Montenegro

PRIMALITY TEST FOR FERMAT NUMBERS USING QUARTIC RECURRENCE EQUATION. Predrag Terzic Podgorica, Montenegro PRIMALITY TEST FOR FERMAT NUMBERS USING QUARTIC RECURRENCE EQUATION Predrag Terzic Podgorica, Montenegro pedja.terzic@hotmail.com Abstract. We present deterministic primality test for Fermat numbers, F

More information

Math 3000 Section 003 Intro to Abstract Math Homework 6

Math 3000 Section 003 Intro to Abstract Math Homework 6 Math 000 Section 00 Intro to Abstract Math Homework 6 Department of Mathematical and Statistical Sciences University of Colorado Denver, Spring 01 Solutions April, 01 Please note that these solutions are

More information

1.1 Inductive Reasoning filled in.notebook August 20, 2015

1.1 Inductive Reasoning filled in.notebook August 20, 2015 1.1 Inductive Reasoning 1 Vocabulary Natural or Counting Numbers Ellipsis Scientific Method Hypothesis or Conjecture Counterexample 2 Vocabulary Natural or Counting Numbers 1, 2, 3, 4, 5... positive whole

More information

arxiv:math.nt/ v1 5 Jan 2005

arxiv:math.nt/ v1 5 Jan 2005 NEW TECHNIQUES FOR BOUNDS ON THE TOTAL NUMBER OF PRIME FACTORS OF AN ODD PERFECT NUMBER arxiv:math.nt/0501070 v1 5 Jan 2005 KEVIN G. HARE Abstract. Let σ(n) denote the sum of the positive divisors of n.

More information

a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0. (x 1) 2 > 0.

a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0. (x 1) 2 > 0. For some problems, several sample proofs are given here. Problem 1. a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0.

More information

Research Methods in Mathematics Homework 4 solutions

Research Methods in Mathematics Homework 4 solutions Research Methods in Mathematics Homework 4 solutions T. PERUTZ (1) Solution. (a) Since x 2 = 2, we have (p/q) 2 = 2, so p 2 = 2q 2. By definition, an integer is even if it is twice another integer. Since

More information

Solutions Quiz 9 Nov. 8, Prove: If a, b, m are integers such that 2a + 3b 12m + 1, then a 3m + 1 or b 2m + 1.

Solutions Quiz 9 Nov. 8, Prove: If a, b, m are integers such that 2a + 3b 12m + 1, then a 3m + 1 or b 2m + 1. Solutions Quiz 9 Nov. 8, 2010 1. Prove: If a, b, m are integers such that 2a + 3b 12m + 1, then a 3m + 1 or b 2m + 1. Answer. We prove the contrapositive. Suppose a, b, m are integers such that a < 3m

More information

Homework 3, solutions

Homework 3, solutions Homework 3, solutions Problem 1. Read the proof of Proposition 1.22 (page 32) in the book. Using simialr method prove that there are infinitely many prime numbers of the form 3n 2. Solution. Note that

More information

PRACTICE PROBLEMS: SET 1

PRACTICE PROBLEMS: SET 1 PRACTICE PROBLEMS: SET MATH 437/537: PROF. DRAGOS GHIOCA. Problems Problem. Let a, b N. Show that if gcd(a, b) = lcm[a, b], then a = b. Problem. Let n, k N with n. Prove that (n ) (n k ) if and only if

More information

Math1a Set 1 Solutions

Math1a Set 1 Solutions Math1a Set 1 Solutions October 15, 2018 Problem 1. (a) For all x, y, z Z we have (i) x x since x x = 0 is a multiple of 7. (ii) If x y then there is a k Z such that x y = 7k. So, y x = (x y) = 7k is also

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

Your quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due by 11:59 p.m., Tuesday.

Your quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due by 11:59 p.m., Tuesday. Friday, February 15 Today we will begin Course Notes 3.2: Methods of Proof. Your quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due

More information

Proofs Not Based On POMI

Proofs Not Based On POMI s Not Based On POMI James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 1, 018 Outline Non POMI Based s Some Contradiction s Triangle

More information

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

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

More information

1 I A Q E B A I E Q 1 A ; E Q A I A (2) A : (3) A : (4)

1 I A Q E B A I E Q 1 A ; E Q A I A (2) A : (3) A : (4) Latin Squares Denition and examples Denition. (Latin Square) An n n Latin square, or a latin square of order n, is a square array with n symbols arranged so that each symbol appears just once in each row

More information

A Readable Introduction to Real Mathematics

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

More information

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

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

More information

(3,1) Methods of Proof

(3,1) Methods of Proof King Saud University College of Sciences Department of Mathematics 151 Math Exercises (3,1) Methods of Proof 1-Direct Proof 2- Proof by Contraposition 3- Proof by Contradiction 4- Proof by Cases By: Malek

More information

Proof Terminology. Technique #1: Direct Proof. Learning objectives. Proof Techniques (Rosen, Sections ) Direct Proof:

Proof Terminology. Technique #1: Direct Proof. Learning objectives. Proof Techniques (Rosen, Sections ) Direct Proof: Proof Terminology Proof Techniques (Rosen, Sections 1.7 1.8) TOPICS Direct Proofs Proof by Contrapositive Proof by Contradiction Proof by Cases Theorem: statement that can be shown to be true Proof: a

More information

RIEMANN SURFACES. max(0, deg x f)x.

RIEMANN SURFACES. max(0, deg x f)x. RIEMANN SURFACES 10. Weeks 11 12: Riemann-Roch theorem and applications 10.1. Divisors. The notion of a divisor looks very simple. Let X be a compact Riemann surface. A divisor is an expression a x x x

More information

On the Prime Divisors of Odd Perfect Numbers

On the Prime Divisors of Odd Perfect Numbers On the Prime Divisors of Odd Perfect Numbers Justin Sweeney Department of Mathematics Trinity College Hartford, CT justin.sweeney@trincoll.edu April 27, 2009 1 Contents 1 History of Perfect Numbers 5 2

More information

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

Course MA2C02, Hilary Term 2013 Section 9: Introduction to Number Theory and Cryptography Course MA2C02, Hilary Term 2013 Section 9: Introduction to Number Theory and Cryptography David R. Wilkins Copyright c David R. Wilkins 2000 2013 Contents 9 Introduction to Number Theory 63 9.1 Subgroups

More information

arxiv: v1 [math.nt] 18 Jul 2012

arxiv: v1 [math.nt] 18 Jul 2012 Some remarks on Euler s totient function arxiv:107.4446v1 [math.nt] 18 Jul 01 R.Coleman Laboratoire Jean Kuntzmann Université de Grenoble Abstract The image of Euler s totient function is composed of the

More information

SOLUTIONS Math 345 Homework 6 10/11/2017. Exercise 23. (a) Solve the following congruences: (i) x (mod 12) Answer. We have

SOLUTIONS Math 345 Homework 6 10/11/2017. Exercise 23. (a) Solve the following congruences: (i) x (mod 12) Answer. We have Exercise 23. (a) Solve the following congruences: (i) x 101 7 (mod 12) Answer. We have φ(12) = #{1, 5, 7, 11}. Since gcd(7, 12) = 1, we must have gcd(x, 12) = 1. So 1 12 x φ(12) = x 4. Therefore 7 12 x

More information

The Chinese Remainder Theorem

The Chinese Remainder Theorem Chapter 5 The Chinese Remainder Theorem 5.1 Coprime moduli Theorem 5.1. Suppose m, n N, and gcd(m, n) = 1. Given any remainders r mod m and s mod n we can find N such that N r mod m and N s mod n. Moreover,

More information

Math 109 HW 9 Solutions

Math 109 HW 9 Solutions Math 109 HW 9 Solutions Problems IV 18. Solve the linear diophantine equation 6m + 10n + 15p = 1 Solution: Let y = 10n + 15p. Since (10, 15) is 5, we must have that y = 5x for some integer x, and (as we

More information

Proofs Not Based On POMI

Proofs Not Based On POMI s Not Based On POMI James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 12, 2018 Outline 1 Non POMI Based s 2 Some Contradiction s 3

More information

The primitive root theorem

The primitive root theorem The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under

More information

Solution Set 2. Problem 1. [a] + [b] = [a + b] = [b + a] = [b] + [a] ([a] + [b]) + [c] = [a + b] + [c] = [a + b + c] = [a] + [b + c] = [a] + ([b + c])

Solution Set 2. Problem 1. [a] + [b] = [a + b] = [b + a] = [b] + [a] ([a] + [b]) + [c] = [a + b] + [c] = [a + b + c] = [a] + [b + c] = [a] + ([b + c]) Solution Set Problem 1 (1) Z/nZ is the set of equivalence classes of Z mod n. Equivalence is determined by the following rule: [a] = [b] if and only if b a = k n for some k Z. The operations + and are

More information

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

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

More information

7. Prime Numbers Part VI of PJE

7. Prime Numbers Part VI of PJE 7. Prime Numbers Part VI of PJE 7.1 Definition (p.277) A positive integer n is prime when n > 1 and the only divisors are ±1 and +n. That is D (n) = { n 1 1 n}. Otherwise n > 1 is said to be composite.

More information

Products of ratios of consecutive integers

Products of ratios of consecutive integers Products of ratios of consecutive integers Régis de la Bretèche, Carl Pomerance & Gérald Tenenbaum 27/1/23, 9h26 For Jean-Louis Nicolas, on his sixtieth birthday 1. Introduction Let {ε n } 1 n

More information

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

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

More information

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

More information

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

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers ALGEBRA CHRISTIAN REMLING 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers by Z = {..., 2, 1, 0, 1,...}. Given a, b Z, we write a b if b = ac for some

More information

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

12x + 18y = 50. 2x + v = 12. (x, v) = (6 + k, 2k), k Z. Math 3, Fall 010 Assignment 3 Solutions Exercise 1. Find all the integral solutions of the following linear diophantine equations. Be sure to justify your answers. (i) 3x + y = 7. (ii) 1x + 18y = 50. (iii)

More information

The first property listed above is an incredibly useful tool in divisibility problems. We ll prove that it holds below.

The first property listed above is an incredibly useful tool in divisibility problems. We ll prove that it holds below. 1 Divisiility Definition 1 We say an integer is divisile y a nonzero integer a denoted a - read as a divides if there is an integer n such that = an If no such n exists, we say is not divisile y a denoted

More information

CS 360, Winter Morphology of Proof: An introduction to rigorous proof techniques

CS 360, Winter Morphology of Proof: An introduction to rigorous proof techniques CS 30, Winter 2011 Morphology of Proof: An introduction to rigorous proof techniques 1 Methodology of Proof An example Deep down, all theorems are of the form If A then B, though they may be expressed

More information

Discrete Mathematics & Mathematical Reasoning Predicates, Quantifiers and Proof Techniques

Discrete Mathematics & Mathematical Reasoning Predicates, Quantifiers and Proof Techniques Discrete Mathematics & Mathematical Reasoning Predicates, Quantifiers and Proof Techniques Colin Stirling Informatics Some slides based on ones by Myrto Arapinis Colin Stirling (Informatics) Discrete Mathematics

More information

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers. MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

More information

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

D-MATH Algebra II FS18 Prof. Marc Burger. Solution 26. Cyclotomic extensions. D-MAH Algebra II FS18 Prof. Marc Burger Solution 26 Cyclotomic extensions. In the following, ϕ : Z 1 Z 0 is the Euler function ϕ(n = card ((Z/nZ. For each integer n 1, we consider the n-th cyclotomic polynomial

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then

More information

a mod a 2 mod

a mod a 2 mod Primitive Roots (I) Example: Consider U 32. For any element a U 32, ord 32 a ϕ(32) = 16. But (16 ± a) 2 (±a) 2 (mod32), so a mod32 1 3 5 7 15 13 11 9 17 19 21 23 31 29 27 25 a 2 mod 32 1 9 25 17 This shows

More information

Repeated Values of Euler s Function. a talk by Paul Kinlaw on joint work with Jonathan Bayless

Repeated Values of Euler s Function. a talk by Paul Kinlaw on joint work with Jonathan Bayless Repeated Values of Euler s Function a talk by Paul Kinlaw on joint work with Jonathan Bayless Oct 4 205 Problem of Erdős: Consider solutions of the equations ϕ(n) = ϕ(n + k), σ(n) = σ(n + k) for fixed

More information

2011 Olympiad Solutions

2011 Olympiad Solutions 011 Olympiad Problem 1 Let A 0, A 1, A,..., A n be nonnegative numbers such that Prove that A 0 A 1 A A n. A i 1 n A n. Note: x means the greatest integer that is less than or equal to x.) Solution: We

More information

AN ALGEBRAIC PROOF OF RSA ENCRYPTION AND DECRYPTION

AN ALGEBRAIC PROOF OF RSA ENCRYPTION AND DECRYPTION AN ALGEBRAIC PROOF OF RSA ENCRYPTION AND DECRYPTION Recall that RSA works as follows. A wants B to communicate with A, but without E understanding the transmitted message. To do so: A broadcasts RSA method,

More information

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

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

More information

Euler s, Fermat s and Wilson s Theorems

Euler s, Fermat s and Wilson s Theorems Euler s, Fermat s and Wilson s Theorems R. C. Daileda February 17, 2018 1 Euler s Theorem Consider the following example. Example 1. Find the remainder when 3 103 is divided by 14. We begin by computing

More information

a mod a 2 mod

a mod a 2 mod Primitive Roots (I) Example: Consider U 32. For any element a U 32, ord 32 a ϕ(32) = 16. But (±a ±16) 2 a 2 (mod 32), so a mod32 1 3 5 7 15 13 11 9 17 19 21 23 31 29 27 25 a 2 mod 32 1 9 25 17 This shows

More information

When is n a member of a Pythagorean Triple?

When is n a member of a Pythagorean Triple? Abstract When is n a member of a Pythagorean Triple? Dominic and Alfred Vella ' Theorem is perhaps the best known result in the whole of mathematics and yet many things remain unknown (or perhaps just

More information

Some Review Problems for Exam 1: Solutions

Some Review Problems for Exam 1: Solutions Math 3355 Fall 2018 Some Review Problems for Exam 1: Solutions Here is my quick review of proof techniques. I will focus exclusively on propositions of the form p q, or more properly, x P (x) Q(x) or x

More information

A PROOF OF BURNSIDE S p a q b THEOREM

A PROOF OF BURNSIDE S p a q b THEOREM A PROOF OF BURNSIDE S p a q b THEOREM OBOB Abstract. We prove that if p and q are prime, then any group of order p a q b is solvable. Throughout this note, denote by A the set of algebraic numbers. We

More information

NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS

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

More information

Cutting Plane Methods I

Cutting Plane Methods I 6.859/15.083 Integer Programming and Combinatorial Optimization Fall 2009 Cutting Planes Consider max{wx : Ax b, x integer}. Cutting Plane Methods I Establishing the optimality of a solution is equivalent

More information

Math 110 HW 3 solutions

Math 110 HW 3 solutions Math 0 HW 3 solutions May 8, 203. For any positive real number r, prove that x r = O(e x ) as functions of x. Suppose r

More information

Computational aspects of finite p-groups

Computational aspects of finite p-groups Computational aspects of finite p-groups Heiko Dietrich School of Mathematical Sciences Monash University Clayton VIC 3800, Australia 5th 14th November 2016 International Centre for Theoretical Sciences

More information

Divisibility = 16, = 9, = 2, = 5. (Negative!)

Divisibility = 16, = 9, = 2, = 5. (Negative!) Divisibility 1-17-2018 You probably know that division can be defined in terms of multiplication. If m and n are integers, m divides n if n = mk for some integer k. In this section, I ll look at properties

More information