Mathematics for Computer Science

“mcs” — 2017/3/3 — 11:21 — page 311 — #319
9.6. Modular Arithmetic 311
where r 1 ; r 2 2 Œ0::n/. Subtracting the second equation from the first gives:
a b D .q 1 q 2 /n C .r 1 r 2 /;
where r 1 r 2 is in the interval . n; n/. Now a b .mod n/ if and only if n
divides the left-hand side of this equation. This is true if and only if n divides
the right-hand side, which holds if and only if r 1 r 2 is a multiple of n. But the
only multiple of n in . n; n/ is 0, so r 1 r 2 must in fact equal 0, that is, when
r 1 WWD rem.a; n/ D r 2 WWD rem.b; n/.
So we can also see that
29 15 .mod 7/ because rem.29; 7/ D 1 D rem.15; 7/:
Notice that even though “(mod 7)” appears on the end, the symbol isn’t any more
strongly associated with the 15 than with the 29. It would probably be clearer to
write 29 mod 7 15, for example, but the notation with the modulus at the end is
firmly entrenched, and we’ll just live with it.
The Remainder Lemma 9.6.1 explains why the congruence relation has properties
like an equality relation. In particular, the following properties 9 follow immediately:
Lemma 9.6.2.
a a .mod n/ (reflexivity)
a b IFF b a .mod n/ (symmetry)
.a b AND b c/ IMPLIES a c .mod n/ (transitivity)
We’ll make frequent use of another immediate corollary of the Remainder Lemma 9.6.1:
Corollary 9.6.3.
a rem.a; n/ .mod n/
Still another way to think about congruence modulo n is that it defines a partition
of the integers into n sets so that congruent numbers are all in the same set. For
example, suppose that we’re working modulo 3. Then we can partition the integers
into 3 sets as follows:
f : : : ; 6; 3; 0; 3; 6; 9; : : : g
f : : : ; 5; 2; 1; 4; 7; 10; : : : g
f : : : ; 4; 1; 2; 5; 8; 11; : : : g
9 Binary relations with these properties are called equivalence relations, see Section 10.10.