3
$\begingroup$

I am having a tough time understanding how to find the Jordan canonical form of a $5\times5$ matrix. This is a problem from my linear algebra book. Any help would be great or suggestions on how to get started.

Let $A$ be a $5\times5$ matrix with complex entries such that $A^{3} =0$. Find all the possible Jordan Canonical forms of $A$.

  • 0
    You can see how power of Jordan form looks like at [Wikipedia](http://en.wikipedia.org/wiki/Jordan_normal_form#Powers).2012-07-23

2 Answers 2

2

Here is a short list of the facts you need to solve this question:

  1. $A^3=0$ if and only if the cube of its Jordan form is zero.
  2. The $n^{\rm th}$ power of a Jordan form is upper triangular and the eigenvalues in the diagonal are the $n^{\rm th}$ powers of the original eigenvalues.
  3. A power of a Jordan form is calculated by taking that power for each of its Jordan blocks.
  4. If $J$ is a Jordan block of size $m$ and eigenvalue zero, then $J^n=0$ if and only if $n\geq m$.
2

If $A^3=0$, then the minimal polynomial divides $t^3$, and that means that the characteristic polynomial must be $t^5$ (alternatively, if $\lambda$ is an eigenvalue of $A$, then $\lambda^3$ is an eigenvalue of $A^3$, so $\lambda^3=0$, hence $\lambda=0$).

Now remember that the highest power of $t-\lambda$ that divides the minimal polynomial gives you the size of the largest Jordan block associated to $\lambda$ in the Jordan canonical form. So, for example, if the minimal polynomial were $t^4$, that means that there must be at least one block of size $4$, and no blocks of larger size. For a $5\times 5$ matrix, this would mean that the Jordan form must consist of a single $4\times 4$ Jordan block associated to $0$, and a $1\times 1$ block associated to $0$ (since that is all that is left).

Now consider the three possibilities for the minimal polynomial and what that tells you. Enumerating the possible Jordan forms from that information is fairly straightforward.

As a way to check your work, there should be five different possible Jordan canonical forms.