Just as in the case of set theory, our discussion of number
theory will be strictly naive, e.g., we shall not
develop
from axioms, we shall just assume that if
and
, then
has a smallest element, etc. We
first establish the division algorithm:
Proof:
Let
Suppose now that
Let
. We say that
divides
,
written
, if
there exists a
such that
. If
does not
divide
, we write
.
We observe first that if the
, then it is
unique. To see this, suppose we have two g.c.d.'s
and
. Since
and
, and since
, then
we must have
. Similarly,
; hence
(since the g.c.d.
, by definition).
Now let us show the g.c.d exists. Suppose
and
also suppose
or
.
We let
denote the set of all positive integers of the
form
where
.
, and therefore,
must contain a smallest
integer,
. We claim that
. Since
,
there exist
such that
If
and
, then clearly from (1.3)
. Therefore, we must simply show that
and
. By the Division Algorithm,
Summarizing, we have the following result.
Note that while
is unique,
and
are not, e.g.,
if
and
, then
and
can be
,
,
. etc. We note that the proof we have given
for the existence of the g.c.d. is not constructive.
We wish now to given an alternate proof for the existence of
the g.c.d. which at the same time yields a
systematic finite constructive way (or an algorithm) for
obtaining it. (This is called the Euclidean Algorithm.)
We assume without loss of generality that
(go through
this for
to convince yourself that it can be
done!). We then write
Now we claim that the above Euclidean Algorithm yields the gcd.
Proof:
Note that
, so from the next to the last equation
in (1.4), we see that
,
and continuing up the
``scale'' in (1.4), we eventually see that
and
.
Now if
and
, then the first equation in
(1.4)
implies that
, which implies, by the second equation
that
, and continuing down in this fashion, we
finally have that
. Thus
.
The reader should have no difficulty in applying this
algorithm to particular cases. It also should be noted
that the Euclidean Algorithm, in particular equations
(1.4),
may also easily be used to write the g.c.d. of
and
as a linear combination of
and
, i.e., in the
form
with
.
For
, if
, then we say that the
integers
and
are relatively prime (or coprime).
As in the case of the g.c.d., it is easy to see that if
the l.c.m. exists it is unique. Therefore we consider the
existence. Since by Definition 1.2.4
for
any
, we now assume that both
and
are nonzero
integers. Note that there is at least one positive common
multiple, namely
. Thus there must exist a
smallest positive common multiple. Call it
. Let
be any
common multiple of
and
. Clearly,
.
However,
and
; therefore,
.
Similarly,
. Hence,
is a common multiple
of
and
. Since
was chosen as the smallest positive
common multiple, we must have
. This
implies
, and completes the existence proof.
We will now establish a few useful properties regarding the g.c.d. and l.c.m. which will be used quite frequently.
Proof:
Let
and
.
Since
and
, we have that
and
;
consequently
. On the basis of Theorem 1.2.3,
we can write
, where
.
Then
from which it is clear that
.
Thus
, i.e.,
.
The next theorem is actually a simple consequence of Theorem 1.2.5.
Proof:
,
by Theorem 1.2.5. A division by
completes the proof.
Proof:
.
In other words, the corollary states that when two numbers are divided by their g.c.d., the resulting quotients will be relatively prime.
Proof:
Since
, there exist integers
and
such that
. Thus
, and since
and
, it is clear that
.
Using this notion, we can immediately state the following corollary to Theorem 1.2.8.
Proof:
If
, are done. If
, then we claim that the
. For if
, then
and
. From the definition of prime,
implies
or
(recall that the g.c.d.
). Since
,
must be 1.
Now from Theorem 1.2.8,
and
imply
.
As our final theorem pertaining directly to
divisibility in
, we establish the following connection between
the g.c.d. and l.c.m.
Proof:
Consider
.
We can write this as
As our final consideration in this section, we turn to the
equivalence relation introduced in Example 1.1.3.
We recall that
(mod
) means
.
We next note that any integer a is congruent modulo
to one of the integers
. For by
the Division Algorithm, we can write
, where
,
so
, i.e.,
mod
, where
.
We therefore have
distinct equivalence classes
,
,
, ...,
such that any integer is in one of these
classes, and the classes are disjoint.
The equivalence classes for this special equivalence relation are usually
called residue classes modulo
, and a set of elements,
exactly one from each class, is referred to as a
complete residue system modulo
.
We shall now establish a few properties of the congruence relation.
Proof:
For (1),
and
imply
,
i.e.,
which is equivalent
to (1). For (2),
and
imply
and
.
Thus
or
, which is equivalent to (2).
Thus with regard to addition and multiplication, the
congruence relationship behaves like equality. This
ceases to be the case with divisibility; e.g., it does
not follow from
(mod
)
that
(mod
). For
example
(mod
) but
(mod
).
We do, however,
have the following theorem pertaining to division.
Proof:
By the hypothesis,
.
Let
and
where
, and
by the Corollary 1.2.7.
Then
, or
.
Since
, Theorem 1.2.8 implies that
. This means that
(mod
)
and since
this completes the proof.
We can see from this theorem that should
(i.e., if
and
are relatively prime), then we can
divide by
in a relationship of the form
(mod
).
One can show, that if
, then
.
Such functions are called multiplicative.
(See Theorem 9.2.5.)
Finally, suppose that
is an integer prime to the positive
integer
, i.e.,
. We claim that
every element of the residue class
is also prime to
.
Thus suppose that
, so
(mod
).
If
, then since
,
, but
, so
.
Consequently,
and
which implies
since
.
On the basis of this it makes sense to
say that a residue class is prime to
. We know
that there are
residue classes prime to
,
and a set of elements, exactly
one from each of these classes, is called
a reduced residue system modulo
.
We shall denote the set
of residue classes prime to
by
.