Solution

ID: past-exam-of-the-algebra-course-of-the-university-of-oxford/2007/a/4/i/solution

An -module isomorphism is a -linear isomorphism satisfying , by applying it to multiplication by . Conversely that identity implies for every polynomial, so a similarity is an -module isomorphism.
The cyclic decomposition theorem over the principal ideal domain states that any finitely generated module is
with nonunit monic invariant factors, uniquely determined, and free rank uniquely determined. A finite-dimensional -space has . In each cyclic summand the basis makes multiplication by the companion matrix of . Their block diagonal sum is the rational canonical form.
Here the two polynomials are already in divisibility order. With the companion convention having ones below the diagonal,
Integer coefficients are interpreted in , so this remains valid in characteristics two and three.
In the cyclic case there is one companion block . Its defining polynomial is both characteristic and minimal: the vector represented by is cyclic and a polynomial annihilates it exactly when divisible by . Thus the minimal polynomial is read directly from that block.

New to topics? Read the docs here!