proof of cyclic vector theorem
First, let’s assume has a cyclic vector . Then is a basis for . Suppose is a linear transformation which commutes with . Consider the coordinates of in B, that is
Let
We show that .For , write
then
Now, to finish the proof, suppose doesn’t have a cyclic vector (we want to see that there is a linear transformation which commutes with but is not a polynomial evaluated in ). As doesn’t have a cyclic vector, then due to the cyclic decomposition theorem has a basis of the form
Let be the linear transformation defined in as follows:
The fact that and commute is a consequence of being defined as zero on one -invariant subspace and as the identity on its complementary
-invariant subspace. Observe that it’s enough to see that and commute in the basis (this fact is trivial). We see that, if , then
If , we know there are such that
so
Now, let and , then
In the case , we know there are such that
then
and
This proves that and commute in . Suppose now that is a polynomial evaluated in . So there is a
such that. Then, , and so the annihilator polynomial of divides . But then, as the annihilator of divides (see the cyclic decomposition theorem), we have that divides , and then which is absurd because is a vector of the basis . This finishes the proof.