Algebraic and Analytic Geometry
《Algebraic and Analytic Geometry》 · 第 539 页 · Section 7.4「The Rational Canonical Form」，定义段
The polynomials corresponding to the companion matrices that determine this form are unique. These polynomials, which are powers of the irreducible monic divisors, are called the elementary divisors of the linear operator.