Forme Canonique Rationnelle

Forme matricielle canonique sur un corps qui exprime un opérateur linéaire comme une matrice en blocs diagonaux composée de matrices compagnon déterminées par ses facteurs invariants ; elle classe les classes de similarité sur le corps de base sans exiger la clôture algébrique.

Un représentant canonique de la classe de similarité d'un opérateur linéaire sur un corps, construit à partir des facteurs invariants (diviseurs unitaires du polynôme caractéristique) comme somme directe de blocs compagnon ; il classe les matrices à similitude près sans supposer le scindage du polynôme.