Ch13 Student
Ch13 Student
13.1 Congruences
13.1.1
Without carrying out any ‘long multiplication’ show that
Solution This exercise relies on the second part of Theorem 13.1. Note that,
in part (i), working modulo 10 is equivalent to taking the final digit.
13.1.2
Use the method of casting out nines to show that two of the following equations
are false. What can be said about the other equation?
Solution The method is to take the sum of the digits in each number, and
repeat if necessary, until we have a statement that is easy to check. If the final
statement is false, the original one must also be false. If the final statement is
true, the original statement may be true, but it could be false.
(i)
5783 × 40 162 233 256 846
23 × 13 39
5 × 4 ≡
6 12
(ii)
9787 × 1258 12 342 046
31 × 16 22
4 × 7 ≡
6 4
The original statement must be false.
(iii)
8901 × 5743 52 018 443
18 × 19 27
9 × 10 ≡ 9
13.1.3
Suppose we are given m ≥ 2 and an integer x. The remainder r when x is
divided by m satisfies
x ≡ r (mod m), 0 6 r 6 m − 1,
and is sometimes called the least non-negative residue of x (mod m). Find the
least non-negative residue of 315 (mod 17) and 1581 (mod 13).
33 = 10, 34 = 13, 35 = 5
∴ 315 = 35 × 35 × 35 = 125 = 6.
13.2.1
Complete Tables 13.2.1(a, b), the addition and multiplication tables for Z6 .
Solution
⊕ 0 1 2 3 4 5
0 0 1 2 3 4 5
1 1 2 3 4 5 0
2 2 3 4 5 0 1
3 3 4 5 0 1 2
4 4 5 0 1 2 3
5 5 0 1 2 3 4
⊗ 0 1 2 3 4 5
0 0 0 0 0 0 0
1 0 1 2 3 4 5
2 0 2 4 0 2 4
3 0 3 0 3 0 3
4 0 4 2 0 4 2
5 0 5 4 3 2 1
Solutions to Chapter 13 Exercises
in Discrete Mathematics by Norman L. Biggs;
2nd Edition 2002
13.2.2
Deduce from Theorem 7.5.2 that if x and y are integers such that xy = 0 and
x 6= 0, then y = 0. Show by counter-examples that this axiom does not hold in
Z6 , Z8 , and Z15 . Is there a counter-example in Z7 ?
yx = 0x, x 6= 0,
3×2=0 in Z6 ,
4×2=0 in Z8 ,
3×5=0 in Z15 .
There is no such example in Z7 .You can check this by looking at the multipli-
cation table. The general theory is discussed in the next section (Section 13.3).
Solutions to Chapter 13 Exercises
in Discrete Mathematics by Norman L. Biggs;
2nd Edition 2002
13.2.3
Solve the simultaneous equations
x + 2y = 4,
4x + 3y = 4
in Z7 . Is there a solution in Z5 ?
4x + 8y = 16, that is 4x + y = 2.
Subtracting this from the second equation gives 2y = 2, y = 1.
In Z5 there is no solution. There are many ways to see this: for example,
adding the equations gives 0(x + y) = 3, which is impossible.
Solutions to Chapter 13 Exercises
in Discrete Mathematics by Norman L. Biggs;
2nd Edition 2002
13.3.1
Find the invertible elements of Z6 , Z7 , and Z8 .
Z6 : 1, 5;
Z7 : 1, 2, 3, 4, 5, 6;
Z8 : 1, 3, 5, 7.
13.3.2
Show that 0 is not invertible in any Zm , but 1 is always invertible.
13.3.4
Find the inverses of
(i) 2 in Z11 ,
(ii) 7 in Z15 ,
(iii) 7 in Z16 ,
(iv) 5 in Z13 .
Solution In these examples, the inverses are easily found by trial and error.
(i) 6,
(ii) 13,
(iii) 7,
(iv) 8.
Solutions to Chapter 13 Exercises
in Discrete Mathematics by Norman L. Biggs;
2nd Edition 2002
13.3.5
Use Fermat’s Theorem to calculate the remainder when 347 is divided by 23.
13.4.1
Which of the following are difference sets?
(i) {2, 3, 5, 11} in Z13 ,
(ii) {0, 1, 3, 5} in Z13 ,
(iii) {3, 6, 7, 12, 14} in Z21 .
This is not a difference set because, for example, 11 occurs twice and 6
not at all.
(iii)
3 6 7 12 14
3 – 18 17 12 10
6 3 – 20 15 13
7 4 1 – 16 14
12 9 6 5 – 19
14 11 8 7 2 –
13.4.2
Repeat the Example given on p. 152 with 23 replaced by 11, and with 23 replaced
by 31. Make a conjecture about the parameters of the associated design when
m is any prime of the form 4n + 3.
Solution In Z11 the squares are 1, 3, 4, 5 and 9, and in the difference table
each value occurs twice. In Z31 the squares are 1, 2, 4, 5, 7, 8, 9, 10, 14, 16, 18,
19, 20, 25 and 28, and in the difference table each value occurs seven times.
We observe that working in Zp where p is a prime of the form 4n + 3, the
number of non-zero squares is 2n + 1. Furthermore, in the cases n = 2, 5, 7, each
value occurs exactly n times in the difference table. This observation leads to
the conjecture that we can always construct a 2-design with parameters
v = 4n + 3, k = 2n + 1, r2 = n
in this way. (For the proof of a more general result, see Section 23.8.)
Solutions to Chapter 13 Exercises
in Discrete Mathematics by Norman L. Biggs;
2nd Edition 2002
13.5.1
An ordinary pack (deck) of cards contains four Jacks, four Queens, four Kings,
and four Aces, one of each denomination from each of the four suits—Hearts,
Clubs, Diamonds, and Spades. Explain how to arrange these 16 cards in a 4 × 4
square in such a way that each row contains one card from each suit and one
card from each denomination. Interpret your result in terms of latin squares.
14 21 32 43
22 13 44 31
33 42 11 24
41 34 23 12
13.5.2
Use the construction given in Theorem 13.5.2 to obtain four mutually orthogonal
latin squares of order 5.
Solution
L1 : 0 1 2 3 4 L2 : 0 1 2 3 4
1 2 3 4 0 2 3 4 0 1
2 3 4 0 1 4 0 1 2 3
3 4 0 1 2 3 4 0 1 2
4 0 1 2 3 1 2 3 4 0
L3 : 0 1 2 3 4 L4 : 0 1 2 3 4
3 4 0 1 2 4 0 1 2 3
1 2 3 4 0 3 4 0 1 2
4 0 1 2 3 2 3 4 0 1
2 3 4 0 1 1 2 3 4 0