In a Field of Positive Characteristic, $A^p=I$ Does Not Imply that $A$ is Diagonalizable.

Problems and solutions in Linear Algebra

Problem 91

Show that the matrix $A=\begin{bmatrix}
1 & \alpha\\
0& 1
\end{bmatrix}$, where $\alpha$ is an element of a field $F$ of characteristic $p>0$ satisfies $A^p=I$ and the matrix is not diagonalizable over $F$ if $\alpha \neq 0$.
LoadingAdd to solve later

Sponsored Links

Comment.

Remark that if $A$ is a square matrix over $\C$ with $A^k=I$, then $A$ is diagonalizable.
For a proof of this fact, see If a power of a matrix is the identity, then the matrix is diagonalizable

Thus, over a field of characteristic $p>0$ the condition $A^p=1$ dose not always imply that $A$ is diagonalizable.

Proof.

By induction, it is straightforward to see that
\[A^m=\begin{bmatrix}
1 & m\alpha\\
0& 1
\end{bmatrix}\] for any positive integer $m$.
Thus
\[A^p=\begin{bmatrix}
1 & p\alpha\\
0& 1
\end{bmatrix}=I\] since $p\alpha=0$ in the field $F$.

Since the eigenvalues of $A$ is $1$, if $A$ is diagonalizable, then there exists an invertible matrix $P$ such that $P^{-1}AP=I$, or $AP=P$.
Let $P=\begin{bmatrix}
a & b\\
c& d
\end{bmatrix}$. Then we have
\[AP=\begin{bmatrix}
a+\alpha c & b+\alpha d\\
c& d
\end{bmatrix}\] and this is equal to $P$, hence
\begin{align*}
a+\alpha c=a \text{ and } b+\alpha d=b \\
\end{align*}
Thus
\begin{align*}
\alpha c=0 \text{ and } \alpha d=0 \\
\end{align*}
If $\alpha \neq 0$, then $c=d=0$ but this implies that the matrix $P$ is non-invertible, a contradiction.
Therefore we must have $\alpha=0$.


LoadingAdd to solve later

Sponsored Links

More from my site

You may also like...

Please Login to Comment.

This site uses Akismet to reduce spam. Learn how your comment data is processed.

More in Field Theory, Linear Algebra
Field theory problems and solution in abstract algebra
The Polynomial $x^p-2$ is Irreducible Over the Cyclotomic Field of $p$-th Root of Unity

Prove that the polynomial $x^p-2$ for a prime number $p$ is irreducible over the field $\Q(\zeta_p)$, where $\zeta_p$ is a...

Close