A canonical matrix form over a field that expresses a linear operator as a block diagonal matrix of companion matrices determined by its invariant factors; it classifies similarity classes over the base field without requiring algebraic closure.

Principle

Translate the structure theorem for finitely generated modules over a principal ideal domain into linear algebra: the vector space viewed as a module over the polynomial ring decomposes into a direct sum of cyclic modules whose companion matrices form the rational canonical blocks.

Demonstration

Given an endomorphism with characteristic polynomial factored into invariant factors m1(x) | m2(x) | ... , construct companion matrices for each invariant factor and assemble them block-diagonally to obtain the rational canonical form that is unique up to ordering of blocks.

Misapplication

Attempting to use rational canonical form as if it provided eigenvalues or eigenvectors over an extension field; while it determines similarity over the base field it does not replace Jordan form when one wants explicit eigenbases over an algebraic closure.

Consequence

Provides a field-independent complete invariant for similarity of matrices, enabling classification of linear operators over arbitrary fields and yielding algorithmic procedures to compute canonical blocks and minimal polynomials.

Reversal

Contrast with Jordan canonical form, which decomposes into Jordan blocks after passing to an algebraic closure and emphasizes generalized eigenvectors; the Jordan form is finer in an algebraically closed field but not defined over every base field without extension.

Boundary

Applies to linear endomorphisms of finite-dimensional vector spaces over a field; it presumes the module structure over the polynomial ring and does not directly handle infinite-dimensional operators or objects outside the linear-algebra-over-field setting.

Semantic Tension

Tension arises between rational canonical form and Jordan form: RCF is canonical over the base field and uses companion blocks from invariant factors, whereas Jordan form gives explicit nilpotent structure and eigenbases over algebraic closures when available.

Synthesis

Rational canonical form packages the invariant-factor decomposition of a linear operator into a block diagonal matrix of companion blocks, giving a field-independent canonical representative of the similarity class and encoding minimal and characteristic polynomial data.