Paper 4, Section II, G

Groups, Rings and Modules
Part IB, 2018

(a) State the classification theorem for finitely generated modules over a Euclidean domain.

(b) Deduce the existence of the rational canonical form for an n×nn \times n matrix AA over a field FF.

(c) Compute the rational canonical form of the matrix

A=(3/21011/20221/2)A=\left(\begin{array}{ccc} 3 / 2 & 1 & 0 \\ -1 & -1 / 2 & 0 \\ 2 & 2 & 1 / 2 \end{array}\right)