The purpose of this appendix is to present a proof of Theorem 4.6.5:
every natural number greater than or equal to can be expressed as a
product of primes; this product is unique up to the order of the factors.
This result may seem obvious, because we were all taught it at an early age; so before we prove it, perhaps it is worth considering why it requires proof.
The point is that there are systems other than where the corresponding statement fails to be true. For example, let be the set of all natural numbers of the form , so that . The product of any two elements of is itself in , since
Thus we have a perfectly good multiplication defined on , and we can define a ‘‘prime number in ’’ to be an element of , not equal to , whose only divisors in are and itself. It turns out that every element of (except ) can be written as a product of primes in ; but we have , and each of the numbers , and is prime in . (They are clearly not prime in , as , and — but .) Thus although we have multiplication in , primes in and prime factorization in , we do not have uniqueness of prime factorization in .
Now, to prove Theorem 4.6.5, for a natural number , consider the following two statements:
‘‘ can be written as a product of primes’’;
‘‘there is only one way of
writing as a product of primes, up to the order of
the factors’’.
We shall use the Generalized Principle of Induction to prove that and are true for each .
Basis of induction: the number is prime, so is satisfied by our convention that a single prime number is considered a product of primes; further, there is clearly no other way that can be written as a product of primes, so is also satisfied.
Induction step: let , and assume inductively that and are true for each ; we must prove that and are true. If is prime, then and are certainly true, just as in the basis of induction above.
Otherwise is composite. In this case we verify each of the statements and separately.
Since is composite, we can write , where . By the induction hypothesis, and are true, so we can write both and as products of primes, say and , where and are prime numbers. This implies that can be written as a product of primes because
and so is true.
Suppose that
where and are prime numbers. We must show that and that the primes are the same as (except for the order).
Now divides , and so, as observed in Remark 4.6.4, we have for some . As is prime and , this implies that . If we set , then we can write
Note that because
contradicting our assumption that is composite. Hence , so that is true by the induction hypothesis. Thus the two prime factorizations of in (A) are the same (up to reordering); that is, and are the same as (except for the order). Hence we conclude that and, inserting in the lists, that are equal to (except for the order). This proves that is satisfied, and thus the result holds by mathematical induction.