2
$\begingroup$

If $T$ is an endomorphism of a finite-dimensional vector space $V$ over a finite field, then how can I show that there exists a positive integer $r$ such that $T^r$ is a projection operator?

  • 2
    @Calle Are you certain? The proofs I've seen of the JNF only rely on the structure theorem for modules over a PID, and $k[x]$ is a PID for any field $k$. You need the characteristic polynomial to split, but this only requires moving up to a larger finite field.2011-08-13

3 Answers 3

3

Here is an outline and some hints:

  1. Show that over the finite field $\mathbb F_q$, there exists a number $r(q)$ such that every element of $\mathbb F_q$ is a solution to $x^{2r(q)}=x^{r(q)}$ (hint: what is the order of $\mathbb F^*_q$)?
  2. If $A$ is a matrix of a finite field, some power of a $A$ is diagonalizable (hint: it suffices to consider Jordan blocks and use the formula $(a+b)^p=a^p+b^p$ where $p$ is the characteristic).

Note that for step 2, we require the existence of Jordan normal form. Unfortunately, if the eigenvalues of $T$ don't lie in $\mathbb F_q$, we will have to pass to a larger field which does contain them. The simplest way is just to adjoin all the eigenvalues to $\mathbb F_q$, which yields a larger finite field. In particular, this implies that for part 1, we have to replace $q$ with $q^n$ (where $n$ depends on the eigenvalues of $T$).

  • 0
    @Aaron: Yup. +1 was already there. As you said in your comment to my answer: a method for getting (something like) an explicit value for $r$.2011-08-13
3

Lemma. Every polynomial $a(t) \in \mathbb{F}_q [t]$ divides $t^{rs} - t^r$, for some $r,s \geq 2$.

Proof. Pick $n$ such that $\mathbb{F}_{q^n}$ contains every root of $a(t)$ in a fixed algebraic closure $\overline{\mathbb{F}_q}$ of $\mathbb{F}_q$. So $t^{q^n} - t$ contains every prime factor of $a$. Therefore, if $q^m$ is greater than all multiplicities of the roots of $a$, $a \vert (t^{q^n} - t)^{q^m} = t^{q^{n+m}} - t^{q^m}$. Pick $r = q^m$ and $s = q^n$. $\square$

Now, let $f$ an endomorphism of a finite vector space $V$ over $\mathbb{F}_q$. Consider the minimal polynomial $m_f(t)$ of $f$. For the observation, there exist $r, s \geq 2$ such that $m_f(t) \vert t^{rs}- t^r$, therefore $f^{rs} = f^r$. Finally $P = f^{r(s-1)}$ is a projection because $P^2 = f^{rs} f^{r(s-2)} = f^r f^{r(s-2)} = f^{r(s-1)} = P$.

  • 0
    Nice. +1 for that Lemma alone. It shows up every now and then at surprising places.2011-08-13
3

You can do this very much in the spirit of Aaron's first hint (but I work with the finite ring of endomorphisms as opposed to the field itself):

1) The ring of endomorphisms of $V$ is finite.

2) Therefore there are repetitions among the powers $T^r$, $r$ a positive integer.

3) Therefore the sequence $(T^i)_{i\in\mathbf{N}}$ is eventually periodic with a period $\ell$.

4) If $\ell$ is a period, then so are $2\ell,3\ell,\ldots$.

5) $r=k\ell$ works for a large enough value of $k$ such that $T^r$ is in the periodic part of the above sequence of operators.

  • 0
    That's very nice! You lose the explicit construction of $r$, but you require less, and the ideas here are reusable.2011-08-13