Rational canonical form with irreducible minimal polynomial

ID: rational-canonical-form-with-irreducible-minimal-polynomial

Let act on a nonzero finite-dimensional vector space over a field , with minimal polynomial an irreducible polynomial of polynomial degree . The nonconstant invariant factors of a linear operator all divide , so each equals . Their degrees sum to the dimension of a vector space, giving and rational canonical form consisting of copies of the companion matrix . Equivalently, make the vector space a module over the field by letting act as ; a basis over this field gives the same block decomposition.

New to topics? Read the docs here!