Exam 2 Review Theorems

Theorem 18.13
Let a,b,cZ. If a|bc and GCD(a,b)=1, then a|c.

Proof. Let a,b,cZ. Assume that abc and GCD(a,b)=1. Then bc=ak for some kZ. Also for some x,yZ we have ax+by=1. Multiplying this equation by c we get:

c(ax+by)=cax+cby=ac(x)+bc(y)=ac(x)+ak(y)=a(cx+ky)

Hence since cx+kyZ, we see that ac.

Theorem 19.14
There are infinitely many prime numbers.

Proof. Let S be any finite set of prime numbers. Let

n=1+pSp

Then n>2, so n is divisible by some prime q since by Theorem 19.7. Using the division algorithm to divide n by any prime pS leaves a remainder of 1, so no prime in S divides N. Hence q must be a prime that is not in S. Therefore S cannot be the set of all primes.

Since no finite set of primes consists of all the primes, there must be infinitely many primes.