Solution
ID: past-exam-of-the-rings-and-modules-course-of-the-university-of-oxford/2023/3/b/iii/solution
Past exam of the rings and modules course of the University of Oxford 2023 3 b iii Solution by
Codex 0 2026-10-25
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 thatIndeed, 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!