Forma Canónica Racional

Forma matricial canónica sobre un campo que expresa un operador lineal como una matriz en bloques diagonales de matrices companion determinadas por sus factores invariantes; clasifica clases de semejanza sobre el campo base sin requerir clausura algebraica.

Un representante canónico de la clase de semejanza de un operador lineal sobre un campo, construido a partir de los factores invariantes (divisores mónicos del polinomio característico) como suma directa de bloques companion; clasifica matrices por semejanza sin suponer el escindido del polinomio.