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

Similar documents
ON VALUES OF CYCLOTOMIC POLYNOMIALS. V

Classification of Finite Fields

Winter Camp 2009 Number Theory Tips and Tricks

Elementary Properties of Cyclotomic Polynomials

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

GALOIS THEORY. Contents

The primitive root theorem

Section X.55. Cyclotomic Extensions

ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011

CYCLOTOMIC POLYNOMIALS

(January 14, 2009) q n 1 q d 1. D = q n = q + d

18. Cyclotomic polynomials II

CYCLOTOMIC POLYNOMIALS

Summary Slides for MATH 342 June 25, 2018

Part II. Number Theory. Year

Contest Number Theory

Möbius Inversion Formula and Applications to Cyclotomic Polynomials

UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY

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

arxiv: v3 [math.nt] 4 Nov 2015

Andrew Granville To Andrzej Schinzel on his 75th birthday, with thanks for the many inspiring papers

CYCLICITY OF (Z/(p))

Proof by Contradiction

PRIMITIVE PRIME FACTORS IN SECOND-ORDER LINEAR RECURRENCE SEQUENCES

On the Prime Divisors of Odd Perfect Numbers

Section 33 Finite fields

Cyclotomic Polynomials in Olympiad Number Theory

Roots of Unity, Cyclotomic Polynomials and Applications

Quasi-reducible Polynomials

Euler s ϕ function. Carl Pomerance Dartmouth College

18.785: Analytic Number Theory, MIT, spring 2006 (K.S. Kedlaya) Dirichlet series and arithmetic functions

NOTES ON FINITE FIELDS

Basic elements of number theory

Basic elements of number theory

Theory of Numbers Problems

ON TESTING THE DIVISIBILITY OF LACUNARY POLYNOMIALS BY CYCLOTOMIC POLYNOMIALS

Chapter 8. Introduction to Number Theory

The least prime congruent to one modulo n

ABSTRACT. AMBROSINO, MARY ELIZABETH. Maximum Gap of (Inverse) Cyclotomic Polynomials. (Under the direction of Hoon Hong.)

Smol Results on the Möbius Function

1, for s = σ + it where σ, t R and σ > 1

A talk given at the Institute of Mathematics (Beijing, June 29, 2008)

Chapter 14: Divisibility and factorization

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

Math 314 Course Notes: Brief description

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

Factorization in Integral Domains II

Solutions to Practice Final 3

Algebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001

f(n) = f(p e 1 1 )...f(p e k k ).

Fermat s Last Theorem for Regular Primes

Mahler s Polynomials and the Roots of Unity

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

Some multiplicative arithmetical functions

Proof of the Fermat s Last Theorem

Math 121 Homework 3 Solutions

Math 121 Homework 2 Solutions

Algebra SEP Solutions

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

Any real-valued function on the integers f:n R (or complex-valued function f:n C) is called an arithmetic function.

Fundamental Theorem of Algebra

Lecture 7.4: Divisibility and factorization

1 The Galois Group of a Quadratic

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

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

On rational numbers associated with arithmetic functions evaluated at factorials

Explicit Methods in Algebraic Number Theory

Finite fields Michel Waldschmidt

Galois Theory, summary

Solutions to Problem Set 4 - Fall 2008 Due Tuesday, Oct. 7 at 1:00

Math 324, Fall 2011 Assignment 6 Solutions

Algebraic Cryptography Exam 2 Review

Elementary Number Theory Review. Franz Luef

A Generalization of Wilson s Theorem

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

Primality testing: variations on a theme of Lucas. Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA

Contents. 4 Arithmetic and Unique Factorization in Integral Domains. 4.1 Euclidean Domains and Principal Ideal Domains

arxiv: v3 [math.nt] 15 Dec 2016

Galois theory (Part II)( ) Example Sheet 1

Symmetries and Polynomials

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

Definition For a set F, a polynomial over F with variable x is of the form

School of Mathematics

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION

Discrete Math. Instructor: Mike Picollelli. Day 10

p = This is small enough that its primality is easily verified by trial division. A candidate prime above 1000 p of the form p U + 1 is

SOLUTIONS TO PROBLEM SET 1. Section = 2 3, 1. n n + 1. k(k + 1) k=1 k(k + 1) + 1 (n + 1)(n + 2) n + 2,

