Let $T$ be a linear transformation on a finite dimensional vector space $V$ over the field $F$. Let $p_T$ be the minimal polynomial of $T$ and $f_T$ be the characteristic polynomial of $T$. If $p_T = f_T = q^k$ for some irreducible $q$ with $k > 1$, show that no nonzero proper $T$-invariant subspace can have a $T$-invariant complement.

My approach so far is the following: Let $W$ be a nonzero $T$-invariant proper subspace of $V$. Suppose that $W$ has a $T$-invariant complement $W'$.

We know that since $p_T = f_T$, $T$ has a cyclic vector $\alpha$ and that $V$ has a basis $\{\alpha, T\alpha, \dotsc, T^{n-1}\alpha\}$. If $\alpha$ is in $W$ then $W' = \{0\}$ and we are done (and vice versa), so suppose $\alpha = w + w'$ where $w \in W$ and $w' \in W'$.

From here, though, I am not sure how to proceed. Is this the best approach? Is there a better one?

  • $\begingroup$ If $V=W_1\dotplus W_2$, $\dim W_j<\dim V$, then the characteristic polynomial of $T|_{W_j}$ must be of the form $q^n$ with $n<k$, but then $q^N(T)=0$ for some $N<k$ (the bigger of these two $n$'s). $\endgroup$ – user138530 Jan 4 '15 at 5:01
  • $\begingroup$ Thank you for pointing that out to me. $\endgroup$ – user169845 Jan 4 '15 at 16:02
  • $\begingroup$ The condition $k>1$ is superfluous, since for $k=1$ the statement is vacuously true (there are no nonzero proper $T$-invariant subspaces in that case). $\endgroup$ – Marc van Leeuwen Jan 12 '15 at 10:37
  • $\begingroup$ See also this question. $\endgroup$ – Marc van Leeuwen Jan 12 '15 at 13:32

As per Christian's observation in a comment on the origin question:

Let $p_W$ and $p_{W'}$ be the minimal polynomials of $W$ and $T$, respectively. Since $p_T = q^k$ with $q$ irreducible ($k = \dim V$), $p_W = q^m$ and $p_{W'} = q^{m'}$.

Now, since both $W$ and $T'$ are $T$-invariant, i.e., $TW \subseteq W$ and $TW' \subseteq W'$, we must have $m < k$ and $m' < k'$ for otherwise $W = 0$ or $W' = 0$, contrary to our assumptions.

Let $n = \max{m,m'}$; $q^n$ annihilates both $W$ and $W'$, so $q^n$ annihilates $W \oplus W' = V$. However, $n < k$, and $q^k$ is the minimal polynomial of $W$, which is a contradiction.

Therefore, if $W$ is a $T$-invariant subspace, then it cannot have a nontrivial $T$-invariant complementary subspace.

  • $\begingroup$ I don't think you properly interpreted Christains hint, and I don't understand the thrid paragraph (in which $k'$ should probably be $k$). Where exactly do you use that the minimal polynomial is also characteristic polynomial? $\endgroup$ – Marc van Leeuwen Jan 12 '15 at 10:40
  • $\begingroup$ More precisely the strict inequalities $m,m'<k$ are not justified: a the restriction to a subspace can in general very well have the same minimal polynomial as the full operator. Also the remark $k-\dim V$ is wrong; instead $\dim V=\deg(q^k)=k\deg(q)$ since $q^k$ is (also) the characteristic polynomial. $\endgroup$ – Marc van Leeuwen Mar 19 '15 at 17:24

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.