Suppose I have $f\in L(V,V)$ such that $f^n=0$ but $f^k\neq 0\,\,\forall k
Thanks
Suppose I have $f\in L(V,V)$ such that $f^n=0$ but $f^k\neq 0\,\,\forall k
Thanks
If $f^n=0$ but $f^k\neq 0$ for any $k\lt n$, then the minimal polynomial of $f$ is $t^n$; the characteristic polynomial is $t^{\dim (V)}$.
As Davide Giraudo notes, the fact that $f^{n-1}\neq 0$ guarantees the existence of a vector $v\in V$ such that $f^{n-1}(v)\neq\mathbf{0}$. The claim now is that $v$, $f(v),\ldots, f^{n-1}(v)$ are linearly independent.
One way to see this is to note that the $f$-annihilator of $v$ (the polynomial $p(t)$ of least degree such that $p(f)(v) = 0$) must divide the minimal polynomial, and hence must be of the form $t^k$ for some $k\leq n$; but if $f^k(v)=\mathbf{0}$, then $f^{k+i}(v)=\mathbf{0}$ for all $i\geq 0$. Since $f^{n-1}(v)\neq\mathbf{0}$ by choice of $v$, the $f$-annihilator must be $x^n$.
Now, if $\alpha_0,\ldots,\alpha_{n-1}$ are scalars such that $\alpha_0 v + \alpha_1f(v)+\cdots \alpha_{n-1}f^{n-1}(v)=\mathbf{0},$ then $p(f)(v)=\mathbf{0}$, where $p(t) = \alpha_0+\alpha_1t+\cdots + \alpha_{n-1}t^{n-1}$. Since this must be a multiple of $t^n$, the only possibility is that $p(t)=0$, so $\alpha_0=\cdots=\alpha_{n-1}=0$, proving that $v$, $f(v),\ldots,f^{n-1}(v)$ are indeed linearly independent.
If you don't have the theory of $f$-annihilators, assume that $a_0v + \cdots + a_{n-1}f^{n-1}(v)=\mathbf{0}$ Applying $f$ to both sides $n-1$ times; using the fact that $f^{n+i}(v) = \mathbf{0}$ for all $i\geq 0$ and $f^{n-1}(v)\neq \mathbf{0}$, we get $a_0f^{n-1}(v) = \mathbf{0}$, and so we can deduce that $a_0=0$. This leaves $a_1f(v) + \cdots + a_{n-1}f^{n-1}(v)=\mathbf{0}.$ Now apply $f$ again $n-2$ times to conclude $a_1=0$; proceed in this manner to show $a_0=\cdots=a_{n-2}=0$; this leaves $a_{n-1}f^{n-1}(v)=\mathbf{0}$, and since $f^{n-1}(v)\neq \mathbf{0}$, then $a_{n-1}=0$. This proves linear independence.