Professional Documents
Culture Documents
Examiners' Commentaries 2016: MT2116 Abstract Mathematics Comments On Specific Questions
Examiners' Commentaries 2016: MT2116 Abstract Mathematics Comments On Specific Questions
Question 1
Parts (a) and (b) of this question build on the material of Chapter 1 of the subject
guide. See section 4.6, on the Pigeonhole Principle, of the subject guide for part (c).
Part (a)
(i) Take any n which is a multiple of 4. By definition, the fact that n is a multiple
of 4 means that there is some natural number m such that n = 4 m. Now we can
write 9n + 30 = 36m + 30 = 6(6m + 5). So by writing k = 6m + 5 we see that we
have 9n + 30 = 6k. And since m is a natural number, k = 6m + 5 is also a natural
number.
(ii) The converse of a statement “if p then q” is the statement “if q then p”. So the
converse of the statement is
This statement is false. A statement of type “if q then p” is false if and only if
there is an example where q is true and p is false – i.e., a counterexample. A
counterexample here will be a natural number n so that 9n + 30 is a multiple of 6,
but n is not a multiple of 4. For a counterexample, we can use n = 2:
9n + 30 = 48 = 6 × 8, but n is not a multiple of 4.
Part (b)
1
MT2116 Abstract mathematics
p q r r ⇒ q p ∧ q (p ∧ q) ⇒ r S
T T T T T T T
T T F T T F F
T F T F F T F
F T T T F T T
T F F T F T T
F T F T F T T
F F T F F T F
F F F T F T T
p q r ¬p ¬q ¬r ¬p ∨ ¬q (¬p ∨ ¬q) ∧ ¬r q ∧ r T
T T T F F F F F T T
T T F F F T F F F F
T F T F T F T F F F
F T T T F F T F T T
T F F F T T T T F T
F T F T F T T T F T
F F T T T F T F F F
F F F T T T T T F T
We find that the two final columns, for S and T , are identical. Hence these statements
are logically equivalent.
Part (c)
Each of the 9 elements of S will be congruent modulo 8 to exactly one of the 8 numbers
from 0 to 7. Since S has 9 elements, there will, by the Pigeonhole Principle, be at least
two elements, say x and y that are congruent to the same number, a, say. But that
means x − y ≡ a − a = 0 (mod 8), and hence 8 divides x − y.
Question 2
2
Examiners’ commentaries 2016
Part (a)
n
X
(i) Let P (n) be the statement that (4 k − 3) = n (2 n − 1). The statement P (1) is
k=1
P1
True, since k=1 (4 k − 3) = 4 · 1 − 3 = 1 and 1 · (2 · 1 − 1) = 1. Now suppose
n
X
that P (n) is true, i.e.: (4 k − 3) = n (2 n − 1).
k=1
Then we have
n+1
X n
X
(4 k − 3) = (4 k − 3) + (4 (n + 1) − 3)
k=1 k=1
= (n (2 n − 1)) + (4 n + 1)
= 2 n2 − n + 4 n + 1
= 2 n2 + 3 n + 1
= (n + 1) (2 n + 1)
= (n + 1) (2 (n + 1) − 1).
n+1
X
So we see that (4 k − 3) = (n + 1) (2 (n + 1) − 1), i.e. that P (n + 1) is true. By
k=1
the principle of induction, it follows that P (n) is true for all n ∈ N.
(ii) Let P (n) be the statement that 3n > n3 . The statement P (4) is true, since 34 = 81
and 33 = 27 < 81. Now suppose P (n) is true and n ≥ 4. To show that P (n + 1) is
true, we have to prove that 3n+1 > (n + 1)3 . First, notice that 3n+1 = 3.3n > 3n3 ,
by the inductive assumption that P (n) is true. So it suffices to prove that
3n3 > (n + 1)3 . Now, since n ≥ 4, 3n3 = 3n(n2 ) ≥ 12n2 . Furthermore,
(n + 1)3 = n3 + 3n2 + 3n + 1 ≤ n3 + 3n3 + 3n3 + n3 = 8n3 ,
so we do indeed have 3n+1 > (n + 1)3 , and so P (n + 1) is true. By the principle of
induction, it follows that P (n) is true for all n ≥ 1.
Part (b)
We need to prove f is injective and surjective. For injectivity, we need to prove that for
all z1 , z2 ∈ Z with z1 6= z2 we have f (z1 ) 6= f (z2 ). So, take any z1 , z2 ∈ Z with z1 6= z2 .
If z is odd, then f (z) = z + 3 is even; while if z is even, then f (z) = z + 1 is odd.
So if one of z1 , z2 is even and the other odd, then we certainly have f (z1 ) 6= f (z2 ).
This means we only have to consider the case that z1 , z2 are both even or both odd.
If z1 , z2 are both even, then f (z1 ) = z1 + 1 and f (z2 ) = z2 + 1. Since z1 6= z2 , we have
z1 + 1 6= z2 + 1, hence f (z1 ) 6= f (z2 ).
And if z1 , z2 are both odd, then f (z1 ) = z1 + 3 and f (z2 ) = z2 + 3, and exactly the same
argument leads to f (z1 ) 6= f (z2 ). To establish surjectivity, we need to prove that for all
y ∈ Z, there is an x ∈ Z so that f (x) = y. Take any y ∈ Z. We distinguish two cases :
3
MT2116 Abstract mathematics
Part (c)
Question 3
See Chapters 6 and 7 of the subject guide for the related background material for
this question.
Part (a)
Given that 2p − 1 is a prime, the divisors of n = 2p−1 (2p − 1) are the numbers 2i for
i = 0, 1, . . . , p − 1 and (2p − 1)2i for i = 0, 1, . . . , p − 1. Therefore
p−1 p−1 p−1
X X X
i i p p
σ(n) = 2 + 2 (2 − 1) = 2 2i = 2p (2p − 1) = 2n.
i=0 i=0 i=0
So n is perfect.
4
Examiners’ commentaries 2016
Part (b)
Part (c)
The fact that 2a ≡ 2b (mod 2m) means 2m|(2a − 2b). Thus, for some integer k,
2a − 2b ≡ k(2m), so a − b = km is a multiple of m, and a ≡ b (mod m). Finally, we have
2(2) ≡ 2(5) (mod 6), but 2 is not congruent to 5 mod 6.
Question 4
See Chapter 8 of the subject guide for the relevant background material for all parts
of this question.
Part (a)
Part (b)
We have
|z + iz|2 = (z + iz)(z + iz) = (z + iz)(z − iz) = zz + iz 2 − iz 2 + zz = 2|z|2 + i(z 2 − z 2 ).
5
MT2116 Abstract mathematics
Now, for any w ∈ C, w − w = 2i Im(w), so (with w = z 2 , and noting that z 2 = (z)2 , the
expression equals
2|z|2 − i(2i Im(z 2 )) = 2|z|2 + Im(z)2 .
Part (c)
Question 5
See Chapter 10 of the subject guide for the background material to parts (a) and (c)
of the question. See Chapter 11 f the subject guide for the relevant background
material for part (b).
Part (a)
You must get this definition right, otherwise this whole part of the question cannot be
answered correctly. We have: xn → L as n → ∞ if, for all > 0, there is N such that
|xn − L| < for all n > N . We note that
|xn − xm | = |xn − L + L − xm | = |xn − L − (xm − L)| ≤ |xn − L| + |xm − L|.
Since (xn ) converges to L, for ε > 0, we can find N such that for n > N , we have
|xn − L| < ε/2. Hence, for n, m > N , we have
|xn − xm | ≤ |xn − L| + |xm − L| < ε/2 + ε/2 = ε.
Suppose that (yn ) has a convergent subsequence (ykn ). Let xn = ykn . Then (xn )
converges to some L. So, by the above, there is N such that for n, m > N , we have
|xn − xm | < 1/100. On the other hand, by our assumption, for any n, m, we have
|xn − xm | = |ykn − ykm | > 1/100,
and this is a contradiction.
6
Examiners’ commentaries 2016
Part (b)
We first notice that g(2016) = (2016 − 2016)f (2016) = 0. To prove that g is continuous
at 2016, we need to show that for every > 0 there exists δ > 0 such that for every x
such that |x − 2016| < δ, we have |g(x) − g(0)| < . We look at |g(x) − g(0)|:
We know that |x − 2016| < δ and that |f (x)| < 2. So, we set δ = ε/2 and obtain:
Part (c)
2
= lim q q
n→∞ 1 1
1+ n
+ 1− n
2
=√ √
1+0+ 1−0
= 1.
Question 6
Part (a) is on the limits of functions which is discussed in Chapter 11 of the subject
guide. Part (b) looks at the concepts of suprema and infima, which are covered in
Chapter 9 of the subject guide. Part (c) draws on concepts of Chapter 10 of the
subject guide.
Part (a)
f (x) tends to L as x tends to a means that for any > 0 there is δ > 0 such that if
0 < |x − a| < δ, then |f (x) − L| < .
“Using this formal definition” means showing that for any > 0 there is some δ > 0
(which will depend on and which we will produce) such that if 0 < |x − 2| < δ then
|f (x) − 1| < . (It is not appropriate to use results on the ‘algebra of limits’ here
because the question specifically asks us to use the formal definition.) Now,
|f (x) − 1| = (x − 1)2 − 1 = x2 − 2x = |x||x − 2|.
7
MT2116 Abstract mathematics
and we can make this less than > 0 if, additionally, |x − 2| < /3. So, if both
|x − 2| < 1 and |x − 2| < /3 then we will have |f (x) − 1| < . Thus, if we let
δ = min(1, /3), it will be the case that |x − 2| < δ implies |f (x) − 1| < and we are
done.
Part (b)
Suppose that τA and τB are the infima of A and B, respectively. Then, for all a ∈ A and
for all b ∈ B, we have a ≥ τA and b ≥ τB . In particular, therefore, if τ = min{τA , τB }
then for all a ∈ A and b ∈ B, a ≥ τ , b ≥ τ . Any c ∈ C belongs to either A or B and
hence satisfies c ≥ τ . So, C is bounded below by τ . It follows that C has a greatest
lower bound, τC and that τC ≥ τ . (It does not yet follow that τC = τ : for that, we need
to do more work!) We might as well suppose that τA ≤ τB (for, if not, a very similar
argument can apply). In other words, we may assume ‘without loss of generality’ that
τA ≤ τB . So this means τ = τA . Now, since τA is the greatest lower bound for A, if
τ 0 > τ then there is some a ∈ A such that a < τ 0 . But since C = A ∪ B, this a belongs
to C. So, we see that: for any τ 0 > τ there is some c ∈ C with c < τ 0 . This shows that τ
is the greatest lower bound for C. That is, τC = τ , as required.
Part (c)
8
Examiners’ commentaries 2016
Question 7
See Chapters 12 and 13 of the subject guide for the relevant background material to
this question.
Part (a)
See Chapter 12 of the subject guide for relevant background material. Let (G, ?) be a
group with identity e. The inverse of a ∈ G is an element a−1 of G satisfying
a ? a−1 = a−1 ? a = e. But this means that also a−1 ? a = a ? a−1 = e. We know that the
inverse is unique, hence (a−1 )−1 = a. For a, b ∈ G, we notice that
and
(b ? a−1 ) ? (a ? b−1 ) = b ? (a−1 ? a) ? b−1 = b ? e ? b−1 = b ? b−1 = e.
Again, since the inverse is unique, we have that (a ? b−1 )−1 = b ? a−1 .
Part (b)
Recall, from Chapter 12 of the subject guide, that (S, ∗) is a group if and only if the
following properties hold:
Here we used the fact that a, c 6= 0 and, hence, part (a) applies to the multiplicative
group Z∗5 .
1 0
Secondly, clearly ∈ G by taking a = 1 and b = 0.
0 1
a b
Finally, we need to find an inverse of ∈ G. In the above, we set
−1
0 a
ac = 1 = (ac) and ad + bc = 0. Again, since a 6= 0, in the multiplicative group Z∗5 ,
−1 −1
we get c = a−1 . Hence, we have ad + b(a−1 )−1 = 0, from which we obtain that ad = −ba,
or da = −ba because Z∗5 is abelian and (a−1 )−1 = a. By multiplying by a−1 , we get
9
MT2116 Abstract mathematics
−1 −1
a −b a −b
d = −b. So, = ∈ G is the inverse. The order of G is 20
0 a 0 (a−1 )−1
because there are 4 ways to choose a 6= 0 and 5 ways to choose b.
Part (c)
1 0
H is non-empty because ∈ H. We also see that
0 1
−1
a 0 c 0 = ac a0 + 0c = ac 0
∈H
0 a−1 0 c−1 0 (ac)−1 0 (ac)−1
and
−1
−1
a 0 a −0 ∈ H.
=
0 a−1 0 −1 −1
(a )
Question 8
See Chapters 12, 13 and 14 of the subject guide for the relevant background material
to this question.
Part (a)
(x ∗ y) ∗ z = (xgy) ∗ z = (xgy)gz
and
x ∗ (y ∗ z) = x ∗ (ygz) = xg(ygz).
But because multiplication in G is associative, these two expressions are equal to each
other.
If x ∈ G then x ∗ g −1 = xgg −1 = x and g −1 ∗ x = g −1 gx = x, so e = g −1 is an identity
element for the operation.
Suppose x ∈ G. To determine an inverse for x, we need b such that
x ∗ b = b ∗ x = e = g −1 . That is, we need xgb = bgx = g −1 . This is satisfied by
b = g −1 x−1 g −1 , and so every element of G has an inverse.
10
Examiners’ commentaries 2016
Part (b)
We have
λx (λy (g)) = λx (yg) = x(yg) = (xy)g = λxy (g).
λxy = λx λy .
11