minimal polynomial and invariant subspace I'm trying to solve the following problem:
Let $T$ be a linear transformation on a finite dimensional vector space $W$. Suppose the minimal polynomial of $T$ is $p=g_1g_2$, where $g_1, g_2$ are relatively prime, show that
(a) $W=W_1 \oplus W_2$, where $W_i=\{\alpha \in V|g_i (T)\alpha=0\}$.
(b) $W_1, W_2$ are $T$-invariant.
(c) If $T_i$ is the restriction of $T$ on $W_i$,  then the minimal polynomial of $T_i$ is $g_i$.
I have solved (a) and (b), basically using the idea that polynomials in $T$ commute with $T$, and that there exist polynomial $r_1, r_2$ such that $g_1r_1+g_2r_2=1$. However, how should I proceed to show (c)? by (a) we have $g_i(T_i)=0$, so the minimal polynomial of $T_i$ divides $g_1$.

You already know the minimal polynomial of$~T_i$, call it $m_i$, divides $g_i$. Since $T_i$ is the restriction of$~T$ to$~W_i$ you know that $m_i(T)$ vanishes on$~W_i$. Now letting $g_j=\frac p{g_i}$ be the other factor than $g_i$ (so in fact $j=3-i$), one has $g_j(T_j)=0$, so $g_j(T)$ vanishes on$~W_j$. But then the $m_ig_j(T)= m_i(T)\circ g_j(T)$ vanishes on both $W_i$ and $W_j$, and therefore on the whole space. If $m_i$ were a strict divisor of $g_i$, then $m_ig_j$ would be a strict divisor of $g_ig_j=p$, contradicting that $p$ is minimal polynomial. So $m_i=g_i$.
