5.1 Introduction to congruences
We begin with the formal definition of the notion at the heart of this
chapter.
Definition 5.1.1
Given and , we say that
is congruent to modulo if divides . In this
case we write ; otherwise we write .
A statement of the form ‘‘’’ is called a congruence; the number is called the modulus here.
Example 5.1.2
-
(i)
We have because
-
(ii)
We have because
-
(iii)
We have because
-
(iv)
We have because
The following result gives two alternative ways of expressing that
.
Proposition 5.1.3
For and ,
the following three conditions are equivalent:
-
(a)
-
(b)
for some ;
-
(c)
and have the same remainder on
division by .
Example 5.1.4
If , and , then we have
-
(a)
because
-
(b)
, so we can take
-
(c)
and
, so and both
have remainder on division by .
Proof. We shall show that each condition implies the next (and the
last implies the first).
‘‘(a)(b)’’. If
, then for some
, and so
‘‘(b)(c)’’. Suppose
that , and let the remainder on dividing by
be , so that for some
. Then we have
|
|
|
which shows that the
remainder on dividing by is also
‘‘(c)(a)’’. If both
and have remainder on division by , then we can write
and for some
; thus
|
|
|
and so
Corollary 5.1.5
Let and .
-
(i)
The numbers congruent to modulo are
|
|
|
-
(ii)
If the remainder on dividing by is , then
, and is the only integer in
which is congruent to modulo .
Example 5.1.6
-
(i)
The numbers congruent to modulo are
|
|
|
-
(ii)
The remainder on dividing by is
, so that , and
is clearly the only integer in
which is congruent to modulo .
Proof. (i). This is clear from Proposition 5.1.3(b).
(ii). Proposition 5.1.3(c) shows that . The uniqueness of follows from the uniqueness of the
remainder in Theorem 4.1.8.
The congruence looks a little like the equation
, and we shall see that it behaves in a somewhat similar fashion.
Lemma 5.1.7
Let and , and
suppose that . Then
|
|
|
Example 5.1.8
Since , we have
,
|
|
|
and .
Proof. If divides , then also divides
, and
Lemma 5.1.9
Suppose that and , where
and . Then .
Example 5.1.10
Since and , we
have .
Proof. By assumption, divides and
, and so Lemma 4.2.13 implies that
divides