University of Toronto Faculty of Arts and Science Solutions to Final Examination, April 2017 MAT246H1S - Concepts in Abstract Mathematics

DIOPHANTINE PROBLEMS, POLYNOMIAL PROBLEMS, & PRIME PROBLEMS. positive ) integer Q how close are you guaranteed to get to the circle with rationals

MAT246H1S - Concepts In Abstract Mathematics. Solutions to Term Test 1 - February 1, 2018

2.3 In modular arithmetic, all arithmetic operations are performed modulo some integer.

Notes on Systems of Linear Congruences

History of Mathematics

CONSTRUCTIBLE NUMBERS AND GALOIS THEORY

ABSTRACT INVESTIGATION INTO SOLVABLE QUINTICS. Professor Lawrence C. Washington Department of Mathematics

DONG QUAN NGOC NGUYEN

SOLVING SOLVABLE QUINTICS. D. S. Dummit

ARITHMETIC IN PURE CUBIC FIELDS AFTER DEDEKIND.

Field Theory Qual Review

Arithmetic Functions Evaluated at Factorials!

Transcription:

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 of a (mod p). Recall: The multiplicative order of a (mod p) is the smallest integer k such that a k 1 (mod p). Example o(2 mod 5) = 4 since 2 1 2 (mod 5), 2 2 4 (mod 5), 2 3 3 (mod 5) and 2 4 1 (mod 5). Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 2 / 1

Introduction Theorem (Zsigmondy) For every pair of positive integers (a, n), except n = 1 and (2,6), there exists a prime p such that n = o(a mod p). Let s see why the exceptional cases might not work: Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 3 / 1

Introduction Theorem (Zsigmondy) For every pair of positive integers (a, n), except n = 1 and (2,6), there exists a prime p such that n = o(a mod p). Let s see why the exceptional cases might not work: If n = 1, then 1 = o(a mod p) a 1 1 (mod p). But this is only true when a = 1. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 3 / 1

Introduction Theorem (Zsigmondy) For every pair of positive integers (a, n), except n = 1 and (2,6), there exists a prime p such that n = o (amod p). (2, 6) is an exception means that there are no primes p such that 6 = o(2 modp), i.e. for any prime p such that 2 6 1(mod p), it must be the case that 2 3 1 (mod p) or 2 2 1 (mod p) also. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 4 / 1

Introduction Theorem (Zsigmondy) For every pair of positive integers (a, n), except n = 1 and (2,6), there exists a prime p such that n = o (amod p). (2, 6) is an exception means that there are no primes p such that 6 = o(2 modp), i.e. for any prime p such that 2 6 1(mod p), it must be the case that 2 3 1 (mod p) or 2 2 1 (mod p) also. The fact that (2, 6) is an exception can be proven through elementary means, but we ll get it for free in the process of proving Zsigmondy s Theorem. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 4 / 1

Outline Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 5 / 1

Cyclotomic Polynomials Definition We define n th cyclotomic polynomial as follows: Φ n (x) = (x ζ). ζ primitive n th root of 1 Φ n (x) has degree ϕ(n) since there are ϕ(n) primitive n th roots of unity. (Recall: If ζ is primitive then ζ k is primitive if and only if (k, n) = 1) Some Other Properties: Monic Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 6 / 1

Cyclotomic Polynomials Definition We define n th cyclotomic polynomial as follows: Φ n (x) = (x ζ). ζ primitive n th root of 1 Φ n (x) has degree ϕ(n) since there are ϕ(n) primitive n th roots of unity. (Recall: If ζ is primitive then ζ k is primitive if and only if (k, n) = 1) Some Other Properties: Monic Irreducible Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 6 / 1

Cyclotomic Polynomials Definition We define n th cyclotomic polynomial as follows: Φ n (x) = (x ζ). ζ primitive n th root of 1 Φ n (x) has degree ϕ(n) since there are ϕ(n) primitive n th roots of unity. (Recall: If ζ is primitive then ζ k is primitive if and only if (k, n) = 1) Some Other Properties: Monic Irreducible In Z[x] (In fact, Φ n (x) is the minimal polynomial for ζ over Q) Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 6 / 1

