Solution

ID: past-exam-of-the-rings-and-modules-course-of-the-university-of-oxford/2023/3/b/iii/solution

Regard as a matrix over the rational numbers. Part (a)(ii), with , gives its characteristic polynomial . Therefore, writing for the imaginary unit,
The matrix is not zero: otherwise would have noninteger diagonal entries. It consequently has rank of a matrix one over the fraction field of the Gaussian integers.
By part (b)(i), is a euclidean domain, hence a principal ideal domain, so apply Smith normal form. There exist such that
Indeed, invertible multiplication preserves rank of a matrix, so exactly one diagonal entry is nonzero. For , multiplication on the right gives . Since is an invertible matrix,
The Smith normal form supplies a kernel basis lemma ensures that the null vector is a column of an invertible matrix over ; an arbitrary nonzero solution over would not itself establish that requirement.

New to topics? Read the docs here!