Let $k$ be a field, let $n\in\mathbb N$ with $n\ge 1$, let $M_n(k)$ be the ring of $n\times n$ matrices over $k$, let $I_n\in M_n(k)$ denote the identity matrix, and let $A\in M_n(k)$ be invertible. Let $\det: M_n(k)\to k$ denote the determinant map, and let $t$ be an indeterminate over $k$. Let $\chi_A\in k[t]$ be the [characteristic polynomial](/page/Characteristic%20Polynomial) of $A$, defined by $\chi_A(t)=\det(tI_n-A)$. Write