Cyclotomic Polynomials Theorem x n 1 = d n Φ d (x) (True since x n 1 = ζ n th root of 1 (x ζ) = d n ζ primitive d th root of 1 (x ζ)). Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 7 / 1

The Mobius Function The Mobius function µ(n) is an arithmetic function satisfying µ(1) = 1 and µ(d) = 0 for every n > 1. d n Example: µ(d) = µ(1) + µ(2) = 0. d 2 Since µ(1) = 1 then it must be the case that µ(2) = 1. Example: µ(d) = µ(1) + µ(2) + µ(4) = 0. d 4 Since we know that µ(1) + µ(2) = 0 then µ(4) = 0. { 0, n = m p r, r > 1 In general: µ(n) = 1 k, n = p 1 p 2 p k Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 8 / 1

Cyclotomic Polynomials Theorem (Mobius Inversion Formula) If f (n) = g(d) then g(n) = f (d) µ(n/d). d n d n Since x n 1 = Φ d (x) then Φ n (x) = (x d 1) µ(n/d) d n d n (take log of both sides, apply Mobius inversion, then undo the logs). Example: Φ 2 (x) = (x 1 1) µ(2/1) (x 2 1) µ(2/2) = (x 1) 1 (x 2 1) = x + 1. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 9 / 1

Cyclotomic Polynomials Some Examples: Φ 1 (x) = x 1 Φ 2 (x) = x + 1 Φ 3 (x) = x 2 + x + 1 Φ 4 (x) = x 2 + 1 Φ 5 (x) = x 4 + x 3 + x 2 + x + 1 Φ 6 (x) = x 2 x + 1 Φ 7 (x) = x 6 + x 5 + x 4 + x 3 + x 2 + x + 1 Φ 8 (x) = x 4 + 1 In general, Φ p (x) = x p 1 + x p 2 + + x + 1. For k 1, Φ p k (x) = Φ p (x pk 1 ). So Φ p k (x) has the same number of nonzero terms as Φ p (x). Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 10 / 1

Values of Cyclotomic Polynomials Theorem Suppose n > 1. Then: (1) Φ n (0) = 1{ p, n = p m, m > 0 (2) Φ n (1) = 1, otherwise To prove (2): Evaluate xn 1 x 1 n = d n d>1 at x = 1 in 2 different ways to find Φ d (1). We know that Φ p (x) = x p 1 + + x + 1, so Φ p (1) = p. Moreover, Φ p k (1) = p. By unique factorization, n = p e 1 1 peg g. Since there are e i divisors of n that are powers of p i for each prime p i dividing n then, from our formula above, Φ d (1) = 1 when d is composite. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 11 / 1

Values of Cyclotomic Polynomials Theorem Suppose n > 1. Then: (3) If a > 1 then (a 1) ϕ(n) < Φ n (a) < (a + 1) ϕ(n). (4) If a 3 and p n is a prime factor, then Φ n (a) > p. Proof of (3) If a > 1 then geometry implies that a 1 < a ζ < a + 1 for every point ζ 1 on the unit circle. The inequalities stated above follow from the fact that Φ n (a) = a ζ. Proof of (4) Since ϕ(n) p 1 then when a 3, we have Φ n (a) > 2 ϕ(n) 2 p 1 (by (3)). But 2 p 1 p since p 2. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 12 / 1

Key Lemma Lemma Suppose that n > 2 and a > 1 are integers and Φ n (a) is prime. If Φ n (a) n then n = 6 and a = 2. Proof Let p = Φ n (a), where p n. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 13 / 1

Key Lemma Lemma Suppose that n > 2 and a > 1 are integers and Φ n (a) is prime. If Φ n (a) n then n = 6 and a = 2. Proof Let p = Φ n (a), where p n. If a 3 then Φ n (a) > p by (4), which is obviously false. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 13 / 1

Key Lemma Lemma Suppose that n > 2 and a > 1 are integers and Φ n (a) is prime. If Φ n (a) n then n = 6 and a = 2. Proof Let p = Φ n (a), where p n. If a 3 then Φ n (a) > p by (4), which is obviously false. Thus, a = 2 and Φ n (2) = p. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 13 / 1

Key Lemma Lemma Suppose that n > 2 and a > 1 are integers and Φ n (a) is prime. If Φ n (a) n then n = 6 and a = 2. Proof Let p = Φ n (a), where p n. If a 3 then Φ n (a) > p by (4), which is obviously false. Thus, a = 2 and Φ n (2) = p. Since Φ n (2) = p then p (2 n 1) (since Φ n (x) always divides x n 1), i.e. 2 n 1(mod p). Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 13 / 1

Key Lemma Lemma Suppose that n > 2 and a > 1 are integers and Φ n (a) is prime. If Φ n (a) n then n = 6 and a = 2. Proof Let p = Φ n (a), where p n. If a 3 then Φ n (a) > p by (4), which is obviously false. Thus, a = 2 and Φ n (2) = p. Since Φ n (2) = p then p (2 n 1) (since Φ n (x) always divides x n 1), i.e. 2 n 1(mod p). So, p must be odd. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 13 / 1

Key Lemma So far, we have: p = Φ n (2), p n, p odd. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 14 / 1

Key Lemma So far, we have: p = Φ n (2), p n, p odd. Factor n = p e m where p m. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 14 / 1

Key Lemma So far, we have: p = Φ n (2), p n, p odd. Factor n = p e m where p m. It s a well-known fact from abstract algebra that if n is as above and if α is a root of Φ n (x) over F p then m = o(α). Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 14 / 1

Key Lemma So far, we have: p = Φ n (2), p n, p odd. Factor n = p e m where p m. It s a well-known fact from abstract algebra that if n is as above and if α is a root of Φ n (x) over F p then m = o(α). As a result, since we know that Φ n (2) 0(mod p), then m = o(2 mod p). Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 14 / 1

Key Lemma So far, we have: p = Φ n (2), p n, p odd. Factor n = p e m where p m. It s a well-known fact from abstract algebra that if n is as above and if α is a root of Φ n (x) over F p then m = o(α). As a result, since we know that Φ n (2) 0(mod p), then m = o(2 mod p). If e > 1 then p = Φ n (2) = Φ pe m(2) = Φ m (2 pe ) = Φ pm (2 pe 1 ). Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 14 / 1

Key Lemma So far, we have: p = Φ n (2), p n, p odd. Factor n = p e m where p m. It s a well-known fact from abstract algebra that if n is as above and if α is a root of Φ n (x) over F p then m = o(α). As a result, since we know that Φ n (2) 0(mod p), then m = o(2 mod p). If e > 1 then p = Φ n (2) = Φ pe m(2) = Φ m (2 pe ) = Φ pm (2 pe 1 ). This contradicts (4), since 2 pe 1 2 p > 4. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 14 / 1

Key Lemma So far, we have: p = Φ n (2), p n, p odd. Factor n = p e m where p m. It s a well-known fact from abstract algebra that if n is as above and if α is a root of Φ n (x) over F p then m = o(α). As a result, since we know that Φ n (2) 0(mod p), then m = o(2 mod p). If e > 1 then p = Φ n (2) = Φ pe m(2) = Φ m (2 pe ) = Φ pm (2 pe 1 ). This contradicts (4), since 2 pe 1 2 p > 4. Thus, n = pm. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 14 / 1

Key Lemma At this point, we have deduced: p = Φ n (2), p n, p odd, n = pm where p m. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 15 / 1

Key Lemma At this point, we have deduced: p = Φ n (2), p n, p odd, n = pm where p m. We re trying to show that n = 6. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 15 / 1

Key Lemma At this point, we have deduced: p = Φ n (2), p n, p odd, n = pm where p m. We re trying to show that n = 6. Now, p = Φ pm (2) = Φm(2p ) Φ m(2) > (2p 1) ϕ(m) (2+1) ϕ(m) 2p 1 3 (from (3)). Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 15 / 1

Key Lemma At this point, we have deduced: p = Φ n (2), p n, p odd, n = pm where p m. We re trying to show that n = 6. Now, p = Φ pm (2) = Φm(2p ) Φ m(2) > (2p 1) ϕ(m) (2+1) ϕ(m) 2p 1 3 (from (3)). But then 3p + 1 > 2 p, which is impossible if p > 3. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 15 / 1

Key Lemma At this point, we have deduced: p = Φ n (2), p n, p odd, n = pm where p m. We re trying to show that n = 6. Now, p = Φ pm (2) = Φm(2p ) Φ m(2) > (2p 1) ϕ(m) (2+1) ϕ(m) 2p 1 3 (from (3)). But then 3p + 1 > 2 p, which is impossible if p > 3. Therefore, p = 3 and m = o(2 mod 3) = 2, so n = 2 3 = 6. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 15 / 1

Recap and Extensions We have proven the following Key Lemma: Lemma Suppose that n > 2 and a > 1 are integers and Φ n (a) is prime. If Φ n (a) n then n = 6 and a = 2. We can extend the Key Lemma to show that if Φ n (a) is a divisor of n for some n > 2 and a > 1, then n = 6 and a = 2. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 16 / 1

Good Pairs, Bad Pairs Definition Let a, n Z +, a > 1. The pair (a, n) is good if n = o(a mod p) for some prime p. Lemma (Good Pairs Condition) (a, n) is good if and only if there is a prime p such that p (a n 1) but p (a n/q 1) for every prime factor q n. Example 3 2 1 uses the same primes as 3 1 1, so (3, 2) is bad. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 17 / 1

Good Pairs, Bad Pairs Lemma (a, 1) is bad when a = 2. (a, 2) is bad when a = 2 m 1 for some m > 1. All other pairs (a, 2 k ) are good. Example 2 2 1 = 3, 2 3 1 = 7, 2 6 1 = 63 = 3 2 7. Thus, (2, 6) is bad. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 18 / 1

Zsigmondy s Theorem Theorem (Zsigmondy) If n 2, the only bad pair (a, n) is (2, 6). [In other words, there exists a prime p such that n = o(a mod p) for every pair (a, n) except (2, 6)] Proof Outline Suppose (a, n) is bad and n > 2. We will translate this into a problem about cyclotomic polynomials and use the Key Lemma to derive a contradiction unless a = 2 and n = 6. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 19 / 1

Two More Lemmas In order to prove Zsigmondy s Theorem, we will need the following two lemmas: Lemma (1) If x n 1 = Φ n (x) ω n (x) then ω n (x) = d n d<n in Z[x] whenever d n, d < n. Lemma (2) Φ d (x) and (x d 1) ω n (x) Suppose that d n and a d 1 (mod p). If d < n then p n d. In any case, p n. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 20 / 1

Proving Zsigmondy s Theorem Theorem (Zsigmondy) If n 2, the only bad pair (a, n) is (2, 6). Proof Pick an odd prime factor p Φ n (a). Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 21 / 1

Proving Zsigmondy s Theorem Theorem (Zsigmondy) If n 2, the only bad pair (a, n) is (2, 6). Proof Pick an odd prime factor p Φ n (a). Suppose that (a, n) is bad, so that k = o(a mod p) is a proper divisor of n. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 21 / 1

Proving Zsigmondy s Theorem Theorem (Zsigmondy) If n 2, the only bad pair (a, n) is (2, 6). Proof Pick an odd prime factor p Φ n (a). Suppose that (a, n) is bad, so that k = o(a mod p) is a proper divisor of n. Let x n 1 = Φ n (x) ω n (x). Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 21 / 1

Proving Zsigmondy s Theorem Theorem (Zsigmondy) If n 2, the only bad pair (a, n) is (2, 6). Proof Pick an odd prime factor p Φ n (a). Suppose that (a, n) is bad, so that k = o(a mod p) is a proper divisor of n. Let x n 1 = Φ n (x) ω n (x). From Lemma (1), (a k 1) ω n (a), so p (a n 1) also. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 21 / 1

Proving Zsigmondy s Theorem Theorem (Zsigmondy) If n 2, the only bad pair (a, n) is (2, 6). Proof Pick an odd prime factor p Φ n (a). Suppose that (a, n) is bad, so that k = o(a mod p) is a proper divisor of n. Let x n 1 = Φ n (x) ω n (x). From Lemma (1), (a k 1) ω n (a), so p (a n 1) also. So p 2 is a factor of Φ n (a) ω n (a) = a n 1. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 21 / 1

Proving Zsigmondy s Theorem Theorem (Zsigmondy) If n 2, the only bad pair (a, n) is (2, 6). Proof Pick an odd prime factor p Φ n (a). Suppose that (a, n) is bad, so that k = o(a mod p) is a proper divisor of n. Let x n 1 = Φ n (x) ω n (x). From Lemma (1), (a k 1) ω n (a), so p (a n 1) also. So p 2 is a factor of Φ n (a) ω n (a) = a n 1. By Fermat s little Theorem, a p 1 1(mod p), so k p 1, hence k < p. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 21 / 1

Proving Zsigmondy s Theorem From Lemma (2), we know that if k n and a k 1(mod p), then if k < n, we must have p n k and p n. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 22 / 1

Proving Zsigmondy s Theorem From Lemma (2), we know that if k n and a k 1(mod p), then if k < n, we must have p n k and p n. It follows that p is the only prime factor of n k, so we can write n = k p u for some u 1. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 22 / 1

Proving Zsigmondy s Theorem From Lemma (2), we know that if k n and a k 1(mod p), then if k < n, we must have p n k and p n. It follows that p is the only prime factor of n k, so we can write n = k p u for some u 1. We can also use Lemma (2) to show that p is the only prime factor of Φ n (a). In other words, Φ n (a) = p t for some t 1. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 22 / 1

Finishing Up We ve already shown that p is odd and p n and Φ n (a) = p t. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 23 / 1

Finishing Up We ve already shown that p is odd and p n and Φ n (a) = p t. If t > 2 then p 2 divides a n 1 a n/p 1, since (an/p 1) ω n (a). Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 23 / 1

Finishing Up We ve already shown that p is odd and p n and Φ n (a) = p t. If t > 2 then p 2 divides a n 1 a n/p 1, since (an/p 1) ω n (a). We can use the exponent law to derive a contradiction to the statement that p 2 a n 1 a n/p 1. Thus, Φ n(a) = p. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 23 / 1

Finishing Up We ve already shown that p is odd and p n and Φ n (a) = p t. If t > 2 then p 2 divides a n 1 a n/p 1, since (an/p 1) ω n (a). We can use the exponent law to derive a contradiction to the statement that p 2 a n 1 a n/p 1. Thus, Φ n(a) = p. Now, if a 3 then Φ n (a) > p, which we know is false. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 23 / 1

Finishing Up We ve already shown that p is odd and p n and Φ n (a) = p t. If t > 2 then p 2 divides a n 1 a n/p 1, since (an/p 1) ω n (a). We can use the exponent law to derive a contradiction to the statement that p 2 a n 1 a n/p 1. Thus, Φ n(a) = p. Now, if a 3 then Φ n (a) > p, which we know is false. Hence, we must have a = 2. By the Key Lemma, n = 6. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 23 / 1

Finishing Up We ve already shown that p is odd and p n and Φ n (a) = p t. If t > 2 then p 2 divides a n 1 a n/p 1, since (an/p 1) ω n (a). We can use the exponent law to derive a contradiction to the statement that p 2 a n 1 a n/p 1. Thus, Φ n(a) = p. Now, if a 3 then Φ n (a) > p, which we know is false. Hence, we must have a = 2. By the Key Lemma, n = 6. Therefore, (2, 6) is the only bad pair. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 23 / 1

Finishing Up We ve already shown that p is odd and p n and Φ n (a) = p t. If t > 2 then p 2 divides a n 1 a n/p 1, since (an/p 1) ω n (a). We can use the exponent law to derive a contradiction to the statement that p 2 a n 1 a n/p 1. Thus, Φ n(a) = p. Now, if a 3 then Φ n (a) > p, which we know is false. Hence, we must have a = 2. By the Key Lemma, n = 6. Therefore, (2, 6) is the only bad pair. We ve proven Zsigmondy s Theorem! Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 23 / 1

A Special Case of Zsigmondy s Theorem A special case of Zsigmondy s Theorem states the problem in terms of Mersenne numbers: Consider the k th Mersenne number M k = 2 k 1. Then, each of M 2, M 3, M 4,... has a prime factor that does not occur as a factor of an earlier member of the sequence EXCEPT for M 6. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 24 / 1

Acknowledgements Thanks to Dr. Dan Shapiro, whose expository notes on the subject were invaluable in writing this talk. Bibliography: 1. Introduction to the Theory of Numbers by Harold N. Shapiro 2. Abstract Algebra by David S. Dummit and Richard M. Foote Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 25 / 1