# My proof of “the set of diagonalizable matrices is Zariski-dense in $M_n(\mathbb F)$”.

The following is my proof of the assertion that the set of diagonalizable matrices is Zariski-dense in $M_n(\mathbb F)$. Is this right ?

Let $\mathbb F$ be an infinite field (not necessarily algebraically closed)and $M_n(\mathbb F)$ the set of all $n \times n$ matrices with entries in $\mathbb F$.

We denote by $D_n(\mathbb F)$ the set of $n \times n$ diagonalizable matrices with entries in $\mathbb F$.

For each $A \in M_n(\mathbb F)$, we denote by $d(A)$ the discriminant of the characteristic polynomial of $A$.

Since $d(A)$ is a polynomial in the entries of $A$ with coefficients in $\mathbb F$, the set $U := \{ X \in M_n(\mathbb F) : d(X) \not = 0 \}$ is Zariski-open. (Here, we are identifying $M_n(\mathbb F)$ with ${\mathbb A}^{n^2}$.)

It follows from the fact that ${\mathbb A}^{n^2}$ is irreducible that $U$ is Zariski-dense in ${\mathbb A}^{n^2}$. As $U$ is contained in $D_n(\mathbb F)$, $D_n(\mathbb F)$ is also Zariski-dense in ${\mathbb A}^{n^2}$.

-
Yes, your proof is right. – Stephen Oct 5 '12 at 12:45
For completeness, you should also point out why $U$ is nonempty. (In an irreducible variety, every NONEMPTY Zariski open is Zariski dense.) Other than that, looks fine to me. – David Speyer Oct 5 '12 at 13:07
@DavidSpeyer, thank you for your comment. I think it is enough to point out that any diagonal matrix with distinct entries is an element of $U$. Is this correct ? – Aki Oct 5 '12 at 13:45
@Steve, thank you for your super quick answer. Recently I came across the proof just for the case that $F$ is algebraically closed. So, I lost confidense in my proof. Is there something special in that case ? – Aki Oct 5 '12 at 13:46
@Aki Yup, that's right. – David Speyer Oct 5 '12 at 13:56

Your proof is only correct if by "diagonalizable" you mean "diagonalizable" over an extension field of $\mathbb F$.
The rotation $\begin {pmatrix} 0&-1\\1&0\end {pmatrix}$ by $\pi/2$ in the plane over $\mathbb R$ for example is not diagonalizable over $\mathbb R$, even though its characteristic polynomial is $X^2+1$ has nonzero discriminant.
Thank you for your answer. I've just looked at the page of Hoffman-Kunze. I think this is a crucial point for me, because I've been trying to understand a proof of "the ring of invariants for the conjugation action of $GL(V)$ on $End(V)$ is generated by the elementary symmetric polynomials of eigenvalues", where $V$ is a finite dimensional $\mathbb F$-vector space. In the proof,the lemma saying that every invariant function on $M_n(\mathbb F)$ is completely determined by its restriction to the set of diagonal matrices is used. To understand this, I attempted to apply the fact above. – Aki Oct 5 '12 at 15:57