Let $A \in M_n(\mathbb{C})$ such as $A^m=I_n$ or $A^m=-I_n , m\ge1$. Show that A is diagonalizable.
2026-02-22 19:48:59.1771789739
On
Show that $A^m=I_n$ is diagonalizable
240 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
3
There are 3 best solutions below
0
On
Consider the Jordan normal form $J$ of $A$. Then $J^m=\pm\operatorname{Id}_n$ and therefore each block of $J$ will be a $k\times k$ matrix of the type$$\begin{bmatrix}\omega&1&0&0&\ldots&0\\0&\omega&1&0&\ldots&0\\0&0&\omega&1&\ldots&0\\0&0&0&\omega&\cdots&0\\\vdots&\vdots&\vdots&\vdots&\ddots&\vdots\\0&0&0&0&\ldots&\omega\end{bmatrix},$$where $\omega$ is a root of unity. But then, unless $k=1$, no power of this matrix can be $\pm\operatorname{Id}_k$, because the entries of the line above the diagonal will all be equal to $k\omega^{k-1}$. Therefore, $J$ is a diagonal matrix.
This follows because the polynomials $t^n-1$ and $t^n+1$ both have $n$ distinct roots. See here for example.