rational canonical form

Overarching theorem

Let be a finite dimensional vector space over and a -linear map. There is a decomposition

where each is a cyclic -module isomorphic to for a polynomial such that

Moreover, is uniquely determined by and is the minimal polynomial of .

Proof

Since is a vector space it is a finitely generated torsion module by this identification. Therefore, by the theorems for finitely generated PID modules, we can use the decomposition into cyclic modules.

Since for all , we have . There cannot be a polynomial of degree less than that would annihilate because it would not annihilate . So is the minimal polynomial of .

Rational canonical form

Using this decomposition, has a decomposition into a rational canonical form which is a basis of in which acts by the matrix

Where is the companion matrix for the cyclic component. Moreover, two -linear map are similar if and only if they have the same rational canonical form.

In a bigger field

Let be a subfield and

1. The rational canonical form of is the same whether computed in or . In particular, the minimal polynomial of is the same whether computed in or

2. The matrices and are similar over if and only if they are similar over . In particular, if there exists such that then there exists such that .

Proof

1. The rational canonical form of is defined over . Since rational canonical form is unique (and determines the minimal polynomial as the largest invariant factor), this prove the first statement.

2. This statement is true by the first statement and that 2 matrices are similar if and only if they have the same rational canonical form.

Computing the rational canonical form

In order to compute the rational canonical form, we generally need to use the characteristic polynomial and the Cayley-Hamilton theorem.