6
$\begingroup$

Let $K$ be a field, and $F_K$ be the fraction field of the polynomial ring $R_K$ in $n^2$ indeterminates $X_{11},X_{12},...,X_{nn}$ over $K$. Now set $A = (X_{ij})_{i,j} \in M_n (F_K)$, and let $\chi_A$ be the characteristic polynomial of $A$.

Question : Is it always true that $\chi_A$ is irreducible over $F_K$ ?

Some thoughts :

  • Since $R_K$ is a UFD, it is sufficient to check irreducibility in $R_K[X]$.
  • If $ |K| \geq n$, then $\chi_A$ is separable (by evaluation of $A$ to a diagonal matrix with distinct diagonal entries).
  • If $K[X]$ contains some irreducible $f$ of degree $n$, then this is true (just evaluate $A$ to the companion matrix of $f$ and observe that the evaluation morphism cannot increase degrees). For example, this yields the result when $K = \mathbb{Q}$ or when $K$ is a finite field.
  • More generally, a non trivial factor of $\chi_A$ is unlikely to exist, since it would give a generic factorization of the characteristic polynomial of a $n \times n$ matrix with coefficients in $K$.

Even in the case $K=\mathbb{C}$, I cannot prove (or disprove) the irreducibility of $\chi_A$.

$\endgroup$
2
  • 8
    $\begingroup$ Assume it is reducible. Then it stays so after adjoining a new variable $X$. I think over the field $K(X)$ you will find an irreducible polynomial $f$ of degree $n$, a candidate would be $f(T)=T^n-X$. $\endgroup$
    – user1688
    May 18, 2012 at 18:43
  • 3
    $\begingroup$ In case it's not obvious, this polynomial is always irreducible, by Eisenstein's criterion modulo $X$. $\endgroup$
    – Will Sawin
    May 18, 2012 at 23:31

1 Answer 1

9
$\begingroup$

If it were reducible, all $n\times n$ matrices over any field extension of $K$ would have reducible characteristic polynomials. But consider the companion matrix of an irreducible polynomial over some not algebraically closed field extension of $K$.

$\endgroup$
2
  • $\begingroup$ My answer is essentially the same as Xogn Ambandl's comment. Moreover, I didn't mention a specific field extension with a degree n irreducible polynomial. $\endgroup$ May 18, 2012 at 18:51
  • 4
    $\begingroup$ Hum, I didn't saw the possibility of evaluating in extension fields. Thanks for the neat argument. $\endgroup$
    – js21
    May 18, 2012 at 19:34

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.