The University of Edinburgh
College of Science and Engineering
School of Mathematics
Mathematics 3 Honours
MATH10069 Honours Algebra
Wednesday 8th May 2019
2.30pm – 5.30pm
Chairman of Examiners – Professor A Olde Daalhuis
External Examiner – Professor G Brown
In this examination, candidates are allowed to have three sheets of A4 paper with
whatever notes they desire written or printed on one or both sides of the paper.
Magnifying devices to enlarge the contents of the sheets for viewing are not
permitted. No further notes, printed matter or books are allowed in this exam.
Calculators and other electronic aids
A scientific calculator is permitted in this examination.
It must not be a graphical calculator.
It must not be able to communicate with any other device.
This examination will be marked anonymously.
MATH10069
Honours Algebra
1
(1) Give an example of the following. [Explanations or justifications are not required.]
(a) An infinite dimensional vector space.
(b) A vector space with exactly 32 elements.
(c) A basis for the complex numbers C, considered as a vector space over the real
numbers R.
(d) A linear mapping f : R3 → R3 whose rank is 1.
(e) An injective linear mapping from a vector space of dimension 1 to a vector space
of dimension 2.
(f) A mapping from a vector space of dimension 2 to a vector space of dimension 2
that is not linear.
(g) A non-zero alternating bilinear form on V × V → R for some real vector space
V .
(h) A commutative ring that is not an integral domain.
(i) A ring that is not commutative.
(j) A ring whose group of units is infinite.
(k) A matrix A ∈ Mat(2;R) that has two distinct real eigenvalues.
(l) A matrix A ∈ Mat(2;R) that has no real eigenvalues.
(m) A matrix with entries in R that is not diagonal but that is diagonalisable.
(n) A non-diagonalisable matrix with entries in C.
(o) An invertible (3× 3)-matrix with trace 1.
(p) A non-invertible matrix whose determinant is not zero. (You must explain which
ring of matrices you are considering.)
(q) A (4 × 4)-matrix all of whose entries are non-zero real numbers and that has
the eigenvalue 1 with algebraic multiplicity 1.
(r) An inner product on C2.
(s) A self-adjoint operator on C2 with respect to the inner product you defined.
(t) A non self-adjoint operator on C2 with respect to the inner product you defined.
[20 marks]
MATH10069
Honours Algebra
2
(2) (a) Let S(2) = (~e1, ~e2) be the standard basis of R2 and let B = (~v1 = −3~e1+2~e2, ~v2 =
2~e1 − ~e2). Show that B is a basis of R2. Now suppose that a linear mapping
f : R2 → R2 is represented with respect to S(2) by the matrix
A =
(−6 −9
4 6
)
Find the matrix B that represents f with respect to B. Write down an explicit
equation that expresses the relationship between A and B. [7 marks]
(b) In each of the following cases state whether the given formula defines an inner
product on R2. For any that are not inner products, give a counterexample;
for any that are inner products, a proof is not required. In each formula ~x =
(x1, x2)
T and ~y = (y1, y2)
T.
(i) (~x, ~y) = x1y1 + 2x1y2 + 2x2y1 + 3x2y2.
(ii) (~x, ~y) = x21y
2
1 + 5x2y2.
(iii) (~x, ~y) = x1y1 + x1y2 + x2y1 + 3x2y2.
[5 marks]
(c) Let A ∈ Mat(4;C) be the following matrix:
A =

2 −1 −3 2
4 −4 −4 4
−4 4 4 −4
−6 5 7 −6

There exists a matrix P ∈ Mat(4;C) such that
P−1AP =

0 0 0 0
0 0 1 0
0 0 0 0
0 0 0 −4

[You do not need to prove this.] Find P . [8 marks]
MATH10069
Honours Algebra
3
(3) (a) Define what it means for a ring to be an integral domain. State and prove
the cancellation theorem for integral domains. Prove that Z[X] is an integral
domain. [5 marks]
(b) Let V be a finite dimensional complex inner product space. Define the norm on
V and state and prove the Cauchy-Schwarz inequality. [8 marks]
(c) Let A be a matrix with entries in a field F . Define the determinant det(A),
explaining any terminology you use. Prove that det(AT) = det(A). Define
χA(x) ∈ F [x], the characteristic polynomial of A and show that the eigenvalues
of A in F are exactly the roots of the polynomial χA(x). [7 marks]
MATH10069
Honours Algebra
4
(4) (a) Let f : R → S be a ring homomorphism. Define the kernel and image of f
and prove that the image of f is a subring of S. State the First Isomorphism
Theorem for Rings. [8 marks]
(b) Let A ∈ Mat(3;F2). Show that the mapping fA : F2[X] → Mat(3;F2), defined
by
p0 + p1X + p2X
2 + · · ·+ pnXn 7→ p0I + p1A+ p2A2 + · · ·+ pnAn
for any p0 + p1X + p2X
2 + · · ·+ pnXn ∈ F2[X], is a ring homomorphism. Using
the First Isomorphism Theorem or otherwise, prove that the image of fA is a
field with 8 elements when
A =
0 0 11 0 0
0 1 1
 .
[12 marks]
[End of Paper]