T-invariant subspace cannot have complementary T invariant subspace

Question

I need revision of the following problem:

"Let $T$ be a linear operator on a finite-dimensional space $V$. Suppose $p(x) = f(x) = p_1(x)^r$ where $p(x)$ is the minimal polynomial, $f(x)$ the characteristic polynomial and $p_1(x)$ is an irreducible polynomial. Show that there is no non trivial T-invariant subspace with complementary T-invariant subspace."

Now, this is my attempt:
Given a T-invariant subspace, the minimal polynomial for this subspace divides the minimal polynomial $p(x)$. So, consider the polynomial $p_1(x)^k$ with $2 \le k \lt r$ and define $W = \ker(p_1(T)^{k-1})$. $W$ is clearly T-invariant.
Since $p_1^k$ divides $p_1^r$ there exists a polynomial $h$ such that $$p(x) = p_1(x)^kh(x)$$ So we get that $p_1^{k-1}h(T)$ is not the zero operator, so for a $\beta \in V$, $\beta \ne 0$ we have $p_1^{k-1}h(T)\beta \ne 0$. It follows that $$p_1(p_1^{k-1}h(T))\beta = p_1^kh(T)\beta = p_1(T)^{k-1}(p_1h(T)\beta) = 0 $$ and therefore $p_1h(T)\beta \in W$. But there is no $\gamma \in W$ such that $p_1h(T)\beta = p_1h(T)\gamma$, because if there is such $\gamma$ then $$ p_1^{k-2}p_1h(T)\gamma = p_1^{k-2}p_1h(T)\beta \\ p_1^{k-1}h(T)\gamma = p_1^{k-1}h(T)\beta \\ \underbrace{hp_1^{k-1}(T)\gamma = 0 }_{\text{since $\gamma \in W$}} = p_1^{k-1}h(T)\beta$$ But $p_1^{k-1}h(T)\beta \ne 0$, a contradiction. So, for the different choices of $k$, $W$ cannot have a complementary T-invariant subspace.

Answer 1

Let $W$ a proper invariant subspace. The minimal polynomial of $T_{|W}$ divides the minimal polynomial of $T$, so must be of form $p_1^s$ for some $s< r$. If $W$ had an invariant complement, we would conclude $p_1^{u}$ annihilates $T$, for some $u<r$.