Linear Algebra – Minimal Polynomial and Invariant Subspaces

linear algebra

Let $T$ be a linear operator on the $n$ dimensional vector space $\mathbb{V}$. Suppose that $\mathbb{V} = \sum_{i=1}^{k}W_i$ where each $W_i$ is $T$ – invariant. Let $\mu_{T_i}$ be the minimal polynomial of the operator restricted to $W_i$. If the minimal polynomials of all restrictions are coprime, that is if $\gcd(\mu_{T_i}, \mu_{T_j}) = 1$ for $i\neq j$, is it true that the subspaces $W_i$ are independent? That is, $\mathbb{V} = \bigoplus_{i=1}^k W_i$. Perhaps more generally, is it true that if the minimal polynomials of two subspaces are coprime, then the two subspaces are independent?

The converse is easily seen to be false, the identity operator is a clear counterexample. I haven't been able to find an easy counterexample to the above statement however. A proof or counterexample would be appreciated.

Best Answer

Yes it is true. Here is a sketch of a proof by contraposition.

If $W:=W_j\cap \sum\limits_{i\neq j}W_i\neq\{0\}$ for some $j$, then $W$ is a nonzero invariant subspace for $T$. The minimial polynomial $p$ of the restriction of $T$ to $W$ must divide both $\mu_{T_j}$ and the minimal polynomial $q$ of $T$ restricted to $\sum\limits_{i\neq j}W_i$. But $q$ divides $\prod\limits_{i\neq j}\mu_{T_I}$, and this implies that each irreducible factor of $p$ must divide both $\mu_{T_j}$ and $\mu_{T_i}$ for some $i\neq j$. Therefore $\gcd(\mu_{T_i}, \mu_{T_j}) \neq 1$.

Related Question