ANSWER on Question #82163 – Math – Combinatorics – Number Theory
QUESTION
Prove that every composite number in is reducable.
SOLUTION
**Theorem 1.1** (Unique Factorization in ). Every integer can be written as a product of primes. Moreover, the prime factorization of is unique: if and where the 's and 's are prime then and after relabeling the factors we have for all .
Theorem 1.1 is really two statements about each : (i) a prime factorization of exists and (ii) there is only one prime factorization for up to the order of multiplication of the prime factors.
To prove Theorem 1.1, we will prove these two statements separately.
When we talk about a product of primes in Theorem 1.1, we allow a “product” with a single term in it, so a prime number is a product of primes using only itself in the product. If we didn’t allow this, then we’d have to say every is a prime or a product of primes. By allowing a product with a single term, our language becomes simpler.
**Theorem 2.1.** Every has a prime factorization: we can write , where the are prime numbers.
**Proof.** We will use induction, but more precisely strong induction: assuming every integer between 1 and has a prime factorization we will derive that has a prime factorization. Our base case is . This is a prime, so it is a product of primes by our convention that a prime is a product of primes with one term.
Now assume and (here comes the strong inductive hypothesis) for all with that is a product of primes. To show is a product of primes, we take cases depending on whether is prime or not.
**Case 1:** The number is prime.
In this case, is a product of primes with just one term. (This is the easy case.)
**Case 2:** The number is not prime.
Since and is not prime, there is some nontrivial factorization where and . By our strong inductive hypothesis, both and are products of primes. Since is the product of and , and
both and are products of primes, is a product of primes by stringing together the prime factorizations of and . More explicitly, writing and where and are all prime, we have
which is a product of primes.
Q.E.D.
**Lemma 2.2.** If is a prime number and for some integers and , then or .
*Proof.* We will assume and the conclusion is false: does not divide or does not divide . If does not divide then because is prime. A basic consequence of Bezout’s identity tells us that from and we have . If does not divide , then by switching the roles of and (which is okay since ) we can conclude that .
Q.E.D.
A generalization of **Lemma 2.2** is that for any finite list of integers , if then for some . This is trivial for , and for it is true by induction on with **Lemma 2.2** being the base case . Now we can prove prime factorization is unique.
**Theorem 2.3.** If where the 's and 's are prime, then and after relabeling the factors we have for all .
*Proof.* The key mathematical step is this: when , must equal some . This is because for some , where the second implication is the generalization of **Lemma 2.2** that we mentioned above. That uses primality of . Since is prime and , we must have (a prime has no factor greater than 1 other than itself). To prove our theorem, we will induct on the total number of prime factors in the two equal prime factorizations, which is . We allow repeated primes. The base case is , when the equal prime factorization turns into . Here the conclusion of the theorem is obvious (there is no relabeling needed, since each side has one factor).
Suppose next that and the theorem is true for any two equal prime factorizations for which the total number of primes being used is less than . If we have then and : if or then one side is a prime number and therefore the other side has to be a prime number, so , but . From we explained at the start of the proof that must be some . By relabeling the factors on the right, which is okay since the order of multiplication doesn’t matter, we can assume . Then our equal prime factorization becomes . Canceling the
common factor on both sides, we get (2.1). In this equation of equal prime factorizations, the total number of primes appearing on both sides is , which is less than . By our inductive hypothesis we conclude (there are primes on the left and primes on the right), so , and after relabeling the primes in (2.1) we have for all . Combining this with we have for all .
Q.E.D.
Answer provided by https://www.AssignmentExpert.com