Characteristic Polynomial of Restriction to Invariant Subspace Divides Characteristic Polynomial I am interested in finding a proof of the following property that does not make reference to bases, and ideally doesn't use facts about determinants that depend on the block structure of a matrix.

Let $T \in L(V,V)$ be a linear operator on a finite-dimensional space $V$.  Suppose $W \preccurlyeq V$ is a $T$-invariant subspace, that is, $T(W) \subset W$.  Consider the restriction $T_W \in L(W,W)$ of $T$ to $W$.  Then the characteristic polynomial of $T_W$ divides the characteristic polynomial of $T$.

Let $p,p_W$ be the characteristic polynomials and $m,m_W$ be the minimal polynomials.  It is easy to show "algebraically" that $m_W \mid m$ since $m$ annihilates $T_W$, so must be a multiple of the monic generator $m_W$.  However, the only proofs I have seen that $p_W \mid p$ make use of basis expansions:


*

*Let $\mathcal{B}=\{ v_1,\dots,v_n \}$ be a basis for $V$ such that $\mathcal{B}'=\{ v_1, \dots, v_r \}$ form a basis for $W$.

*The matrix of $T$ with respect to $\mathcal{B}$ has the following block form, where $A \in F^{r \times r}$ is the matrix of $T_W$ with respect to $\mathcal{B'}$, $$[T]_{\mathcal{B}} = \begin{bmatrix} A & B \\ & C \end{bmatrix} \implies xI - [T]_{\mathcal{B}} = \begin{bmatrix} xI - A & B \\ & xI-C \end{bmatrix}$$

*Then $p = \det(xI - [T]_\mathcal{B}) = \det(xI-A)\det(xI-C)$ is a multiple of $p_W = \det(xI-A)$.


The use of basis expansions and block matrices leaves something to be desired.  Is there a "matrix-free" way to prove this?  Assume we know about Cayley-Hamilton, if it helps.

The characteristic polynomial does not change if we extend the scalars. So we may assume that the basic field is algebraically closed.
Fact: the exponent  of $(x-\lambda)$ in $P_A(x)$ equals the dimension of the subspace 
$$V_{(\lambda)}\colon =\{v \in  V \ | \ (A-\lambda I)^N v= 0 \text{ for some } N \}$$
(the generalized $\lambda$ eigenspace). 
Now, if $W\subset V$ is $A$-invariant then clearly
$$W_{(\lambda)}\subset V_{(\lambda)}$$
That's enough to prove divisibility. 
In fact, if $0\to W \to V \to U\to 0$ is exact sequence of spaces with operator $A$, then 
$0\to W_{(\lambda)} \to V_{(\lambda)} \to U_{(\lambda)}\to 0$ is exact for all $\lambda$, so we get the product equality for characteristic polynomials in an extension. 
