7
$\begingroup$

Let $\mathbb{F}$ be a sub-field of $\mathbb{C}$, $V$ be a finite dimensional $\mathbb{F}$-vector space, and $T\in \operatorname{End}(V)$ be semi-simple.

Show that for all $f\in \mathbb{F}[x]$, $f(T)$ is also semi-simple.

This is an exercise in Hoffman and Kunze, which I found particularly difficult. The statement is clear if we require the ground field to be algebraically closed, but the question didn’t require such. I have thought of making the argument that the minimal polynomial of $f(T)$ divides that of $T$, sadly to no avail.

Thanks for any help.

Definition: Note that by $G\in \operatorname{End}(V)$ being semi-simple, I mean that the minimal polynomial $\in \mathbb{F}[x]$ of $G$ is square-free or that, equivalently, for any $G$-invariant subspace $W\leq V$, there exists another $G$-invariant subspace $U\leq V$ such that $W \oplus U=V$.

$\endgroup$
6
  • 1
    $\begingroup$ I guess the matrix is diagonalizable over the algebraic closure of $\mathbb{F}.$ $\endgroup$ Commented Oct 18 at 3:38
  • $\begingroup$ @RyszardSzwarc That would require $T$ to remain semi-simple after field extension. $\endgroup$ Commented Oct 18 at 4:01
  • 1
    $\begingroup$ What is your definition of semisimple over a general field? The one I know is stable under field extension. $\endgroup$ Commented Oct 18 at 4:34
  • $\begingroup$ @TorstenSchoeneberg I have updated the question. $\endgroup$ Commented Oct 18 at 4:39
  • $\begingroup$ Hoffman and Kunze are asking this only for subfields of $\mathbb C$, so the simplest way to go is probably to use their Theorem 12 (in §7.5). But this is not a very nice argument to generalize. $\endgroup$ Commented Oct 18 at 4:50

1 Answer 1

5
$\begingroup$

Since $T$ is semi-simple, its minimal polynomial is a product of distinct irreducible factors $q_1,\ldots,q_k$. Let $N_i=\ker\big(q_i(T)\big)$. Then $N_i$ is an invariant subspace of $p(T)$ and $V=N_1\oplus\cdots\oplus N_k$. Therefore, to prove that $p(T)$ is semi-simple, it suffices to prove that each $p(T|_{N_i})$ is semi-simple.

Suppose the contrary that $S=p(T|_{N_i})$ is not semi-simple. Then its minimal polynomial can be written as $f^2g$ for some non-constant polynomial $f$. Hence there exists some nonzero vector $x\in N_i$ such that $f(S)g(S)x\ne0=f(S)^2g(S)x$. If we put $y=f(S)g(S)x$, this means $y\ne0$ and $(f\circ p)(T|_{N_i})y=f(S)y=0$. However, as the minimal polynomial $q_i$ of $T|_{N_i}$ is irreducible, it is the minimal polynomial of every nonzero vector in $N_i$ w.r.t. $T|_{N_i}$. Therefore $q_i$ divides $f\circ p$. But then $(f\circ p)(T|_{N_i})=0$ and we arrive at the contradiction that $$ 0\ne y=f(S)g(S)x=(f\circ p)(T|_{N_i})g(S)x=0. $$ Hence $p(T|_{N_i})$ must be semi-simple.

$\endgroup$

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.