06.03.2017 Views

Mathematics for Computer Science

e9ck2Ar

e9ck2Ar

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

“mcs” — 2017/3/3 — 11:21 — page 301 — #309<br />

9.3. Prime Mysteries 301<br />

9.2.4 Properties of the Greatest Common Divisor<br />

It can help to have some basic gcd facts on hand:<br />

Lemma 9.2.6.<br />

a) gcd.ka; kb/ D k gcd.a; b/ <strong>for</strong> all k > 0.<br />

b) .d j a AND d j b/ IFF d j gcd.a; b/.<br />

c) If gcd.a; b/ D 1 and gcd.a; c/ D 1, then gcd.a; bc/ D 1.<br />

d) If a j bc and gcd.a; b/ D 1, then a j c.<br />

Showing how all these facts follow from Theorem 9.2.2 that gcd is a linear combination<br />

is a good exercise (Problem 9.11).<br />

These properties are also simple consequences of the fact that integers factor<br />

into primes in a unique way (Theorem 9.4.1). But we’ll need some of these facts<br />

to prove unique factorization in Section 9.4, so proving them by appeal to unique<br />

factorization would be circular.<br />

9.3 Prime Mysteries<br />

Some of the greatest mysteries and insights in number theory concern properties of<br />

prime numbers:<br />

Definition 9.3.1. A prime is a number greater than 1 that is divisible only by itself<br />

and 1. A number other than 0, 1, and 1 that is not a prime is called composite. 7<br />

Here are three famous mysteries:<br />

Twin Prime Conjecture There are infinitely many primes p such that p C 2 is also<br />

a prime.<br />

In 1966, Chen showed that there are infinitely many primes p such that p C2<br />

is the product of at most two primes. So the conjecture is known to be almost<br />

true!<br />

Conjectured Inefficiency of Factoring Given the product of two large primes n D<br />

pq, there is no efficient procedure to recover the primes p and q. That is,<br />

no polynomial time procedure (see Section 3.5) is guaranteed to find p and<br />

7 So 0, 1, and 1 are the only integers that are neither prime nor composite.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!