Recall integers and
are relatively prime if
.
In this section, we will introduce three important multiplicative functions. Note these functions are determined by their values on the prime powers.
You may have guessed the strategy for finding a formula for multiplicative functions. Since , for any prime numbers
and
, in order to find a formula for
, where
is a positive integer and
is a multiplicative function, we factor
as a product of prime powers and our work is reduced to finding a formula for
, where
is the highest power of the prime
dividing
.
proof: By Theorem 1.5.11 (1) all divisors of are of the form:
, where
. Therefore, there are
choices for
,
choices for
, etc, which gives us the above formula.
proof: Let and
be relatively prime positive integers. We write the prime factorizations as follows:
We have , which, by Theorem 1.6.5, is equal to:
.
proof: Let and
be relatively prime positive integers with positive divisors
and
, respectively. Then:
Let be a positive integer. Recall the Euler phi function,
, is the number of positive integers less than or equal to
which are relatively prime to
.
proof: The positive integers less than or equal to , which are not relatively prime to
are all multiples of
:
. Thus, we can see that there are
such integers. Since there are
integers less than or equal to
, it follows that:
Our next goal is to show that is multiplicative. This result, the Fundamental Theorem of Artithmetic, and Lemma 1.6.8 will give us a formula for
, for any positive integer
.
We start with a lemma. Recall that for integers and a fixed integer
, we define
if and only if
.
proof: Write , for some integer
. The rest of the proof is left as an exercise.
proof: Let and
be positive integers with
. Write the numbers
to
as an array:
Consider the row:
, where
. Suppose
, with
. Then
divides
. But, since
, it follows from Proposition 1.2.16(2) that
divides
, i.e.
. This, together with the above inequalities involving
and
show that
. Therefore, no two elements in the
row are congruent
. By Lemma 1.6.9, every element in the
row is relatively prime to
. Since no two elements are congruent, their least residues are
, in some order. By definition, exactly
elements of
are relatively prime to
. It then follows that there are exactly
elements in the
row which are relatively prime to
which completes the proof.
proof: Since for all
, the result follows from Lemma 1.6.8 and Theorem 1.6.10.
Solution: We know that and
if and only if
is prime. In general,
, where
and
, for
. Therefore,