5
$\begingroup$

Let $V$ be a finite dimensional vector space over $F$ and $T:V \rightarrow V$ linear. Suppose the only $T$-invariant subspace of $V$ are $V$ and $0$, show that the minimal polynomial $q_T$ is irreducible over $F[t]$.

Attempt: Suppose not and write $q_T=p_1^{e_1}\ldots p_r^{e_r}$ with $p_i$ monic irreducible polynomials. By primary decomposition theorem, we know that $V=\ker(p_1^{e_1}(T)) \oplus \ldots \oplus \ker(p_r^{e_r}(T))$. Since $\ker(p_i^{e_i}(T))$ is $T$-invariant, by assumption, $\ker(p_j^{e_j}(T))=V$ for some $1 \leq j \leq r$. So $p_j^{e_j}=0 \Rightarrow p_j=0$, a contradiction. Is my proof correct?

$\endgroup$
  • $\begingroup$ No $\ker(p_i^{e_i}(T))$ is not $T$-invariant by assumption: there is no assumption that has anything to do with it. But it is true nonetheless: all kernels of operators that commute with $T$ are $T$-invariant, and polynomials in $T$ commute with $T$. Your argument has a more serious flaw too: $\ker(p_j^{e_j}[T])=V$ does not imply that $p_j^{e_j}$ is zero, just that it annihilates $T$. And a power of an operator (like $p_j[T])$ can be zero without the operator itself being zero. $\endgroup$ – Marc van Leeuwen Nov 1 '17 at 13:28
3
$\begingroup$

One can state more generally that distinct monic divisors $D\in F[X]$ of the minimal polynomial$~\mu_T$ correspond to distinct $T$-invariant subspaces of$~V$, via the correspondence $D\mapsto \ker(D[T])$; the reason this correspondence is injective being that from $W=\ker(D[T])$ one can recover $D$ as the minimal polynomial of the restriction$~T|_W$. It then easily follows that inclusion among these subspaces corresponds to divisibility among those divisors. This statement gives in particular that any such divisor other than $1$ and $~\mu_T$ implies the existence of at least one non-trivial $T$-invariant subspace.

The crucial claim above is that if $D\mid \mu_T$ then $D$ is the minimal polynomial of$~T|_W$ for $W=\ker(D[T])$; since $D$ certainly annihilates$~T|_W$ by definition of$~W$, the point here is to show that no strict divisor of$~D$ annihilates$~T|_W$. Putting $Q=\mu_T/D$, one has $0=\mu_T[T]=D[T]\circ Q[T]$, so the image $W'$ of $Q[T]$ is contained in$~W$. This implies the stronger claim that already no strict divisor $d\mid D$ can annihilate $T|_{W'}$ (which would be implied by annihilating$~T|_W$): it would mean that $d[T]\circ Q[T]=0$ so $(dQ)[T]=0$, but since $\deg(dQ)<\deg(DQ)=\deg(\mu_T)$, this would contradict the minimality of$~\mu_T$.


The proof you sketched in the question does break the question down to the case where $\mu_T$ has only one distinct irreducible factor, but does not really advance with dealing with that case ($\mu_T=p^e$ with $p$ an irreducible polynomial). You need to use something like that the image of$~p[T]$ is contained in $\ker(p^{e-1}[T])$ and thus gives a non-trivial $T$-invariant subspace.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Dear Marc, why is the correspondence surjective? That is, why do we have $U=\ker \mu_{T_U}(T)$? $\endgroup$ – Arrow Apr 2 '19 at 14:30
  • $\begingroup$ @Arrow It is not, did I say so? There can be infinitely many $T$-invariant subspaces (for instance when $T$ acts as a scalar) but there are only finitely many monic divisors of the minimal polynomial, so one cannot hope for surjectivity in general. In the case of the question there are only two $T$-invariant subspaces, so the correspondence will be surjective there. $\endgroup$ – Marc van Leeuwen Apr 2 '19 at 15:17
  • $\begingroup$ Ah, silly of me. I did not think you said so, but read the assertion in the solution of exercise 3 here. I see that they have assumed the operator is indecomposable though, which probably mends things. $\endgroup$ – Arrow Apr 2 '19 at 15:29

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.