If N is elementary nilpotent matrix, show that N Transpose is similar to N If $N$ is a $k \times k$ elementary nilpotent matrix, i.e. $N^k = 0$ but $N^{k-1} \ne 0$, then show that $N^\top$ is similar to $N$.  Now use the Jordan form to prove that every complex $n \times n$ matrix is similar to its transpose.
I have figured out the second part, and am struggling with connecting nilpotency to being similar to the transpose. 
 A: To show that a complex $k \times k$ elementary nilpotent matrix is similar to its transpose, it suffices to show their Jordan Canonical Forms are equal.
But a complex nilpotent matrix $N$ has only zero complex eigenvalues, hence its Jordan Canonical Form is zero along the diagonal. Were the maximum size of its Jordan Blocks to be $k'\times k'$ for some $k' < k$, then $N^{k'} = 0$, contradicting the elementary nilpotency of $N$. Hence $N$ has exactly one Jordon block (of size $k \times k$) in its Jordan Canonical Form, with zeros along the diagonal. 
By the same argument, $N^t$ being elementary nilpotent, its Jordan Canonical Form also has exactly one Jordon Block with zeros along the diagonal. Thus $N$ and $N^t$ are similar, for their Jordon Canonical Forms of $N$ and $N^t$ are the same. 
A: In fact every square matrix is similar to its transpose. This applies in particular to nilpotent matrices.
Added. I'll admit that I guessed that the general proof is not what they wanted you to give for this result, but that rather it was meant that you use the nilpotent case as a step in proving the general case (that any square matrix is similar to its transpose). Yet I think that the direct general proof (which uses the Smith normal form algorithm over $F[X]$) is really the right way to go, as not only it shows that a fine decomposition (according to eigenvalues) is not necessary for this result, it also gives similarity over any field containing the entries of both matrices, rather than over a field in which their characteristic polynomials split.
Anyway, I think the idea was to proceed in the following steps:


*

*If two matrices are similar, than so are their transposes (a simple step, but needed because conjugation and transposition do not commute);

*therefore if a matrix $A$ is similar to a matrix $B$ that is similar to $B^\top$, then $A$ is also similar to $A^\top$;

*if the characteristic polynomial of $A$ splits (which is always the case over the complex numbers), then the vector space acted on decomposes as the direct sum of its generalised eigenspaces, and $A$ is similar to a block diagonal matrix where every block has a single eigenvalue;

*in a block diagonal matrix $A'$, if every block is replaced by another matrix similar to it, then the resulting block diagonal matrix is similar to$~A'$;

*the previous steps allow reducing to the case where $A$ only has a single eigenvalue$~\lambda$, in which case $A=\lambda I+N$ with $N$ nilpotent;

*one can reduce to the case of nilpotent matrices, since a conjugation that sense $N$ to $N^\top$ will also send $A=\lambda I+N$ to $A^\top=\lambda I+N^\top$;

*since nilpotent matrices are similar to their Jordan normal form, which is a block diagonal form composed of nilpotent Jordan block, the argument of point 4. allows further reduction to the case of a single nilpotent Jordan block;

*finally a nilpotent Jordan block is conjugate to its transpose by the permutation matrix for the order-reversing permutation (i.e., the identity reflected horizontally or vertically).
That is quite a long reduction, although fairly straightforward to guess, as it follows the best known reduction for arbitrary (complex) matrices, namely to their Jordan normal form. In fact the reduction is longer than necessary, only because I needed to bring nilpotent matrices into the picture due to the way the question is formulated. It would be possible to replace step 3. directly by the Jordan normal form, so that step 5. could reduce to a single Jordan block instead of to $A=\lambda I+N$ with $N$ nilpotent; step$~$8. works perfectly well for any Jordan block (the nilpotent property is not used). Even so I did not manage to completely match the question, which asks you to used the Jordan normal form after doning the nilpotent case, while it seems to be needed in order to do the nilpotent case.
A: You can obtain $N^\top$ by reversing the order of all rows and all columns of $N$. So, ...
