Advanced Linear Algebra
《Advanced Linear Algebra》 · 第 170 页 · Chapter 7「The Characteristic Polynomial」
Definition Let $\tau\in\mathcal L(V)$. The characteristic polynomial $c_\tau(x)$ of $\tau$ is the product of all of the elementary divisors of $\tau$. … Similarly, the characteristic polynomial $c_M(x)$ of a matrix $M$ is the product of the elementary divisors of $M$.