# The product of non-commuting semisimple matrices need not be semisimple

In general when one proves that the product of semisimple (i.e. diagonalizable) matrices is semisimple one assumes they commute and are thus simultaneously diagonalizable, and then the result follows. I was wondering if anyone knew of an example of non-commuting semisimple matrices whose product is not semisimple.

-
The question only involves some basic linear algebra, so the tag algebraic-groups is not needed here. Also, "semisimple" refers to a matrix over an arbitrary field (perhaps not containing its eigenvalues) which is diagonalizable over some field extension. The term "diagonalizable" requires the qualification "over some extension field" to avoid confusion unless you refer to a matrix which has eigenvalues in the given field. – Jim Humphreys Mar 8 '11 at 15:26

How about $\begin{pmatrix} 5 & 3 \\\ 8 & 5 \end{pmatrix}$ and $\begin{pmatrix} 2 & -3 \\\ -3 & 5 \end{pmatrix}$?
$\begin{pmatrix}1&0\\0&0\end{pmatrix}\begin{pmatrix}0&1\\1&0\end{pmatrix}=\begin{pmatrix}0 & 1\\0&0\end{pmatrix}$