The well-known theory of the “rational canonical form of an operator” describes the invariant factors, or equivalently, elementary divisors, as a complete set of invariants of a similarity class of an operator on a finite-dimensional vector space V over a given field F. A finer part of the theory is the contribution by Frobenius dealing with the structure of the centralizer of an operator. The ...