Jordan canonical form of matrix that $A^2=A^t$

jordan-normal-formlinear algebra

Good morning can someone help me in this exercise.

Let $A\in M(n,\mathbb{R})$ for wich exists an integer $k\ge 1$ such that $A^t=A^k$ where $A^t$ is the trasposed matrix, let also $J(A)$ the jordan canonical form of $A$.
Prove that $J(A)^k=J(A)^t$ and determinate all possible jordan canonical form beetwen the matrix such that $A^2=A^t$.

For the first question i managed to prove that $J(A)^k$ and $J(A)^t$ are similar infact $A$ is similar to $J(A)$ so exists an invertible matrix $M$ such that $A=M^{-1}J(A)M$ so $A^k=M^{-1}J(A)^kM$ and $A^t=M^tJ(A)^t(M^{-1})^t$ but $A^t=J(A)$ so $M^{-1}J(A)^kM=M^tJ(A)^t(M^{-1})^t$ that prove that $J(A)^k$ is similat to $J(A)^t$ but i don't know how to conclude that they are equal.

Best Answer

From $A^k=A^t$ we see that $A^tA=A^{k+1}=AA^t$. Hence $A$ is normal, and diagonalizable over $\mathbb{C}$. Hence $J(A)^t=J(A)=J(A^t)=J(A^k)=J(A^k)^t$. $J(A^k)$ and $(J(A))^k$ are only equal if you decide to order the eigenvalues in the corresponding way, and I am not sure there is a canonical way to do that.

In any case, your $A^2=A^t$ question is reduced to the same question for diagonal matrices.

Related Question