Lec06 FTA
Lec06 FTA
(p, a1 a2 · · · an ) = 1 or (p, a1 a2 · · · an ) = p.
Theorem 1.2 (Fundamental Theorem of Arithmetic). Every integer > 1 can be ex-
pressed uniquely as a product of primes, with the prime factors in nondecreasing order.
Proof. By Theorem 1.1, Lec04, any integer n > 1 is either a prime or a product of
primes.
We now prove uniqueness. Suppose n has two different factorizations.
If n is prime the assertion is obviously true. So assume that n is composite and
n = p1 p 2 · · · p s = q1 q 2 · · · qt ,
1
Prof A. Munagi Fundamental Theorem of Arithmetic MATH4024-Number Theory
where the primes on the left side differ from those on the right.
However, this leads to a contradiction of Lemma 1.1 since pi1 must divide qjk for
some k which is impossible. This is because qjk is prime and is different from pi1 .
Hence the prime factorization is unique.
Remark 1. Every positive integer n may be written as a product of primes, called the
“prime factorization of n” or the “prime-power factorization of n”:
n = q1 q2 · · · , qv , q1 ≤ q2 ≤ · · · ≤ qv ;
or
n = pn1 1 pn2 2 · · · pnk k , p1 < p2 < · · · < pk , 1 ≤ k ≤ v, ni ≥ 1 ∀ i.
Remark 2. The integer 1 may be expressed as a product of the empty set of primes:
Remark 3. By Theorem 1.2 the ring of integers Z = {. . . , −2, −1, 0, 1, 2, . . .} has the
unique factorization property.
Another unique factorization domain is the ring of Gaussian integers:
√ √
Z[ −1] = {a + b −1 | a, b ∈ Z}.
√ √
But unique factorization fails in the√ring Z[ √−5] = {a + b −5 | a, b ∈ Z}. For
example, we have√6 = 2 · 3 = √ (1 + −5)(1 − −5), and it can be proved that the
numbers 2, 3, 1 + −5 and 1 − −5 are primes in this ring.
2
Prof A. Munagi Fundamental Theorem of Arithmetic MATH4024-Number Theory
(2) GCD and LCM. Let two positive integers a, b have the prime factorizations:
where ai ≥ 0, bi ≥ 0. Then
min(a1 ,b1 ) min(a2 ,b2 ) min(ak ,bk )
(a, b) = p1 p2 · · · pk
and
max(a1 ,b1 ) max(a2 ,b2 ) max(ak ,bk )
[a, b] = p1 p2 · · · pk .
(3) Proofs. Many proof problems that involve products of integers, including GCD
and LCM, can usually be settled in a straightforward manner using the Fundamental
theorem of Arithmetic.
Exercise 2. Use statement (1) to prove that the number τ (n) of positive divisors of n
is given by τ (n) = (n1 + 1)(n2 + 1) · · · (nk + 1).
Exercise 3. (a) Show that min(x, y) + max(x, y) = x + y for any real numbers x, y.
ab
(b) Use Statement (2) and part (a) to prove that [a, b] = .
(a, b)
[compare with Lec03 Theorem 1.3.]